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
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,349
Downloads
7,803
Views
Citations
A Conflicts Detection Approach for Merging Formal Specification Views
(Articles)
Fathi Taibi
,
Fouad Mohammed Abbou
,
Md. Jahangir Alam
Journal of Software Engineering and Applications
Vol.3 No.5
,May 24, 2010
DOI:
10.4236/jsea.2010.35052
4,976
Downloads
8,501
Views
Citations
A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming
(Articles)
Khalid Benlhachmi
,
Mohammed Benattou
Journal of Information Security
Vol.4 No.2
,April 23, 2013
DOI:
10.4236/jis.2013.42013
4,401
Downloads
7,061
Views
Citations
Formalization of Federated Schema Architectural Style Variability
(Articles)
Wilhelm Hasselbring
Journal of Software Engineering and Applications
Vol.8 No.2
,February 15, 2015
DOI:
10.4236/jsea.2015.82009
3,204
Downloads
4,372
Views
Citations
The User Interfaces Transition Diagram-Editor: A Tool to Simplify User-System Interaction Modeling
(Articles)
Maria C. Gómez-Fuentes
,
Jorge Cervantes-Ojeda
,
Alan Badillo-Salas
Journal of Software Engineering and Applications
Vol.16 No.9
,September 18, 2023
DOI:
10.4236/jsea.2023.169023
95
Downloads
477
Views
Citations
A New Methodology for Process Modeling of Workflows
(Articles)
Sabah Al-Fedaghi
,
Rashid Alloughani
,
Mohammed Al Sanousi
Journal of Software Engineering and Applications
Vol.5 No.8
,August 28, 2012
DOI:
10.4236/jsea.2012.58064
5,169
Downloads
9,973
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,101
Downloads
13,271
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
5,942
Downloads
9,374
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
138
Downloads
899
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,607
Downloads
16,260
Views
Citations
An Approach to Generation of Process-Oriented Requirements Specification
(Articles)
Jingbai Tian
,
Keqing He
,
Chong Wang
,
Huafeng Chen
Journal of Software Engineering and Applications
Vol.2 No.1
,April 16, 2009
DOI:
10.4236/jsea.2009.21002
4,708
Downloads
9,133
Views
Citations
Rapid Separation and Quantification of Iron in Uranium Nuclear Matrix by Capillary Zone Electrophoresis (CZE)
(Articles)
Vivekchandra Mishra
,
Mrinal Kanti Das
,
Subbiah Jeyakumar
,
Ramesh Mahadeo Sawant
,
Karanam Lakshminarayana Ramakumar
American Journal of Analytical Chemistry
Vol.2 No.1
,January 29, 2011
DOI:
10.4236/ajac.2011.21005
5,319
Downloads
10,387
Views
Citations
Synthetic Workload Generation for Cloud Computing Applications
(Articles)
Arshdeep Bahga
,
Vijay Krishna Madisetti
Journal of Software Engineering and Applications
Vol.4 No.7
,July 12, 2011
DOI:
10.4236/jsea.2011.47046
10,385
Downloads
20,897
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,865
Downloads
21,017
Views
Citations
Local Curvature and Centering Effects in Nonlinear Regression Models
(Articles)
Michael Brimacombe
Open Journal of Statistics
Vol.6 No.1
,February 23, 2016
DOI:
10.4236/ojs.2016.61010
5,244
Downloads
7,037
Views
Citations
Judgment Formation towards Health Risk Behaviors Concerning Obesity: An Integration Information Theory Approach
(Articles)
Aida A. Jimenez-Martinez
,
Perla Lizeth Hernandez-Cortes
,
Guadalupe E. Morales-Martinez
,
Ernesto O. Lopez-Ramirez
Health
Vol.9 No.7
,July 17, 2017
DOI:
10.4236/health.2017.97076
910
Downloads
1,654
Views
Citations
Design of Secure and Traceable Requirement Engineering Process for Security-Sensitive Projects
(Articles)
Abdul Ahad
,
Luqman Tariq
,
Saba Niaz
,
Muhammad Inam
Journal of Software Engineering and Applications
Vol.10 No.12
,November 13, 2017
DOI:
10.4236/jsea.2017.1012049
1,823
Downloads
3,238
Views
Citations
A Framework of Output Specifications and Evaluation Method for Hospital PPP Projects
(Articles)
Yun Pei
Open Journal of Business and Management
Vol.7 No.1
,January 9, 2019
DOI:
10.4236/ojbm.2019.71012
848
Downloads
1,433
Views
Citations
FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net
(Articles)
Walid Ben Mesmia
,
Kamel Barkaoui
,
Mohamed Escheikh
Journal of Software Engineering and Applications
Vol.16 No.9
,September 14, 2023
DOI:
10.4236/jsea.2023.169022
61
Downloads
339
Views
Citations
Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma
(Articles)
Vladimir O. Lobovikov
Journal of Applied Mathematics and Physics
Vol.9 No.5
,May 26, 2021
DOI:
10.4236/jamp.2021.95070
183
Downloads
618
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