Formal Methods in Software Engineering - Articles - Scientific Research Publishing

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,408 Downloads 9,354 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,195 Downloads 8,775 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,504 Downloads 13,807 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,656 Downloads 32,307 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 7,916 Downloads 8,617 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,801 Downloads 4,985 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,000 Downloads 3,118 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,500 Downloads 3,540 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,277 Downloads 2,561 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,006 Downloads 5,979 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 322 Downloads 1,116 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 368 Downloads 1,265 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,237 Downloads 7,559 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 1,817 Downloads 3,773 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 167 Downloads 724 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,734 Downloads 8,740 Views Citations
Quantum Software Engineering: Best Practices from Classical to Quantum Approaches (Articles)

Abdullah Ibrahim S. Alsalman

Journal of Quantum Information Science Vol.14 No.4，December 6, 2024

DOI: 10.4236/jqis.2024.144010 192 Downloads 1,238 Views Citations
Software for Acoustic Design (Articles)

Anatoliy Sergeevich Suvorov, Oleg Fedorovich Sevriukov, Evgeniy Mikhailovich Sokov, Mikhail Borisovich Salin, Svetlana Georgievna Zaitseva, Varvara Alekseevna Sharagina

Journal of Applied Mathematics and Physics Vol.11 No.8，August 31, 2023

DOI: 10.4236/jamp.2023.118162 100 Downloads 504 Views Citations
Innovative Techniques Unveiled in Advanced Sheet Pile Curtain Design (Articles)

Peace Sèna Hounkpe, Guy Oyéniran Adéoti, Patrick Oniakitan Mondoté, Éric Adéchina Alamou

Open Journal of Civil Engineering Vol.14 No.1，January 15, 2024

DOI: 10.4236/ojce.2024.141001 1,335 Downloads 2,053 Views Citations
Theory and Application of Numerical Simulation of Chemical Flooding in High Temperature and High Salt Reservoirs (Articles)

Yirang Yuan, Aijie Cheng, Danping Yang, Changfeng Li

International Journal of Geosciences Vol.5 No.9，August 22, 2014

DOI: 10.4236/ijg.2014.59082 2,576 Downloads 3,332 Views Citations

<...456 ...>

	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