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

Optimizing Water Supply Distribution Network at Makongo in Dar es Salaam, Tanzania (Articles)

Gratian Charles, Livingstone Swilla, Irene Tarimo, Edmund Mutayoba

Journal of Geoscience and Environment Protection Vol.13 No.12, December 4, 2025

DOI: 10.4236/gep.2025.1312005 70 Downloads 537 Views Citations
A Qualitative Study on Barriers to Reintegrating into Family Life among Survivors of Uterine Cervical Neoplasms during the Extended Survival Meriod (Articles)

Huamin Chen, Dongnan Yang

Open Journal of Nursing Vol.16 No.4, April 24, 2026

DOI: 10.4236/ojn.2026.164019 39 Downloads 242 Views Citations
Non-Tuberculous Bacterial Infections among Hospitalized People Living with HIV in a Senegalese Referral Centre: Clinical Presentation, Bacterial Spectrum, Resistance Patterns and Outcomes (Articles)

Ndeye Aissatou Lakhe, Daouda Thioub, Kyria Christine Sambou, Khardiata Diallo-Mbaye, Aminata Massaly, Ndeye Maguette Fall, Aboubakar Sidikh Badiane, Assane Diouf, Viviane Cisse-Diallo, Daye Ka, Louise Fortes, Cheikh Tidiane Ndour, Moussa Seydi

Advances in Infectious Diseases Vol.16 No.2, June 29, 2026

DOI: 10.4236/aid.2026.162027 21 Downloads 107 Views Citations
Formally Inferring Galileo Galilei Principle of Relativity of Motion in an Axiomatic System “Sigma+V” from a Triple of Nontrivial Assumptions (Articles)

Vladimir Olegovich Lobovikov

Journal of Applied Mathematics and Physics Vol.10 No.8, August 19, 2022

DOI: 10.4236/jamp.2022.108167 257 Downloads 1,128 Views Citations
Moving From Traditional Software Engineering to Componentware (Articles)

Faisal Nabi, Roisin Mullins

Journal of Software Engineering and Applications Vol.4 No.5, May 26, 2011

DOI: 10.4236/jsea.2011.45031 7,437 Downloads 13,455 Views Citations
A Fuzzy Approach for Component Selection amongst Different Versions of Alternatives for a Fault Tolerant Modular Software System under Recovery Block Scheme Incorporating Build-or-Buy Strategy (Articles)

P. C. Jha, Ritu Arora, U. Dinesh Kumar

American Journal of Operations Research Vol.1 No.4, December 5, 2011

DOI: 10.4236/ajor.2011.14029 5,065 Downloads 9,001 Views Citations
Software Measurement Methods: An Analysis of Two Designs (Articles)

Jean-Marc Desharnais, Alain Abran

Journal of Software Engineering and Applications Vol.5 No.10, October 31, 2012

DOI: 10.4236/jsea.2012.510092 6,742 Downloads 10,801 Views Citations
Influence of Software Modeling and Design on Domain-Specific Abstract Thinking: Student’s Perspective (Articles)

Zakarya A. Alzamil

Journal of Software Engineering and Applications Vol.6 No.10, October 16, 2013

DOI: 10.4236/jsea.2013.610065 3,047 Downloads 5,043 Views Citations
Smart Development Process Enactment Based on Context Sensitive Sequence Prediction (Articles)

Andreas Rausch, Michael Deynet

Journal of Computer and Communications Vol.1 No.5, December 12, 2013

DOI: 10.4236/jcc.2013.15006 4,049 Downloads 6,173 Views Citations
Evaluating Project Management Software Packages Using a Scoring Model—A Comparison between MS Project and Primavera (Articles)

Hani Gharaibeh

Journal of Software Engineering and Applications Vol.7 No.7, June 5, 2014

DOI: 10.4236/jsea.2014.77050 7,616 Downloads 11,246 Views Citations
Impact of Modification Made in Re-UCP on Software Effort Estimation (Articles)

Mudasir Manzoor Kirmani, Abdul Wahid

Journal of Software Engineering and Applications Vol.8 No.6, June 8, 2015

DOI: 10.4236/jsea.2015.86028 3,519 Downloads 5,126 Views Citations
A Case Study on Design Patterns and Software Defects in Open Source Software (Articles)

Mubin Ozan Onarcan, Yongjian Fu

Journal of Software Engineering and Applications Vol.11 No.5, May 31, 2018

DOI: 10.4236/jsea.2018.115016 3,048 Downloads 8,276 Views Citations
This article belongs to the Special Issue on Software Design and System Architecture
Empirically Validated Software Efficiency Estimation Model: Product Operation Perspective (Articles)

Mohammad Zubair Khan, Abdullah Alsaeedi, Mahfuzul Huda

Journal of Software Engineering and Applications Vol.11 No.10, October 26, 2018

DOI: 10.4236/jsea.2018.1110029 901 Downloads 2,300 Views Citations
Reliability Assessment Tool Based on Deep Learning and Data Preprocessing for OSS (Articles)

Shoichiro Miyamoto, Yoshinobu Tamura, Shigeru Yamada

American Journal of Operations Research Vol.12 No.3, May 24, 2022

DOI: 10.4236/ajor.2022.123007 364 Downloads 1,690 Views Citations
Partial Discharge Source Classification and De-Noising in Rotating Machines Using Discrete Wavelet Transform and Directional Coupling Capacitor (Articles)

Mohammad Amin Kashiha, Diman Zad Tootaghaj, Dolat Jamshidi

Journal of Electromagnetic Analysis and Applications Vol.1 No.2, June 24, 2009

DOI: 10.4236/jemaa.2009.12014 5,713 Downloads 11,577 Views Citations
Categorization and Reorientation of Images Based on Low Level Features (Articles)

Rajen Bhatt, Gaurav Sharma, Abhinav Dhall, Naresh Kumar, Santanu Chaudhury

Journal of Intelligent Learning Systems and Applications Vol.3 No.1, February 24, 2011

DOI: 10.4236/jilsa.2011.31001 5,331 Downloads 10,653 Views Citations
A Wavelet Spectrum Technique for Machinery Fault Diagnosis (Articles)

Derek Kanneg, Wilson Wang

Journal of Signal and Information Processing Vol.2 No.4, November 3, 2011

DOI: 10.4236/jsip.2011.24046 6,820 Downloads 11,847 Views Citations
Deformation prediction model of surrounding rock based on GA-LSSVM-markov (Articles)

Duo-Dian Wang, Guo-Qing Qiu, Wen-Bin Xie, Yue Wang

Natural Science Vol.4 No.2, February 22, 2012

DOI: 10.4236/ns.2012.42013 4,938 Downloads 9,618 Views Citations
Human Identity Verification Using Multispectral Palmprint Fusion (Articles)

Dakshina Ranjan Kisku, Ajita Rattani, Phalguni Gupta, Jamuna Kanta Sing, C. Jinshong Hwang

Journal of Signal and Information Processing Vol.3 No.2, May 30, 2012

DOI: 10.4236/jsip.2012.32036 5,515 Downloads 10,126 Views Citations
Using Non-Additive Measure for Optimization-Based Nonlinear Classification (Articles)

Nian Yan, Zhengxin Chen, Yong Shi, Zhenyuan Wang, Guimin Huang

American Journal of Operations Research Vol.2 No.3, September 19, 2012

DOI: 10.4236/ajor.2012.23044 3,730 Downloads 6,595 Views Citations

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