UML; State Diagrams; Equivalence Relations; Formal Methods; Z notation; Validation and Verification - Articles

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,259 Downloads 8,872 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,185 Downloads 8,973 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,408 Downloads 3,239 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,863 Downloads 8,121 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,692 Downloads 8,421 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,229 Downloads 17,151 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,530 Downloads 11,557 Views Citations
Mapping UML 2.0 Activities to Zero-Safe Nets (Articles)

Sabine Boufenara, Faiza Belala, Kamel Barkaoui

Journal of Software Engineering and Applications Vol.3 No.5, May 24, 2010

DOI: 10.4236/jsea.2010.35048 5,189 Downloads 9,771 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,315 Downloads 5,263 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,672 Downloads 5,026 Views Citations
A Review on Industrial Applications of Z-Source Inverter (Articles)

Nimrah Saeed, Anas Ibrar, Aimen Saeed

Journal of Power and Energy Engineering Vol.5 No.9, September 6, 2017

DOI: 10.4236/jpee.2017.59002 2,857 Downloads 9,802 Views Citations
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker (Articles)

Prabhu Kaliappan, Hartmut Koenig

Journal of Software Engineering and Applications Vol.1 No.1, December 9, 2008

DOI: 10.4236/jsea.2008.11003 6,477 Downloads 12,642 Views Citations
Translator of Islay 3D Animations into Flash Platform (Articles)

Michitoshi Niibori, Makoto Rokujo, Shusuke Okamoto, Masaru Kamada, Tatsuhiro Yonekura

Journal of Software Engineering and Applications Vol.9 No.11, November 9, 2016

DOI: 10.4236/jsea.2016.911037 1,662 Downloads 2,843 Views Citations
ProTSA: A Testing Process for Automotive Software Domain (Articles)

Renato Rafael Arcanjo, Luiz Eduardo Galvão Martins, Dirceu Lavoiser Fernandes Graci

Journal of Software Engineering and Applications Vol.17 No.7, July 23, 2024

DOI: 10.4236/jsea.2024.177033 207 Downloads 1,028 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

International Journal of Communications, Network and System Sciences Vol.5 No.3, March 21, 2012

DOI: 10.4236/ijcns.2012.53021 4,035 Downloads 6,826 Views Citations
Which One Is Better, Simple or Complex Metrics? (Articles)

Fangjun Wu

Journal of Computer and Communications Vol.3 No.11, November 19, 2015

DOI: 10.4236/jcc.2015.311009 5,874 Downloads 6,914 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,392 Downloads 18,984 Views Citations
Pyroelectric Plate with Magnetoelectric Effect (Articles)

Pavel Grinfeld, Michael Grinfeld

Journal of Applied Mathematics and Physics Vol.12 No.5, May 10, 2024

DOI: 10.4236/jamp.2024.125100 196 Downloads 590 Views Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2, February 12, 2015

DOI: 10.4236/jsea.2015.82006 3,262 Downloads 4,800 Views Citations
LR(K) Parser Construction Using Bottom-up Formal Analysis (Articles)

Nazir Ahmad Zafar

Journal of Software Engineering and Applications Vol.5 No.1, December 31, 2011

DOI: 10.4236/jsea.2012.51004 5,624 Downloads 9,353 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