Formal Methods in Software Engineering - Articles - Scientific Research Publishing

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,760 Downloads 5,593 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 233 Downloads 1,052 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 96 Downloads 487 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 193 Downloads 772 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 94 Downloads 351 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,537 Downloads 8,648 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,207 Downloads 6,009 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 700 Downloads 1,459 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,700 Downloads 11,764 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 3,872 Downloads 4,750 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,632 Downloads 3,142 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,098 Downloads 3,467 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,144 Downloads 9,233 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 4,926 Downloads 9,772 Views Citations
Quality-Oriented Software Product Line Architecture Design (Articles)

Lei Tan, Yuqing Lin, Huilin Ye

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

DOI: 10.4236/jsea.2012.57054 6,145 Downloads 10,565 Views Citations
A Model for Software Product Quality Prediction (Articles)

Brijendra Singh, Suresh Prasad Kannojia

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

DOI: 10.4236/jsea.2012.56046 6,331 Downloads 10,960 Views Citations
Developing a Scoring Model to Evaluate Project Management Software Packages Based on ISO/IEC Software Evaluation Criterion (Articles)

Hani M. Gharaibeh

Journal of Software Engineering and Applications Vol.7 No.1，January 17, 2014

DOI: 10.4236/jsea.2014.71004 9,002 Downloads 12,418 Views Citations
Using Social Networks to Support Software Ecosystems Comprehension and Evolution (Articles)

Rodrigo Pereira dos Santos, Maria Gilda P. Esteves, Gleisson de S. Freitas, Jano Moreira de Souza

Social Networking Vol.3 No.2，February 27, 2014

DOI: 10.4236/sn.2014.32014 7,698 Downloads 10,497 Views Citations
A Quality Assurance Model for Airborne Safety-Critical Software (Articles)

Nadia Bhuiyan, Habib A. ElSabbagh

Journal of Software Engineering and Applications Vol.7 No.3，March 27, 2014

DOI: 10.4236/jsea.2014.73018 7,465 Downloads 9,719 Views Citations
A Code Correlation Comparison of the DOS and CP/M Operating Systems (Articles)

Robert Zeidman

Journal of Software Engineering and Applications Vol.7 No.6，May 28, 2014

DOI: 10.4236/jsea.2014.76048 8,114 Downloads 11,387 Views Citations
This article belongs to the Special Issue on Software Analysis and Testing

<...8910 ...>

	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