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 195 Downloads 955 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,183 Downloads 8,969 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,258 Downloads 8,870 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,238 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,465 Downloads 5,010 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,967 Downloads 10,432 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,417 Downloads 11,874 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 4,115 Downloads 5,879 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 853 Downloads 4,652 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 456 Downloads 2,107 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 7,069 Downloads 13,952 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,959 Downloads 6,510 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 981 Downloads 2,368 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 303 Downloads 1,574 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 5,165 Downloads 8,313 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,720 Downloads 13,416 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,465 Downloads 17,696 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,313 Downloads 9,994 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,397 Downloads 4,484 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,656 Downloads 10,813 Views Citations

First <123 ...>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