Formal Methods in Software Engineering - Articles - Scientific Research Publishing

TikTak: A Scalable Simulator of Wireless Sensor Networks Including Hardware/Software Interaction (Articles)

Francesco Menichelli, Mauro Olivieri

Wireless Sensor Network Vol.2 No.11，November 19, 2010

DOI: 10.4236/wsn.2010.211098 7,673 Downloads 13,177 Views Citations
A Kind of Potential Practical Sensors of Metamaterial in Electromagnetic Flaw Nondestructive Testing (Articles)

Zhanxian Xu

Engineering Vol.3 No.7，July 20, 2011

DOI: 10.4236/eng.2011.37090 7,103 Downloads 10,835 Views Citations
Simulation of a Flexible Manufacturing System with AutoMod Software (Articles)

Zixia Chen, Changbin Jiang

Intelligent Information Management Vol.3 No.5，September 20, 2011

DOI: 10.4236/iim.2011.35022 8,219 Downloads 14,265 Views Citations
Laboratory Driven, Lean-to-Adaptive Prototyping in Parallel for Web Software Project Identification and Application Development in Health Science Research (Articles)

Zachary Dwight, Alexa Barnes

Journal of Software Engineering and Applications Vol.5 No.2，February 27, 2012

DOI: 10.4236/jsea.2012.52010 5,511 Downloads 9,583 Views Citations
A Comparative Analysis between BPMN and SPEM Modeling Standards in the Software Processes Context (Articles)

Carlos Portela, Alexandre Vasconcelos, Antônio Silva, Ariane Sinimbú, Elder Silva, Maurício Ronny, Wallace Lira, Sandro Oliveira

Journal of Software Engineering and Applications Vol.5 No.5，May 29, 2012

DOI: 10.4236/jsea.2012.55039 7,245 Downloads 11,595 Views Citations
xSPIDER_ML: Proposal of a Software Processes Enactment Language Compliant with SPEM 2.0 (Articles)

Carlos Portela, Alexandre Vasconcelos, Antônio Silva, Elder Silva, Mariano Gomes, Maurício Ronny, Wallace Lira, Sandro Oliveira

Journal of Software Engineering and Applications Vol.5 No.6，June 19, 2012

DOI: 10.4236/jsea.2012.56044 5,496 Downloads 8,357 Views Citations
A Semi-Automation of a Cost Benefit Analysis Method (Articles)

Lisa M. Darville, Cui Zhang

Journal of Software Engineering and Applications Vol.5 No.6，June 19, 2012

DOI: 10.4236/jsea.2012.56045 10,080 Downloads 13,718 Views Citations
Dynamic Stability Analysis and Forecast of Surface Mine Dump (Articles)

Haiwang Ye, Wen Li

Open Journal of Safety Science and Technology Vol.2 No.2，June 26, 2012

DOI: 10.4236/ojsst.2012.22008 5,202 Downloads 9,638 Views Citations
Forecasting and the Role of Churn in Software-as-a-Service Business Models (Articles)

Anthony E. R. Sukow, Rebecca Grant

iBusiness Vol.5 No.1A，March 29, 2013

DOI: 10.4236/ib.2013.51A006 9,469 Downloads 13,499 Views Citations
This article belongs to the Special Issue on E-Commerce
Electrical Metrology Applications of LabVIEW Software (Articles)

Hala M. Abdel Mageed, Ali M. El-Rifaie

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

DOI: 10.4236/jsea.2013.63015 6,057 Downloads 9,753 Views Citations
How Do the Evolution and Innovation of Social Network Analysis Matter to Computer Science and Communications? (Articles)

Romana Xerez

Social Networking Vol.2 No.3，July 17, 2013

DOI: 10.4236/sn.2013.23013 4,553 Downloads 8,756 Views Citations
System-on-a-Chip (SoC) Based Hardware Acceleration for Video Codec (Articles)

Xinwei Niu, Jeffrey Fan

Optics and Photonics Journal Vol.3 No.2B，July 18, 2013

DOI: 10.4236/opj.2013.32B028 5,237 Downloads 7,587 Views Citations
Developing Mathematical Literacy,Based on Elemental Software and Academic Tools Development (Articles)

Oscar H. Salinas, Angel Estrada Arteaga, Martha E. Luna, Marco A. Amado González

Creative Education Vol.4 No.7B，July 19, 2013

DOI: 10.4236/ce.2013.47A2023 4,548 Downloads 6,888 Views Citations
This article belongs to the Special Issue on Higher Education
Hybrid Power System Power Flow Analysis (Articles)

Petr Bilik, Jakub Manas, Jan Zidek, Jiri Koziorek

Energy and Power Engineering Vol.5 No.4B，October 31, 2013

DOI: 10.4236/epe.2013.54B135 5,847 Downloads 8,107 Views Citations
Experimental Study on the Cyclic Ampacity and Its Factor of 10 kV XLPE Cable (Articles)

Xiaoliang Zhuang, Haiqing Niu, Junfeng Wang, Yong You, Guanghui Sun

Energy and Power Engineering Vol.5 No.4B，November 18, 2013

DOI: 10.4236/epe.2013.54B231 7,147 Downloads 8,508 Views Citations
Homogeneity of Monthly Mean Air Temperature of the United Republic of Tanzania with HOMER (Articles)

Philbert M. Luhunga, Edmund Mutayoba, Hashim K. Ng’ongolo

Atmospheric and Climate Sciences Vol.4 No.1，January 9, 2014

DOI: 10.4236/acs.2014.41010 5,019 Downloads 8,003 Views Citations
Enhancing Software Process Management through Control Charts (Articles)

Vipul Vashisht

Journal of Software Engineering and Applications Vol.7 No.2，February 14, 2014

DOI: 10.4236/jsea.2014.72010 4,959 Downloads 7,558 Views Citations
Doorstop: Text-Based Requirements Management Using Version Control (Articles)

Jace Browning, Robert Adams

Journal of Software Engineering and Applications Vol.7 No.3，March 27, 2014

DOI: 10.4236/jsea.2014.73020 8,416 Downloads 17,629 Views Citations
Evaluation by Rubrics: A Computerized System (Articles)

Juan Cristobal Barrón, Humberto Blanco, José René Blanco, Judith M. Rodríguez-Villalobos, Jesús Viciana

Creative Education Vol.5 No.12，June 26, 2014

DOI: 10.4236/ce.2014.512124 3,732 Downloads 5,212 Views Citations
This article belongs to the Special Issue on Adoption and Use of Technology in Education
Software Frameworks, Architectural and Design Patterns (Articles)

Njeru Mwendi Edwin

Journal of Software Engineering and Applications Vol.7 No.8，July 22, 2014

DOI: 10.4236/jsea.2014.78061 20,164 Downloads 24,293 Views Citations

<...151617 ...>

	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