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,709 Downloads 7,058 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,105 Downloads 6,280 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,835 Downloads 3,280 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,302 Downloads 7,775 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,312 Downloads 10,929 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
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,657 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,346 Downloads 10,955 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,146 Downloads 14,758 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,144 Downloads 4,846 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,512 Downloads 7,838 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,419 Downloads 12,392 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,255 Downloads 10,760 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,735 Downloads 6,153 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 11,771 Downloads 16,046 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 6,682 Downloads 12,411 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 7,733 Downloads 13,645 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,308 Downloads 4,275 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,004 Downloads 4,020 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