Formal Specification - Articles - Scientific Research Publishing

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,761 Downloads 8,547 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 5,344 Downloads 9,199 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,675 Downloads 7,625 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,468 Downloads 4,884 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 345 Downloads 1,579 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,470 Downloads 10,510 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,563 Downloads 11,648 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,626 Downloads 9,664 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 370 Downloads 1,855 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

International Journal of Communications, Network and System Sciences Vol.3 No.10, October 27, 2010

DOI: 10.4236/ijcns.2010.310104 8,272 Downloads 17,225 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 5,054 Downloads 9,926 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,653 Downloads 11,171 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 11,222 Downloads 21,131 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 12,426 Downloads 19,066 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,573 Downloads 8,264 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 1,113 Downloads 2,252 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 2,037 Downloads 3,796 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 1,071 Downloads 2,093 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 769 Downloads 1,825 Views Citations
Comparative Study of Rhodanese Specific Activity Assay Techniques for Plants and Bacterial Species (Articles)

Badhane Gudeta

Advances in Enzyme Research Vol.13 No.4, December 24, 2025

DOI: 10.4236/aer.2025.134004 71 Downloads 556 Views Citations

First <12 3 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies