Formal Methods in Software Engineering - Articles - Scientific Research Publishing

HV Process Model of Software Development (Articles)

Hemant Kumar, Vipin Saxena

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

DOI: 10.4236/jsea.2024.177032 104 Downloads 470 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,486 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,291 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
Impact of Modification Made in Re-UCP on Software Effort Estimation (Articles)

Mudasir Manzoor Kirmani, Abdul Wahid

Journal of Software Engineering and Applications Vol.8 No.6，June 8, 2015

DOI: 10.4236/jsea.2015.86028 3,329 Downloads 4,558 Views Citations
Implementing a Personal Software Process (PSPSM) Course: A Case Study (Articles)

Sakgasit Ramingwong, Lachana Ramingwong

Journal of Software Engineering and Applications Vol.5 No.8，August 28, 2012

DOI: 10.4236/jsea.2012.58074 5,770 Downloads 9,844 Views Citations
Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures (Articles)

Robert Hilbrich, Laurent Dieudonné

Journal of Software Engineering and Applications Vol.6 No.5，May 15, 2013

DOI: 10.4236/jsea.2013.65028 8,158 Downloads 11,299 Views Citations
Towards Knowledge Management in RE Practices to Support Software Development (Articles)

Mamoona Humayoun, Asad Masood Qazi

Journal of Software Engineering and Applications Vol.8 No.8，August 26, 2015

DOI: 10.4236/jsea.2015.88040 3,985 Downloads 5,399 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,952 Views Citations
Fault Prediction with Static Software Metrics in Evolving Software: A Case Study in Apache Ant (Articles)

Xue Han, Gongjun Yan

Journal of Computer and Communications Vol.10 No.2，February 25, 2022

DOI: 10.4236/jcc.2022.102003 347 Downloads 1,585 Views Citations
Assessing a Model-Driven Web-Application Engineering Approach (Articles)

Ali Fatolahi, Stephane S. Some

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

DOI: 10.4236/jsea.2014.75033 3,819 Downloads 5,996 Views Citations
Hermeneutical Elicitation of Requirements: A Technical Perspective to Improve the Conception of the Software Requirements (Articles)

Wagner Varalda, Ítalo Santiago Vega

Journal of Computer and Communications Vol.6 No.9，September 28, 2018

DOI: 10.4236/jcc.2018.69010 874 Downloads 1,898 Views Citations
Events Sourcing and Command Query Responsibility Segregation Based Fast Data Architecture (Articles)

Gérard Behou N’guessan, Odilon Yapo Achiepo, Jérôme Diako

Open Journal of Applied Sciences Vol.13 No.2，February 17, 2023

DOI: 10.4236/ojapps.2023.132016 217 Downloads 1,155 Views Citations
Testing Component-Based Software: What It has to do with Design and Component Selection (Articles)

Shyam S. Pandeya, Anil K. Tripathi

Journal of Software Engineering and Applications Vol.4 No.1，January 27, 2011

DOI: 10.4236/jsea.2011.41005 6,917 Downloads 13,473 Views Citations
Learning the Business (Articles)

Mike Holcombe, Marian Gheorghe

Creative Education Vol.3 No.2，April 26, 2012

DOI: 10.4236/ce.2012.32042 4,946 Downloads 7,807 Views Citations
Aspects of Replayability and Software Engineering: Towards a Methodology of Developing Games (Articles)

Joseph Krall, Tim Menzies

Journal of Software Engineering and Applications Vol.5 No.7，June 15, 2012

DOI: 10.4236/jsea.2012.57052 7,513 Downloads 12,558 Views Citations
The Success Factors of Running Scrum: A Qualitative Perspective (Articles)

Rich C. Lee

Journal of Software Engineering and Applications Vol.5 No.6，June 19, 2012

DOI: 10.4236/jsea.2012.56043 10,266 Downloads 17,067 Views Citations
A Supportive Approach to Supervising Students Reading for a Phd in Systems and Software Engineering (Articles)

Richard Lai

Creative Education Vol.3 No.6A，October 25, 2012

DOI: 10.4236/ce.2012.326138 7,095 Downloads 9,417 Views Citations
This article belongs to the Special Issue on Higher Education
The Study on Case-Driven Methodology to Teach Software Engineering in Graduate Education (Articles)

Juntao Gao, Wei Chen, Lingling Guo, Xiaozhe Yin, Zhibao Wang, Hongbo Zhou

Creative Education Vol.6 No.2，February 13, 2015

DOI: 10.4236/ce.2015.62019 3,271 Downloads 4,039 Views Citations
An Artificial Intelligence Based Virtual Assistant Using Conversational Agents (Articles)

Mehdi Mekni

Journal of Software Engineering and Applications Vol.14 No.9，September 2, 2021

DOI: 10.4236/jsea.2021.149027 1,338 Downloads 9,238 Views Citations

<123 ...>

	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