Formal Methods; Model-Based Software Testing; Regression Testing; Extended Finite State Machines - Articles

Systematic Method for Constructing Lewis Representations (Articles)

Lahbib Abbas, Lahcen Bih, Khalid Yamni, Abderrahim Elyahyaouy, Abdelmalik El Attaoui, Zahra Ramzi

Open Journal of Inorganic Chemistry Vol.14 No.1, January 31, 2024

DOI: 10.4236/ojic.2024.141001 243 Downloads 946 Views Citations
Two Competing Views on Formal Principles (Articles)

Alexandre Travessoni Gomes Trivisonno, Júlio Aguiar de Oliveira

Beijing Law Review Vol.15 No.3, September 26, 2024

DOI: 10.4236/blr.2024.153091 129 Downloads 1,031 Views Citations
Formal Logical Arguments in Islamic Law (Articles)

Rehan Rafique

Open Journal of Philosophy Vol.15 No.1, February 13, 2025

DOI: 10.4236/ojpp.2025.151010 162 Downloads 1,000 Views Citations
Pathways to Formalization: Exploring Support Systems for Informal Micro-Entrepreneurs in the Metal Manufacturing Sector in Zimbabwe (Articles)

Onias Sanangura, Bupe Getrude Mutono-Mwanza

Open Journal of Business and Management Vol.13 No.3, May 14, 2025

DOI: 10.4236/ojbm.2025.133086 109 Downloads 649 Views Citations
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,860 Downloads 9,867 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,278 Downloads 11,680 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,451 Downloads 9,088 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,323 Downloads 7,908 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,992 Downloads 6,285 Views Citations
How Do You Know What You Know: Epistemology in Software Engineering (Articles)

Oluwatosin Ogundare

Journal of Software Engineering and Applications Vol.10 No.2, February 24, 2017

DOI: 10.4236/jsea.2017.102010 2,315 Downloads 5,589 Views Citations
This article belongs to the Special Issue on Knowledge Management and Knowledge Engineering
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,396 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 215 Downloads 828 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 327 Downloads 1,234 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 205 Downloads 722 Views Citations
Self-Tuning Control Techniques for Wind Turbine and Hydroelectric Plant Systems (Articles)

Silvio Simani, Stefano Alvisi, Mauro Venturini

Journal of Power and Energy Engineering Vol.7 No.1, January 21, 2019

DOI: 10.4236/jpee.2019.71003 1,168 Downloads 2,631 Views Citations
Exploration of the Online Practical Teaching Model Based on Project-Driven and Twi-Flipped—Taking the Course “Web Front-End Technology Foundation” as Example (Articles)

Decheng Zhang, Jinxin Chen

Open Journal of Social Sciences Vol.9 No.12, December 16, 2021

DOI: 10.4236/jss.2021.912018 403 Downloads 1,474 Views Citations
A Systems Approach to Assessing Sustainability Capacity in Kalobeyei Refugee Settlement in Turkana County, Kenya (Articles)

Anicet Adjahossou

Open Journal of Applied Sciences Vol.14 No.4, April 10, 2024

DOI: 10.4236/ojapps.2024.144056 161 Downloads 673 Views Citations
A Triple Nexus Water-Energy-Housing (WEH) Framework Modelling towards Improved Decision-Making in Humanitarian Operations (Articles)

Anicet Adjahossou

Open Journal of Applied Sciences Vol.14 No.4, April 16, 2024

DOI: 10.4236/ojapps.2024.144061 208 Downloads 827 Views Citations
Fundamental Connections in Differential Geometry: Quantum Field Theory, Electromagnetism, Chemistry and Fluid Mechanics (Articles)

Jorge Zabadal, Ederson Staudt, Ádnei Marinho, Vinícius Ribeiro

Open Access Library Journal Vol.10 No.9, September 7, 2023

DOI: 10.4236/oalib.1110192 132 Downloads 685 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,672 Downloads 3,068 Views Citations

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