Formal Methods in Software Engineering - Articles - Scientific Research Publishing

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 5,984 Downloads 11,222 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,744 Downloads 17,841 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 14,703 Downloads 30,053 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,053 Downloads 13,949 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,522 Downloads 7,359 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 8,917 Downloads 13,629 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,603 Downloads 8,314 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,247 Downloads 11,357 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 603 Downloads 1,368 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 4,664 Downloads 16,099 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 151 Downloads 527 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 449 Downloads 2,017 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 24 Downloads 201 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,479 Downloads 2,545 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 7,840 Downloads 12,431 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,097 Downloads 8,601 Views Citations
PLC Modeling and Checking Based on Formal Method (Articles)

Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang

Journal of Software Engineering and Applications Vol.3 No.11，November 29, 2010

DOI: 10.4236/jsea.2010.311124 8,350 Downloads 16,372 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

Int'l J. of Communications, Network and System Sciences Vol.5 No.3，March 21, 2012

DOI: 10.4236/ijcns.2012.53021 3,895 Downloads 6,380 Views Citations
The Imaginary Audience and the Personal Fable: A Test of Elkind’s Theory of Adolescent Egocentrism (Articles)

Evangelia P. Galanaki

Psychology Vol.3 No.6，June 18, 2012

DOI: 10.4236/psych.2012.36065 28,971 Downloads 49,895 Views Citations
Building Relationships between Schools and Communities’ Agencies: Crafting a Programmatic Proposal (Articles)

Imran Shaari, Shu-Shing Lee

Creative Education Vol.3 No.3，June 20, 2012

DOI: 10.4236/ce.2012.33057 5,122 Downloads 8,256 Views Citations

<...678 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies