Formal Methods in Software Engineering - Articles - Scientific Research Publishing

Test and Defect Driven Development (T3D): A Novel Approach to Software Development (Articles)

Wasim Haque

Journal of Software Engineering and Applications Vol.18 No.4, April 21, 2025

DOI: 10.4236/jsea.2025.184009 196 Downloads 1,208 Views Citations
Green Software Engineering: A Study on Energy-Efficient Design and Deployment in Cloud Infrastructure (Articles)

Jianian Jin, Enkai Ji, Qun Zhang

Journal of Data Analysis and Information Processing Vol.13 No.3, July 28, 2025

DOI: 10.4236/jdaip.2025.133014 210 Downloads 1,449 Views Citations
The Systematic Discovery of Services in Early Stages of Agile Developments: A Systematic Literature Review (Articles)

J. Sedeño, G. Vázquez, M. J. Escalona, M. Mejías

Journal of Computer and Communications Vol.7 No.7, July 10, 2019

DOI: 10.4236/jcc.2019.77012 763 Downloads 2,284 Views Citations
A Novel System on Efficient Matching, Decision Making and Distributing (Articles)

Si-Yuan Liu, Yu Liu, Chao Liu, Chun-Zhe Zhao, Yi-Ming Luo, Gao-Jin Wen

Health Vol.1 No.1, June 3, 2009

DOI: 10.4236/health.2009.11010 5,571 Downloads 9,799 Views Citations
A Genetic Approach to Analyze Algorithm Performance Based on the Worst-Case Instances (Articles)

So-Yeong Jeon, Yong-Hyuk Kim

Journal of Software Engineering and Applications Vol.3 No.8, August 26, 2010

DOI: 10.4236/jsea.2010.38089 5,379 Downloads 9,234 Views Citations
Prediction and Optimization of System Quality and Risks on the Base of Modelling Processes (Articles)

Andrey Kostogryzov, Leonid Grigoriev, George Nistratov, Andrey Nistratov, Vladimir Krylov

American Journal of Operations Research Vol.3 No.1A, January 30, 2013

DOI: 10.4236/ajor.2013.31A021 6,659 Downloads 14,296 Views Citations
This article belongs to the Special Issue on Complex System
A Domain Engineering Approach to Increase Productivity in the Development of a Service for Changes Notification of the Configuration Management Database (Articles)

Jose Ramon Coz Fernandez, Ruben Heradio-Gil, David Fernandez-Amoros, Jose Antonio Cerrada-Somolinos

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

DOI: 10.4236/jsea.2013.64026 11,797 Downloads 32,776 Views Citations
Autonomous Data Exchange: The Malady and a Possible Path to Its Cure (Articles)

Eli Rohn

Intelligent Information Management Vol.7 No.1, January 28, 2015

DOI: 10.4236/iim.2015.71003 8,080 Downloads 9,066 Views Citations
Analysis of Engineering Geology Indices in Three Units of Atamir Formation in Kope Dagh Zone (Articles)

Bizhan Shirdel

Open Journal of Geology Vol.5 No.12, December 29, 2015

DOI: 10.4236/ojg.2015.512072 3,928 Downloads 5,404 Views Citations
User Centered Design for Battlefield Screen (Articles)

Heesoo Jung, Suhwan Kim, Yongjin James Kwon

Journal of Computer and Communications Vol.4 No.5, May 26, 2016

DOI: 10.4236/jcc.2016.45013 2,126 Downloads 3,553 Views Citations
A Structural and Generative Approach to Multilayered Software Architectures (Articles)

Georges Edouard Kouamou, Willy Kengne Kungne

Journal of Software Engineering and Applications Vol.10 No.8, July 11, 2017

DOI: 10.4236/jsea.2017.108037 1,656 Downloads 4,100 Views Citations
Simulated Experiments for Teaching Mutually-Coupled Circuits CAD Techniques Using Analytic and Finite Element Solutions (Articles)

Antônio Flavio Licarião Nogueira, Vítor Hörbe Pereira da Costa, Rodolfo Lauro Weinert

Journal of Electromagnetic Analysis and Applications Vol.9 No.11, November 30, 2017

DOI: 10.4236/jemaa.2017.911016 1,409 Downloads 3,105 Views Citations
Process of Requirement Analysis Link to Software Development (Articles)

L. K. Pulasthi Dhananjaya Gunawardhana

Journal of Software Engineering and Applications Vol.12 No.10, October 23, 2019

DOI: 10.4236/jsea.2019.1210025 2,271 Downloads 7,127 Views Citations
QualiTeam: A Support Tool When Learning Software Quality and Testing Concepts (Articles)

Jorge Cervantes-Ojeda, María del Carmen Gómez-Fuentes

Journal of Software Engineering and Applications Vol.15 No.1, January 27, 2022

DOI: 10.4236/jsea.2022.151001 436 Downloads 1,581 Views Citations
API Development Increases Access to Shared Computing Resources at Boston University (Articles)

George Jones, Amanda E. Wakefield, Jeff Triplett, Kojo Idrissa, James Goebel, Dima Kozakov, Sandor Vajda

Journal of Software Engineering and Applications Vol.15 No.6, June 29, 2022

DOI: 10.4236/jsea.2022.156011 460 Downloads 1,684 Views Citations
Robust Linear Regression Models: Use of a Stable Distribution for the Response Data (Articles)

Jorge A. Achcar, Angela Achcar, Edson Zangiacomi Martinez

Open Journal of Statistics Vol.3 No.6, December 31, 2013

DOI: 10.4236/ojs.2013.36048 5,375 Downloads 8,028 Views Citations
Static Analysis and Code Complexity Metrics as Early Indicators of Software Defects (Articles)

Safa Omri, Pascal Montag, Carsten Sinz

Journal of Software Engineering and Applications Vol.11 No.4, April 11, 2018

DOI: 10.4236/jsea.2018.114010 2,010 Downloads 4,457 Views Citations
This article belongs to the Special Issue on Software Metric and Software Quality
Hydrodynamic Performance of a Newly-Designed Pelagic and Demersal Trawls Using Physical Modeling and Analytical Methods for Cameroonian Industrial Fisheries (Articles)

Tcham Leopold, Vanlie Maurice Kontchou, Nyatchouba Nsangue Bruno Thierry, Abdou Njifenjou, Njomoue Pandong Achille

Open Journal of Marine Science Vol.13 No.3, July 7, 2023

DOI: 10.4236/ojms.2023.133004 579 Downloads 1,496 Views Citations
Engineering Education Accreditation: Exploring and Practicing the Analysis Method for Course Objective Achievement in “Digital Electronic Technology” (Articles)

Dong Wu

Open Access Library Journal Vol.13 No.4, April 22, 2026

DOI: 10.4236/oalib.1115232 10 Downloads 93 Views Citations
Knowledge Management of Software Productivity and Development Time (Articles)

James A. Rodger, Pankaj Pankaj, Ata Nahouraii

Journal of Software Engineering and Applications Vol.4 No.11, November 21, 2011

DOI: 10.4236/jsea.2011.411072 4,977 Downloads 9,389 Views Citations

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