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
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,162
Downloads
10,630
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,378
Downloads
7,475
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,899
Downloads
8,271
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,879
Downloads
8,055
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,199
Downloads
2,493
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,604
Downloads
7,396
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,069
Downloads
4,485
Views
Citations
A Logical Treatment of Non-Termination and Program Behaviour
(Articles)
Martin Ward
,
Hussein Zedan
Journal of Software Engineering and Applications
Vol.7 No.7
,June 5, 2014
DOI:
10.4236/jsea.2014.77051
4,302
Downloads
5,075
Views
Citations
This article belongs to the Special Issue on
Programming Languages
Mapping AADL to Petri Net Tool-Sets Using PNML Framework
(Articles)
Hassan Reza
,
Amrita Chatterjee
Journal of Software Engineering and Applications
Vol.7 No.11
,October 24, 2014
DOI:
10.4236/jsea.2014.711082
5,629
Downloads
6,835
Views
Citations
Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems
(Articles)
Meenakshi Sridhar
,
Naseeb Singh Gill
Journal of Software Engineering and Applications
Vol.8 No.9
,September 25, 2015
DOI:
10.4236/jsea.2015.89047
5,023
Downloads
6,075
Views
Citations
Research on the English Translation of Chinese Public Signs Based on Face Theory
(Articles)
Xueqing Zhao
Open Access Library Journal
Vol.8 No.5
,May 11, 2021
DOI:
10.4236/oalib.1107391
224
Downloads
1,310
Views
Citations
Violence against Women: Methodological and Ethical Issues
(Articles)
Kaltrina Kelmendi
Psychology
Vol.4 No.7
,July 8, 2013
DOI:
10.4236/psych.2013.47080
7,151
Downloads
13,351
Views
Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z
(Articles)
Nasir Mehmood Minhas
,
Asad Masood Qazi
,
Sidra Shahzadi
,
Shumaila Ghafoor
Journal of Software Engineering and Applications
Vol.8 No.8
,August 19, 2015
DOI:
10.4236/jsea.2015.88037
6,053
Downloads
8,077
Views
Citations
Current Issues in Software Re-Usability: A Critical Review of the Methodological & Legal Issues
(Articles)
Tariq Saeed
Journal of Software Engineering and Applications
Vol.13 No.9
,September 30, 2020
DOI:
10.4236/jsea.2020.139014
629
Downloads
3,477
Views
Citations
Challenges and opportunities of completing successful projects using Earned Value Management
(Articles)
Cedric Stone
Open Journal of Business and Management
Vol.11 No.2
,March 10, 2023
DOI:
10.4236/ojbm.2023.112025
326
Downloads
2,163
Views
Citations
Research on the Problems and Solutions of “Street-Stall Economy”
(Articles)
Xuewei Yu
,
Hongyu Pan
Open Access Library Journal
Vol.7 No.8
,August 26, 2020
DOI:
10.4236/oalib.1106663
817
Downloads
3,727
Views
Citations
Implication of Land Regularization in Accessing Credits from Financial Institutions in Tanzania
(Articles)
Jane J. Mbilinyi
,
Abiud L. Kaswamila
,
Emiliana A. Assenga
Current Urban Studies
Vol.10 No.4
,November 9, 2022
DOI:
10.4236/cus.2022.104032
154
Downloads
914
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,673
Downloads
15,832
Views
Citations
Re-envisioning nursing education and practice in Nigeria for the 21st century
(Articles)
Clara Agbedia
Open Journal of Nursing
Vol.2 No.3
,September 28, 2012
DOI:
10.4236/ojn.2012.23035
10,055
Downloads
15,866
Views
Citations
The development of an interdisciplinary nurse educator doctoral program: Issues for consideration and goals for success
(Articles)
Marietta P. Stanton
,
Donna R. Packa
Open Journal of Nursing
Vol.2 No.3
,September 28, 2012
DOI:
10.4236/ojn.2012.23037
4,181
Downloads
6,337
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