Formal Methods in Software Engineering - Articles - Scientific Research Publishing

PHYLIP-GUI-Tool (PHYGUI): adapting the functions of the graphical user interface for the PHYLIP package (Articles)

Yukinori Eguchi

Journal of Biomedical Science and Engineering Vol.4 No.2, February 25, 2011

DOI: 10.4236/jbise.2011.42012 4,799 Downloads 9,741 Views Citations
Defect Prediction Leads to High Quality Product (Articles)

Naheed Azeem, Shazia Usmani

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

DOI: 10.4236/jsea.2011.411075 6,218 Downloads 11,593 Views Citations
Role of Software Reliability Models in Performance Improvement and Management (Articles)

Padmanabha Aital, P. Sashikala

Journal of Software Engineering and Applications Vol.5 No.9, September 14, 2012

DOI: 10.4236/jsea.2012.59086 5,411 Downloads 9,005 Views Citations
Using the ISO 19761 COSMIC Measurement Standard to Reduce “Information Asymmetry” in Software Development Contracts and Enable Greater Competitiveness (Articles)

Francisco Valdés Souto, Alain Abran

Technology and Investment Vol.4 No.4, November 8, 2013

DOI: 10.4236/ti.2013.44031 5,283 Downloads 7,822 Views Citations
ADTEM-Architecture Design Testability Evaluation Model to Assess Software Architecture Based on Testability Metrics (Articles)

Amjad Hudaib, Fawaz Fawaz Al-Zaghoul, Maha Saadeh, Huda Saadeh

Journal of Software Engineering and Applications Vol.8 No.4, April 22, 2015

DOI: 10.4236/jsea.2015.84021 3,943 Downloads 6,178 Views Citations
The Intelligent Software Systems: The Practical Implementation of Software Security Vulnerabilities Detection Modeling (Articles)

Musoni Wilson, Umutesi Liliane, Mbanzabugabo Jean Baptiste

Open Access Library Journal Vol.7 No.11, November 16, 2020

DOI: 10.4236/oalib.1106831 289 Downloads 1,372 Views Citations
Can Lessons Learned from Software Development Improve the Intelligibility of UK Legislation? (Articles)

David P. Youll

Beijing Law Review Vol.13 No.4, December 20, 2022

DOI: 10.4236/blr.2022.134058 177 Downloads 770 Views Citations
Moderating Role of Person’s Job Fit in the IT with Effectiveness of Agile Methodology on Project Success in Tanzania (Articles)

Nelsen A. Rahul, Thierry S. Nouidui, David D. Kiwia, Paul L. Ulaya

American Journal of Industrial and Business Management Vol.13 No.4, April 30, 2023

DOI: 10.4236/ajibm.2023.134018 291 Downloads 1,169 Views Citations
Generativity of Self-Organizing Processes and Their Correlative Description in Terms of a Formal Language of Meta-Ordinal Generative Nature, in the Light of the Maximum Ordinality Principle and the Explicit Solution to the “Three-Body Problem” (Articles)

Corrado Giannantoni

Journal of Applied Mathematics and Physics Vol.11 No.10, October 31, 2023

DOI: 10.4236/jamp.2023.1110206 175 Downloads 677 Views Citations
Newton’s Method and an Exact Opposite That Average into Halley’s Method (Articles)

Isaac Fried

Applied Mathematics Vol.8 No.10, October 23, 2017

DOI: 10.4236/am.2017.810103 1,606 Downloads 2,956 Views Citations
Re-Evaluations of Seismic Hazard of Syria (Articles)

Hatem M. El Ssayed, Hussam E. Zaineh, Draji Dojcinovski, Vladimir Mihailov

International Journal of Geosciences Vol.3 No.4A, September 28, 2012

DOI: 10.4236/ijg.2012.324085 5,738 Downloads 9,415 Views Citations
This article belongs to the Special Issue on
Research on Safety Management of Construction Engineering Personnel under “Big Data + Artificial Intelligence” (Articles)

Xizhe Yi, Jiaye Wu

Open Journal of Business and Management Vol.8 No.3, April 13, 2020

DOI: 10.4236/ojbm.2020.83067 2,560 Downloads 7,006 Views Citations
Constructive Theory of Designing Optimal Eighth-Order Derivative-Free Methods for Solving Nonlinear Equations (Articles)

Tugal Zhanlav, Khuder Otgondorj, Renchin-Ochir Mijiddorj

American Journal of Computational Mathematics Vol.10 No.1, March 17, 2020

DOI: 10.4236/ajcm.2020.101007 860 Downloads 1,912 Views Citations
An Actual Survey of Dimensionality Reduction (Articles)

Alireza Sarveniazi

American Journal of Computational Mathematics Vol.4 No.2, March 21, 2014

DOI: 10.4236/ajcm.2014.42006 7,938 Downloads 12,488 Views Citations
The Paper Published by Dr. I. Brondz: Analytical Methods in Quality Control of Scientific Publications Part IV: Fraud Ordered by the Pharmaceutical Industry (Articles)

Boris Sedunov

Voice of the Publisher Vol.1 No.1, June 30, 2015

DOI: 10.4236/vp.2015.11004 4,021 Downloads 5,130 Views Citations
Study of Methods to Improve the Counselors’ Scientific Research (Articles)

Weiren Yuan, Yaqing Zeng

Creative Education Vol.8 No.3, March 6, 2017

DOI: 10.4236/ce.2017.83024 1,730 Downloads 3,569 Views Citations
Emerging HIV Epidemic in the North-Eastern State of Assam, India: An Exploratory Study Using Mixed-Methods Approach (Articles)

Chiranjeev Bhattacharjya, Giridhar Pathak, Tulika Goswami Mahanta, Y. Manihar Singh, Ranjanjyoti Deka, Mitali Sen, Alok Kr. Deb

World Journal of AIDS Vol.8 No.1, March 15, 2018

DOI: 10.4236/wja.2018.81003 1,238 Downloads 4,028 Views Citations
A Comprehensive Review on the Classification of Multi-Objective Optimization Techniques (Articles)

Mohamd Hassan Gadallah, Abdelrahman Ali M. Ahmed

Open Journal of Optimization Vol.14 No.4, December 1, 2025

DOI: 10.4236/ojop.2025.144010 170 Downloads 1,113 Views Citations
MDA (Model-Driven Architecture) as a Software Industrialization Pattern: An Approach for a Pragmatic Software Factories (Articles)

Thomas Djotio Ndie, Claude Tangha, Fritz Ekwoge Ekwoge

Journal of Software Engineering and Applications Vol.3 No.6, June 24, 2010

DOI: 10.4236/jsea.2010.36065 5,502 Downloads 10,037 Views Citations
Mapping Software Metrics to Module Complexity: A Pattern Classification Approach (Articles)

Nick John Pizzi

Journal of Software Engineering and Applications Vol.4 No.7, July 12, 2011

DOI: 10.4236/jsea.2011.47049 5,149 Downloads 10,359 Views Citations

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