Formal Methods in Software Engineering - Articles - Scientific Research Publishing

Effect of Motivational Strategies on Employee Performance in Nigerian Commercial Banks (Articles)

Taiwo Akinsola, Hadiza Abubakar Saidu, Taiwo Adewale Muritala, Akeem Adewale Bakare

Open Journal of Social Sciences Vol.11 No.9, September 19, 2023

DOI: 10.4236/jss.2023.119024 818 Downloads 6,745 Views Citations
IUID Method-Mix: Towards a Systematic Approach for Intercultural User Interface Design (IUID) (Articles)

Rüdiger Heimgärtner

Journal of Computer and Communications Vol.7 No.7, July 18, 2019

DOI: 10.4236/jcc.2019.77015 1,324 Downloads 3,477 Views Citations
Generalized Powers of Substitution with Pre-Function Operators (Articles)

Laurent Poinsot

Applied Mathematics Vol.4 No.7A, July 5, 2013

DOI: 10.4236/am.2013.47A004 3,229 Downloads 5,253 Views Citations
This article belongs to the Special Issue on Fractional Calculus Theory and Application
A Formal Deductive Inference of the Law of Inertia in a Logically Formalized Axiomatic Epistemology System Sigma from the Assumption of Knowledge A-Priori-Ness (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.3, March 25, 2021

DOI: 10.4236/jamp.2021.93031 469 Downloads 1,501 Views Citations
Temporal Patterns of Software Evolution Defects: A Comparative Analysis of Open Source and Closed Source Projects (Articles)

Uzma Raja, Joanne Elaine Hale, David Peter Hale

Journal of Software Engineering and Applications Vol.4 No.8, August 2, 2011

DOI: 10.4236/jsea.2011.48058 6,182 Downloads 11,781 Views Citations
Guidelines Based Software Engineering for Developing Software Components (Articles)

Muthu Ramachandran

Journal of Software Engineering and Applications Vol.5 No.1, December 31, 2011

DOI: 10.4236/jsea.2012.51001 10,943 Downloads 18,469 Views Citations
Cyclomatic Complexity and Lines of Code: Empirical Evidence of a Stable Linear Relationship (Articles)

Graylin JAY, Joanne E. HALE, Randy K. SMITH, David HALE, Nicholas A. KRAFT, Charles WARD

Journal of Software Engineering and Applications Vol.2 No.3, October 23, 2009

DOI: 10.4236/jsea.2009.23020 15,190 Downloads 31,329 Views Citations
A New Software Reliability Growth Model: Genetic-Programming-Based Approach (Articles)

Zainab ALRahamneh, Mohammad Reyalat, Alaa F. Sheta, Sulieman Bani-Ahmad, Saleh Al-Oqeili

Journal of Software Engineering and Applications Vol.4 No.8, August 2, 2011

DOI: 10.4236/jsea.2011.48054 7,443 Downloads 14,838 Views Citations
Improving Parallelism in Software Development Process (Articles)

Thang N. Nguyen

Journal of Software Engineering and Applications Vol.6 No.9, September 20, 2013

DOI: 10.4236/jsea.2013.69059 4,708 Downloads 7,856 Views Citations
A Survey of Software Test Estimation Techniques (Articles)

Kamala Ramasubramani Jayakumar, Alain Abran

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

DOI: 10.4236/jsea.2013.610A006 9,153 Downloads 14,267 Views Citations
This article belongs to the Special Issue on Software Testing
Open Source GIS Software Options for Forestry Education in Papua New Guinea (Articles)

David Lopez Cornelio

Open Journal of Ecology Vol.4 No.4, March 28, 2014

DOI: 10.4236/oje.2014.44022 5,764 Downloads 8,790 Views Citations
Industrial Software Effort Estimation Development and Correction Effort (Articles)

Sahar A. Abboud, Fatma S. Al-Widyan, Shahab A. Nadir

Journal of Software Engineering and Applications Vol.18 No.8, August 18, 2025

DOI: 10.4236/jsea.2025.188018 101 Downloads 502 Views Citations
End to End Development Engineering (Articles)

Abdelgaffar Hamed, Robert M. Colomb

Journal of Software Engineering and Applications Vol.4 No.4, April 29, 2011

DOI: 10.4236/jsea.2011.44023 6,441 Downloads 11,874 Views Citations
Training Engineering Concepts during the Teaching Process of Unit of Chemical Principles (Articles)

Lu Guo, Jun Wang

Open Access Library Journal Vol.5 No.6, June 26, 2018

DOI: 10.4236/oalib.1104694 668 Downloads 1,701 Views Citations
The Importance of Soft Skills for the Engineering (Articles)

Débora Barni de Campos, Luis Mauricio Martins de Resende, Alexandre Borges Fagundes

Creative Education Vol.11 No.8, August 28, 2020

DOI: 10.4236/ce.2020.118109 5,129 Downloads 18,894 Views Citations
Curriculum Setting and Practice of Biological Engineering in the Context of Engineering Education: A Case Study of Qilu University of Technology (Articles)

Tongjun Liu, Hongxing Li, Liping Tan

Open Journal of Social Sciences Vol.11 No.4, April 12, 2023

DOI: 10.4236/jss.2023.114006 233 Downloads 953 Views Citations
Green Construction and Sustainable Development (Articles)

Ziyu Wang, Charalampos Baniotopoulos

Open Journal of Civil Engineering Vol.13 No.2, June 19, 2023

DOI: 10.4236/ojce.2023.132024 685 Downloads 3,042 Views Citations
Research on the Reform of Practical Teaching in Engineering Cost under the Background of Professional Certification: A Case Study of Jiangxi University of Science and Technology (Articles)

Shuitai Xu, Yuan Wang, Binbin Xiong, Yuhui Zhou

Open Access Library Journal Vol.11 No.10, October 30, 2024

DOI: 10.4236/oalib.1112374 74 Downloads 640 Views Citations
Model of Real Time Architecture for Data Placement in Wireless Sensor Networks (Articles)

Sanjeev GUPTA, Mayank DAVE

Wireless Sensor Network Vol.2 No.1, January 13, 2010

DOI: 10.4236/wsn.2010.21008 8,081 Downloads 12,965 Views Citations
A Conflicts Detection Approach for Merging Formal Specification Views (Articles)

Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam

Journal of Software Engineering and Applications Vol.3 No.5, May 24, 2010

DOI: 10.4236/jsea.2010.35052 5,301 Downloads 9,128 Views Citations

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