[title]
[author]
[shortEnglishNames]
[pubIssue]
DOI:
[Doi]
(PDF [paperSize]K)
[HTML] [XML]
Back
Home
Submission
Articles
Journals
Book
Services
Blog
Back
Search
Menu
Sign in
Journals by Subject
Journals by Title
Search
Formal Methods for Commercial Applications Issues vs. Solutions
Saiqa Bibi,
Saira Mazhar,
Nasir Mehmood Minhas,
Irfan Ahmed
J. Software Eng. Appl.
Vol.7 No.8, July 22, 2014
DOI:
10.4236/jsea.2014.78062
(PDF 1425K)
HTML
XML
Integrating Formal Methods in XP—A Conceptual Solution
Shagufta Shafiq,
Nasir Mehmood Minhas
J. Software Eng. Appl.
Vol.7 No.4, April 17, 2014
DOI:
10.4236/jsea.2014.74029
(PDF 1512K)
HTML
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
Nazir Ahmad Zafar,
Ajmal Hussain,
Amir Ali
J. Software Eng. Appl.
Vol.3 No.8, August 26, 2010
DOI:
10.4236/jsea.2010.38093
(PDF 2602K)
HTML
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata
Nazir Ahmad Zafar,
Ajmal Hussain,
Amir Ali
J. Software Eng. Appl.
Vol.2 No.2, July 15, 2009
DOI:
10.4236/jsea.2009.22012
(PDF 428K)
HTML
An Augmented Framework for Formal Analysis of Safety Critical Systems
Monika Singh,
V. K. Jain
J. Software Eng. Appl.
Vol.10 No.8, July 11, 2017
DOI:
10.4236/jsea.2017.108039
(PDF 2788K)
HTML
XML
About SCIRP
|
Sitemap
|
News
|
Jobs
Full Site
Copyright © 2020 Scientific Research Publishing Inc. All Rights Reserved.
Top
