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
State Based Static and Dynamic Formal Analysis of UML State Diagrams
(Articles)
Fahad Alhumaidan
Journal of Software Engineering and Applications
Vol.5 No.7
,June 15, 2012
DOI:
10.4236/jsea.2012.57056
5,154
Downloads
8,202
Views
Citations
Model Analysis of Equivalence Classes in UML Events Relations
(Articles)
Nazir Ahmad Zafar
Journal of Software Engineering and Applications
Vol.6 No.12
,December 25, 2013
DOI:
10.4236/jsea.2013.612078
3,399
Downloads
4,849
Views
Citations
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,849
Downloads
8,180
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,874
Downloads
8,329
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,182
Downloads
2,568
Views
Citations
Why Formal Methods Are Considered for Safety Critical Systems?
(Articles)
Monika Singh
,
Ashok Kumar Sharma
,
Ruhi Saxena
Journal of Software Engineering and Applications
Vol.8 No.10
,October 16, 2015
DOI:
10.4236/jsea.2015.810050
5,636
Downloads
7,170
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,581
Downloads
7,531
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,348
Downloads
7,802
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,687
Downloads
6,598
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,598
Downloads
16,242
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,097
Downloads
13,262
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,107
Downloads
14,537
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,635
Downloads
10,529
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,046
Downloads
4,456
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,610
Downloads
8,797
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,376
Downloads
4,348
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,160
Downloads
12,051
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,723
Downloads
10,688
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
118
Downloads
718
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,265
Downloads
10,535
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