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,563 Downloads 11,647 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,761 Downloads 8,547 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 5,229 Downloads 9,040 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,301 Downloads 8,939 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,455 Downloads 3,319 Views Citations
Modeling Components and Services of LTE Mobile Communications System (Articles)

Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar

International Journal of Communications, Network and System Sciences Vol.5 No.12, December 20, 2012

DOI: 10.4236/ijcns.2012.512086 4,903 Downloads 8,190 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,368 Downloads 5,338 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,484 Downloads 5,671 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,916 Downloads 7,658 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,268 Downloads 6,765 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,663 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
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 379 Downloads 1,317 Views Citations
Formal Derivation of the Combinatorics Problems with PAR Method (Articles)

Lingyu SUN, Yatian SUN

Journal of Software Engineering and Applications Vol.2 No.3, October 23, 2009

DOI: 10.4236/jsea.2009.23026 7,521 Downloads 11,456 Views Citations
Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2, June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,733 Downloads 5,123 Views Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism (Articles)

K. Robert Bridges, Richard J. Harnish

Psychology Vol.6 No.13, October 19, 2015

DOI: 10.4236/psych.2015.613164 4,466 Downloads 7,012 Views Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind (Articles)

Anchala Chaudhary

Open Journal of Social Sciences Vol.4 No.11, November 25, 2016

DOI: 10.4236/jss.2016.411007 1,583 Downloads 3,357 Views Citations
The Effects of Small Crops Farmers’ Education to the Accessibility of Financing and Use Patterns of Crops (Articles)

Zamzami

Modern Economy Vol.8 No.12, December 11, 2017

DOI: 10.4236/me.2017.812098 874 Downloads 1,836 Views Citations
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection (Articles)

Michael Perrick

Open Journal of Philosophy Vol.8 No.5, November 29, 2018

DOI: 10.4236/ojpp.2018.85040 1,324 Downloads 4,723 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