Formal Methods in Software Engineering - Articles - Scientific Research Publishing

A Modified Primal-Dual Interior Point Method for Solving Convex Quadratic Optimization Problems (Articles)

John Avoka, Stephen B. Twum, Christian John Etwire

Open Journal of Optimization Vol.15 No.1, March 31, 2026

DOI: 10.4236/ojop.2026.151001 40 Downloads 204 Views Citations
Hermite Polynomials and the Quantum Harmonic Oscillator: An Algebraic Approach (Articles)

Luciano Nascimento, Orlando Batista de Almeida

Journal of Applied Mathematics and Physics Vol.14 No.4, April 15, 2026

DOI: 10.4236/jamp.2026.144066 47 Downloads 359 Views Citations
Feasibility Analysis of Applying Financial Risk Management Methods to Tourism Risk Management (Articles)

Wang Chen, Dexiang Mei

American Journal of Industrial and Business Management Vol.16 No.4, April 20, 2026

DOI: 10.4236/ajibm.2026.164019 26 Downloads 174 Views Citations
Out of Pocket Health Expenditure and Healthcare Subsidy in Jamaica, and Some Selected Countries in North America (Articles)

Olayinka Adeyemi, Wasiu Abayomi

Open Journal of Applied Sciences Vol.16 No.4, April 29, 2026

DOI: 10.4236/ojapps.2026.164076 15 Downloads 180 Views Citations
How Do Digital Teaching Resources Foster Cultural Awareness in EFL Classrooms? A Mixed-Methods Study in the Chinese Primary Context (Articles)

Yingying Zhao, Xin Lin, Yuanyuan Shi

Chinese Studies Vol.15 No.2, May 22, 2026

DOI: 10.4236/chnstd.2026.152009 9 Downloads 51 Views Citations
On Some Quality Issues of Component Selection in CBSD (Articles)

Jeetendra Pande, Raj Kishore Bisht, Durgesh Pant, Vinay Kumar Pathak

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

DOI: 10.4236/jsea.2010.36064 5,726 Downloads 9,996 Views Citations
Cognitive Radio Sensor Node Empowered Mobile Phone for Explosive Trace Detection (Articles)

Swagata Roy Chatterjee, Mohuya Chakraborty, Jayanta Chakraborty

International Journal of Communications, Network and System Sciences Vol.4 No.1, January 28, 2011

DOI: 10.4236/ijcns.2011.41004 7,088 Downloads 13,834 Views Citations
MoM Analysis and Design of a Compact Coaxial-to-Microstrip Directional Coupler (Articles)

Nadia Benabdallah, Nasreddine Benahmed, Fethi Tarik Bendimerad, Boumedienne Benyoucef

Wireless Engineering and Technology Vol.2 No.2, April 1, 2011

DOI: 10.4236/wet.2011.22007 7,607 Downloads 14,781 Views Citations
Enantioseparation of Palonosetron Hydrochloride and Its Related Enantiomeric Impurities by Computer Simulation and Validation (Articles)

M. Vishnu Murthy, C Krishnaiah, Kodithyala Jyothirmayi, Katkam Srinivas, K Mukkanti, Ramesh Kumar, Gautam samanta

American Journal of Analytical Chemistry Vol.2 No.4, August 3, 2011

DOI: 10.4236/ajac.2011.24053 8,107 Downloads 15,136 Views Citations
Statistical Analysis of Process Monitoring Data for Software Process Improvement and Its Application (Articles)

Kazuhiro Esaki, Yuki Ichinose, Shigeru Yamada

American Journal of Operations Research Vol.2 No.1, March 14, 2012

DOI: 10.4236/ajor.2012.21005 6,189 Downloads 11,270 Views Citations
Comparative Study of the Performance of M5-Rules Algorithm with Different Algorithms (Articles)

Heetika Duggal, Parminder Singh

Journal of Software Engineering and Applications Vol.5 No.4, April 23, 2012

DOI: 10.4236/jsea.2012.54032 6,705 Downloads 10,584 Views Citations
Testability Estimation of Framework Based Applications (Articles)

Noopur Goel, Manjari Gupta

Journal of Software Engineering and Applications Vol.5 No.11, November 30, 2012

DOI: 10.4236/jsea.2012.511097 4,350 Downloads 6,963 Views Citations
Using UML Behavioral Model to Support Aspect Oriented Model (Articles)

Zahid Hussain Qaisar, Nauman Anwar, Shafiq Ur Rehman

Journal of Software Engineering and Applications Vol.6 No.3, March 29, 2013

DOI: 10.4236/jsea.2013.63014 4,924 Downloads 8,544 Views Citations
Laser Surface Hardening of Tool Steels—Experimental and Numerical Analysis (Articles)

Abdel-Monem El-Batahgy, Ramadan Ahmed Ramadan, Abdel-Rahman Moussa

Journal of Surface Engineered Materials and Advanced Technology Vol.3 No.2, April 30, 2013

DOI: 10.4236/jsemat.2013.32019 7,589 Downloads 12,555 Views Citations
Prediction Models for Total Customer Satisfaction Based on the ISO/IEC9126 System Quality Model (Articles)

Kazuhiro Esaki

American Journal of Operations Research Vol.3 No.4, July 12, 2013

DOI: 10.4236/ajor.2013.34037 5,379 Downloads 9,358 Views Citations
Feature Modeling and Variability Modeling Syntactic Notation Comparison and Mapping (Articles)

Wahyudianto, Eko K. Budiardjo, Elviawaty M. Zamzami

Journal of Computer and Communications Vol.2 No.2, January 10, 2014

DOI: 10.4236/jcc.2014.22018 4,895 Downloads 7,672 Views Citations
Integrated Testing Environment of Instructor Station for SMART Simulator (Articles)

Joon Ku Lee, Geun Ok Park, Keung Koo Kim, Woo Seok Huh, Kwang Young Sohn

Open Journal of Modelling and Simulation Vol.3 No.2, March 23, 2015

DOI: 10.4236/ojmsi.2015.32004 3,683 Downloads 4,756 Views Citations
Toward Developing a Syllabus-Oriented Computer-Based Question-Banks Software to Support Partially Computerized Exams (Articles)

Sulieman Bani-Ahmad

Journal of Software Engineering and Applications Vol.8 No.5, May 22, 2015

DOI: 10.4236/jsea.2015.85026 3,172 Downloads 4,435 Views Citations
The Use of Computerized HRM Systems by Companies in Saudi Arabia (Articles)

Mashhoor Al-Amri, Adlah A. Alessa, Alharthey Bandar Khalaf

American Journal of Industrial and Business Management Vol.6 No.4, April 15, 2016

DOI: 10.4236/ajibm.2016.64037 2,470 Downloads 4,300 Views Citations
A Neuro-Based Software Fault Prediction with Box-Cox Power Transformation (Articles)

Momotaz Begum, Tadashi Dohi

Journal of Software Engineering and Applications Vol.10 No.3, March 30, 2017

DOI: 10.4236/jsea.2017.103017 1,788 Downloads 3,425 Views Citations
This article belongs to the Special Issue on Software Dependability

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