Issues of Formal Methods - Articles - Scientific Research Publishing

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,312 Downloads 10,930 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,512 Downloads 7,838 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,989 Downloads 8,487 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 5,002 Downloads 8,293 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,280 Downloads 2,743 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,708 Downloads 7,646 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,130 Downloads 4,705 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,363 Downloads 5,234 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,709 Downloads 7,059 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,106 Downloads 6,282 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 289 Downloads 1,649 Views Citations
Impact of Parenting Style on Child Social Behavior (Articles)

Tanya Sutaria

Open Access Library Journal Vol.12 No.2，February 26, 2025

DOI: 10.4236/oalib.1112704 96 Downloads 1,062 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,639 Downloads 14,395 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,325 Downloads 8,659 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 731 Downloads 3,954 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 562 Downloads 3,675 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 954 Downloads 4,366 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 239 Downloads 1,309 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,892 Downloads 16,372 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,272 Downloads 16,825 Views Citations

<12 3 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies