Formal Methods in Software Engineering - Articles - Scientific Research Publishing

An Exploration on Enhancing the Teaching Performance of the Survey Research Methods Course through Practical Training to Undergraduate Students (Articles)

Yarong Lyu, Bingheng Liu, Yihang Liu

Creative Education Vol.17 No.1, January 7, 2026

DOI: 10.4236/ce.2026.171001 95 Downloads 524 Views Citations
How Far Is the Ideal from Reality: Research on the Realistic Dilemmas and Solutions for Innovating Farmland Transfer Compensation Methods
—A Case Study of the Socialist New Countryside Pilot Zone in Guangdong Province (Articles)

Shanfeng Deng

Open Journal of Social Sciences Vol.14 No.4, April 29, 2026

DOI: 10.4236/jss.2026.144029 6 Downloads 75 Views Citations
Individual Pattern Analysis of Cognitive Appraisals Associated with Depressive Symptoms in Youth with Inflammatory Bowel Disease (Articles)

Megan E. Baker, James W. Grice, Kaitlyn L. Gamwell, Caroline M. Roberts, John M. Chaney

Open Journal of Applied Sciences Vol.16 No.5, May 12, 2026

DOI: 10.4236/ojapps.2026.165087 13 Downloads 175 Views Citations
A Gas Dynamics Method Based on the Spectral Deferred Corrections (SDC) Time Integration Technique and the Piecewise Parabolic Method (PPM) (Articles)

Samet Y. Kadioglu

American Journal of Computational Mathematics Vol.1 No.4, December 9, 2011

DOI: 10.4236/ajcm.2011.14037 6,359 Downloads 10,648 Views Citations
Basins of Attraction in the Copenhagen Problem Where the Primaries Are Magnetic Dipoles (Articles)

Tilemachos J. Kalvouridis, Maria Ch. Gousidou-Koutita

Applied Mathematics Vol.3 No.6, June 21, 2012

DOI: 10.4236/am.2012.36082 3,875 Downloads 7,074 Views Citations
Multigrid One-Shot Method for PDE-Constrained Optimization Problems (Articles)

Subhendu Bikash Hazra

Applied Mathematics Vol.3 No.10A, November 1, 2012

DOI: 10.4236/am.2012.330216 4,409 Downloads 7,395 Views Citations
This article belongs to the Special Issue on Optimization
Visual Basic^TM Routine for In-Place Matrix Inversion (Articles)

Debabrata DasGupta

Applied Mathematics Vol.9 No.3, March 29, 2018

DOI: 10.4236/am.2018.93018 865 Downloads 1,958 Views Citations
Newton, Halley, Pell and the Optimal Iterative High-Order Rational Approximation of √N (Articles)

Isaac Fried

Applied Mathematics Vol.9 No.7, July 30, 2018

DOI: 10.4236/am.2018.97059 1,001 Downloads 2,063 Views Citations
Introducing the Power Series Method to Numerically Approximate Contingent Claim Partial Differential Equations (Articles)

Gerald W. Buetow, James Sochacki

Journal of Mathematical Finance Vol.9 No.4, October 25, 2019

DOI: 10.4236/jmf.2019.94031 1,234 Downloads 3,438 Views Citations
This article belongs to the Special Issue on Actuarial Science and Finance
Explicit Iterative Methods of Second Order and Approximate Inverse Preconditioners for Solving Complex Computational Problems (Articles)

Anastasia-Dimitra Lipitakis

Applied Mathematics Vol.11 No.4, April 22, 2020

DOI: 10.4236/am.2020.114023 797 Downloads 2,131 Views Citations
Upgraded Analytical Protocols in Bauxite Refining Industry Using Composite Sampling Approach to Minimize Laboratory Analysis Load (Articles)

Faisal Mubarak AlDossari

Materials Sciences and Applications Vol.14 No.2, February 28, 2023

DOI: 10.4236/msa.2023.142007 296 Downloads 2,099 Views Citations
Basic Research on Developing Methods for Teaching and Evaluating Off-Ball Movement in Elementary Physical Education Soccer: A Comparison of Game Performance with Regional Soccer Club (Articles)

Koichi Inoue, Hideki Matsubara

Advances in Physical Education Vol.13 No.4, September 19, 2023

DOI: 10.4236/ape.2023.134017 276 Downloads 1,116 Views Citations
Software Metric Analysis of Open-Source Business Software (Articles)

Charles W. Butler

Journal of Software Engineering and Applications Vol.16 No.5, May 31, 2023

DOI: 10.4236/jsea.2023.165008 330 Downloads 1,348 Views Citations
The New Software Cost Curve under Agentic AI: Development Economics, Pricing, and Labor Impacts (Articles)

Wasim Haque

Journal of Software Engineering and Applications Vol.19 No.1, January 28, 2026

DOI: 10.4236/jsea.2026.191001 126 Downloads 803 Views Citations
Development of an Improved GUI Automation Test System Based on Event-Flow Graph (Articles)

Yongzhong Lu, Danping Yan, Songlin Nie, Chun Wang

Journal of Software Engineering and Applications Vol.1 No.1, December 9, 2008

DOI: 10.4236/jsea.2008.11006 6,222 Downloads 13,215 Views Citations
Autonomic Software Component QoS Matchmaking Algorithm Based on Fidelity Factor in Agent-Based Autonomic Computing System (Articles)

Kun Zhang, Manwu Xu, Hong Zhang

Journal of Software Engineering and Applications Vol.2 No.2, July 15, 2009

DOI: 10.4236/jsea.2009.22015 4,843 Downloads 8,632 Views Citations
Software Selection in Manufacturing Industries Using a Fuzzy Multiple Criteria Decision Making Method, PROMETHEE (Articles)

R. V. RAO, T. S. RAJESH

Intelligent Information Management Vol.1 No.3, December 29, 2009

DOI: 10.4236/iim.2009.13023 9,148 Downloads 16,300 Views Citations
Separation of Fault Tolerance and Non-Functional Concerns: Aspect Oriented Patterns and Evaluation (Articles)

Kashif Hameed, Rob Williams, Jim Smith

Journal of Software Engineering and Applications Vol.3 No.4, May 6, 2010

DOI: 10.4236/jsea.2010.34036 6,501 Downloads 11,046 Views Citations
An Empirical Analysis on Industrial Organization Structure of Chinese Software Service Outsourcing (Articles)

Jiawen Shen, Heng Li

Journal of Service Science and Management Vol.3 No.2, June 29, 2010

DOI: 10.4236/jssm.2010.32027 7,707 Downloads 12,923 Views Citations
Exploring the Nature of Information Systems Development Methodology: A Synthesized View Based on a Literature Review (Articles)

Daniela Mihailescu, Marius Mihailescu

Journal of Service Science and Management Vol.3 No.2, June 29, 2010

DOI: 10.4236/jssm.2010.32033 7,509 Downloads 13,493 Views Citations

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