Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.3 No.8
,August 26, 2010
DOI:
10.4236/jsea.2010.38093
4,866
Downloads
8,212
Views
Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.2 No.2
,July 15, 2009
DOI:
10.4236/jsea.2009.22012
4,888
Downloads
8,358
Views
Citations
An Augmented Framework for Formal Analysis of Safety Critical Systems
(Articles)
Monika Singh
,
V. K. Jain
Journal of Software Engineering and Applications
Vol.10 No.8
,July 11, 2017
DOI:
10.4236/jsea.2017.108039
1,194
Downloads
2,599
Views
Citations
Modeling Components and Services of LTE Mobile Communications System
(Articles)
Ishtiaq Ahmed Choudhry
,
Nazir Ahmad Zafar
Int'l J. of Communications, Network and System Sciences
Vol.5 No.12
,December 20, 2012
DOI:
10.4236/ijcns.2012.512086
4,594
Downloads
7,561
Views
Citations
Integrating Formal Methods in XP—A Conceptual Solution
(Articles)
Shagufta Shafiq
,
Nasir Mehmood Minhas
Journal of Software Engineering and Applications
Vol.7 No.4
,April 17, 2014
DOI:
10.4236/jsea.2014.74029
5,359
Downloads
7,832
Views
Citations
Which One Is Better, Simple or Complex Metrics?
(Articles)
Fangjun Wu
Journal of Computer and Communications
Vol.3 No.11
,November 19, 2015
DOI:
10.4236/jcc.2015.311009
5,696
Downloads
6,619
Views
Citations
A Comparative Analysis of Tools for Verification of Security Protocols
(Articles)
Nitish Dalal
,
Jenny Shah
,
Khushboo Hisaria
,
Devesh Jinwala
Int'l J. of Communications, Network and System Sciences
Vol.3 No.10
,October 27, 2010
DOI:
10.4236/ijcns.2010.310104
7,647
Downloads
16,344
Views
Citations
Formal Methods for Commercial Applications Issues vs. Solutions
(Articles)
Saiqa Bibi
,
Saira Mazhar
,
Nasir Mehmood Minhas
,
Irfan Ahmed
Journal of Software Engineering and Applications
Vol.7 No.8
,July 22, 2014
DOI:
10.4236/jsea.2014.78062
8,137
Downloads
13,355
Views
Citations
Impact of Coupling and Cohesion in Object-Oriented Technology
(Articles)
Vipin Saxena
,
Santosh Kumar
Journal of Software Engineering and Applications
Vol.5 No.9
,September 14, 2012
DOI:
10.4236/jsea.2012.59079
8,129
Downloads
14,593
Views
Citations
Object Oriented Query Response Time for UML Models
(Articles)
Vipin Saxena
,
Santosh Kumar
Journal of Software Engineering and Applications
Vol.5 No.7
,June 15, 2012
DOI:
10.4236/jsea.2012.57059
6,650
Downloads
10,564
Views
Citations
Test Selection on Extended Finite State Machines with Provable Guarantees
(Articles)
Bo Guo
,
Mahadevan Subramaniam
Journal of Software Engineering and Applications
Vol.6 No.9
,September 20, 2013
DOI:
10.4236/jsea.2013.69060
3,061
Downloads
4,496
Views
Citations
A Review on Industrial Applications of Z-Source Inverter
(Articles)
Nimrah Saeed
,
Anas Ibrar
,
Aimen Saeed
Journal of Power and Energy Engineering
Vol.5 No.9
,September 6, 2017
DOI:
10.4236/jpee.2017.59002
2,617
Downloads
8,847
Views
Citations
Formal Verification of Robertson-Type Uncertainty Relation
(Articles)
Takaaki Masuhara
,
Toru Kuriyama
,
Masakazu Yoshida
,
Jun Cheng
Journal of Quantum Information Science
Vol.5 No.2
,June 11, 2015
DOI:
10.4236/jqis.2015.52008
3,388
Downloads
4,371
Views
Citations
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
(Articles)
Prabhu Kaliappan
,
Hartmut Koenig
Journal of Software Engineering and Applications
Vol.1 No.1
,December 9, 2008
DOI:
10.4236/jsea.2008.11003
6,173
Downloads
12,075
Views
Citations
Risk Analysis Model Using UML and MADS Model
(Articles)
Hafida Bouloiz
,
Emmanuel Garbolino
,
Mohamed Tkiouat
Open Journal of Safety Science and Technology
Vol.1 No.3
,December 30, 2011
DOI:
10.4236/ojsst.2011.13012
4,740
Downloads
10,735
Views
Citations
Composition of UML Class Diagrams Using Category Theory and External Constraints
(Articles)
Alexey Tazin
,
Mieczyslaw M. Kokar
Journal of Software Engineering and Applications
Vol.15 No.12
,December 30, 2022
DOI:
10.4236/jsea.2022.1512025
125
Downloads
798
Views
Citations
Object-Oriented Database Connectivity for Hand Held Devices
(Articles)
Vipin Saxena
,
Santosh Kumar
Journal of Software Engineering and Applications
Vol.5 No.5
,May 29, 2012
DOI:
10.4236/jsea.2012.55037
6,278
Downloads
10,568
Views
Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B
(Articles)
Amjad Gawanmeh
,
Sofiène Tahar
,
Leila Jemni Ben Ayed
Int'l J. of Communications, Network and System Sciences
Vol.5 No.3
,March 21, 2012
DOI:
10.4236/ijcns.2012.53021
3,818
Downloads
6,209
Views
Citations
Syntax-Tree Regular Expression Based DFA FormalConstruction
(Articles)
Nazir Ahmad Zafar
,
Fawaz Alsaade
Intelligent Information Management
Vol.4 No.4
,July 27, 2012
DOI:
10.4236/iim.2012.44021
11,921
Downloads
21,148
Views
Citations
Pyroelectric Plate with Magnetoelectric Effect
(Articles)
Pavel Grinfeld
,
Michael Grinfeld
Journal of Applied Mathematics and Physics
Vol.12 No.5
,May 10, 2024
DOI:
10.4236/jamp.2024.125100
17
Downloads
65
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top