Formal Methods in Software Engineering - Articles - Scientific Research Publishing

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,852 Downloads 7,560 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,227 Downloads 6,693 Views Citations
Hermeneutical Engineering of Requirements (Articles)

Wagner Varalda, Ítalo S. Vega

Journal of Computer and Communications Vol.5 No.2, February 7, 2017

DOI: 10.4236/jcc.2017.52002 1,973 Downloads 3,786 Views Citations
This article belongs to the Special Issue on Requirements Engineering
Applying Heuristic Search for Distributed Software Performance Enhancement (Articles)

Omid BUSHEHRIAN

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

DOI: 10.4236/jsea.2009.23021 4,504 Downloads 8,231 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,529 Downloads 11,554 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,862 Downloads 8,119 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,313 Downloads 5,259 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,564 Downloads 9,535 Views Citations
Facts and Perceptions Regarding Software Measurement in Education and in Practice: Preliminary Results (Articles)

Mónica Villavicencio, Alain Abran

Journal of Software Engineering and Applications Vol.4 No.4, April 29, 2011

DOI: 10.4236/jsea.2011.44025 6,512 Downloads 11,424 Views Citations
Software Dysfunction: Why Do Software Fail? (Articles)

Edward E. Ogheneovo

Journal of Computer and Communications Vol.2 No.6, April 25, 2014

DOI: 10.4236/jcc.2014.26004 9,445 Downloads 16,171 Views Citations
How Do You Know What You Know: Epistemology in Software Engineering (Articles)

Oluwatosin Ogundare

Journal of Software Engineering and Applications Vol.10 No.2, February 24, 2017

DOI: 10.4236/jsea.2017.102010 2,284 Downloads 5,486 Views Citations
This article belongs to the Special Issue on Knowledge Management and Knowledge Engineering
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,691 Downloads 8,415 Views Citations
Software Reliability Early Prediction in Architectural Design Phase: Overview and Limitations (Articles)

Lalit Kumar Singh, Anil Kumar Tripathi, Gopika Vinod

Journal of Software Engineering and Applications Vol.4 No.3, March 18, 2011

DOI: 10.4236/jsea.2011.43020 6,686 Downloads 13,012 Views Citations
A Reference Model for the Analysis and Comparison of MDE Approaches for Web-Application Development (Articles)

João de Sousa Saraiva, Alberto Rodrigues da Silva

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

DOI: 10.4236/jsea.2010.35047 6,460 Downloads 11,273 Views Citations
Cognitive Software Engineering: A Research Framework and Roadmap (Articles)

Zohair Chentouf

Journal of Software Engineering and Applications Vol.7 No.6, May 28, 2014

DOI: 10.4236/jsea.2014.76049 3,882 Downloads 6,795 Views Citations
This article belongs to the Special Issue on Software Analysis and Testing
Challenges for Software Engineering in Automation (Articles)

Birgit Vogel-Heuser, Christian Diedrich, Alexander Fay, Sabine Jeschke, Stefan Kowalewski, Martin Wollschlaeger, Peter Göhner

Journal of Software Engineering and Applications Vol.7 No.5, May 21, 2014

DOI: 10.4236/jsea.2014.75041 12,233 Downloads 17,131 Views Citations
Software Architecture and Methodology as a Tool for Efficient Software Engineering Process: A Critical Appraisal (Articles)

Achimugu Philip, Babajide Afolabi, Oluwaranti Adeniran, Gambo Ishaya, Oluwagbemi Oluwatolani

Journal of Software Engineering and Applications Vol.3 No.10, November 19, 2010

DOI: 10.4236/jsea.2010.310110 7,024 Downloads 13,118 Views Citations
Software Engineering Principles: Do They Meet Engineering Criteria? (Articles)

Kenza Meridji, Alain Abran

Journal of Software Engineering and Applications Vol.3 No.10, November 19, 2010

DOI: 10.4236/jsea.2010.310114 8,046 Downloads 14,377 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,430 Downloads 4,807 Views Citations
FOTool: Modelling Indigenous Community Cultures in Sarawak (Articles)

Edwin Mit, Ng Bong Ding, Cheah Wai Shiang

Journal of Software Engineering and Applications Vol.7 No.8, July 25, 2014

DOI: 10.4236/jsea.2014.78067 3,143 Downloads 4,427 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