Formal Specification - Articles - Scientific Research Publishing

Conceptual Analysis and Fieldwork in Macroeconometric Methodology: Modeling Unemployment, Inflation and Production (Articles)

Karim Errouaki

Technology and Investment Vol.5 No.3, August 25, 2014

DOI: 10.4236/ti.2014.53015 4,482 Downloads 5,952 Views Citations
Process Capability Analysis of a Centre Lathe Turning Process (Articles)

Andrew A. Erameh, Nurudeen A. Raji, Rasheed O. Durojaye, Abiodun A. Yussouff

Engineering Vol.8 No.3, March 15, 2016

DOI: 10.4236/eng.2016.83010 5,380 Downloads 10,506 Views Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

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

DOI: 10.4236/jsea.2009.22012 5,230 Downloads 9,041 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,116 Downloads 13,038 Views Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.3 No.8, August 26, 2010

DOI: 10.4236/jsea.2010.38093 5,303 Downloads 8,944 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,641 Downloads 17,001 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

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

International Journal of Communications, Network and System Sciences Vol.5 No.3, March 21, 2012

DOI: 10.4236/ijcns.2012.53021 4,066 Downloads 6,895 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 30,255 Downloads 53,020 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,389 Downloads 8,942 Views Citations
Realization of Rough Set Approximation Toplogical Operations Based on Formal Concept Analysis (Articles)

Huilai Zhi

International Journal of Intelligence Science Vol.4 No.3, July 4, 2014

DOI: 10.4236/ijis.2014.43008 3,075 Downloads 4,573 Views Citations
FOTool: Modelling Indigenous Community Cultures in Sarawak (Articles)

Edwin Mit, Ng Bong Ding, Cheah Wai Shiang

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

DOI: 10.4236/jsea.2014.78067 3,174 Downloads 4,493 Views Citations
Diglossia in the Arab World
—Educational Implications and Future Perspectives (Articles)

Christopher Horn

Open Journal of Modern Linguistics Vol.5 No.1, February 17, 2015

DOI: 10.4236/ojml.2015.51009 8,004 Downloads 15,406 Views Citations
Formal-Informal Credit Market Interlinkage and Development Policies: A General Equilibrium Analysis (Articles)

Rakhi Banerjee, Ranjanendra Narayan Nag

Modern Economy Vol.6 No.8, August 20, 2015

DOI: 10.4236/me.2015.68086 4,148 Downloads 6,233 Views Citations
Fuzzy Semantics of Contract Language (Articles)

Hengyang Wu, Yixiang Chen

Applied Mathematics Vol.7 No.5, March 18, 2016

DOI: 10.4236/am.2016.75039 2,532 Downloads 3,973 Views Citations
This article belongs to the Special Issue on Fuzzy Mathematics and Its Applications
An Augmented Framework for Formal Analysis of Safety Critical Systems (Articles)

Monika Singh, V. K. Jain

Journal of Software Engineering and Applications Vol.10 No.8, July 11, 2017

DOI: 10.4236/jsea.2017.108039 1,455 Downloads 3,322 Views Citations
Architectural Composition: A Systematic Method to Define a List of Visual Attributes (Articles)

Seyed Farhad Tayyebi, Yüksel Demir

Art and Design Review Vol.7 No.3, June 11, 2019

DOI: 10.4236/adr.2019.73012 1,487 Downloads 11,316 Views Citations
Using a Low-Cost Playful Strategy to Present Sign Language on Non-Formal Educational Spaces (Articles)

Tathianna Prado Dawes, Gustavo Henrique Varela Saturnino Alves, Helena Carla Castro, Andréia Santos Silva, Lucianne Fragel-Madeira

Creative Education Vol.10 No.6, June 28, 2019

DOI: 10.4236/ce.2019.106092 830 Downloads 1,812 Views Citations
Can Graduating from a Key University Really Increase People’s Market Returns? Evidence from China’s Urban Formal Labor Market (1993-2010) (Articles)

Lan Zhang, Shengmin Pang

Open Journal of Social Sciences Vol.8 No.10, October 15, 2020

DOI: 10.4236/jss.2020.810007 509 Downloads 1,558 Views Citations
Survey of Smart Contract Technology and Application Based on Blockchain (Articles)

Somboun Tern

Open Journal of Applied Sciences Vol.11 No.10, October 29, 2021

DOI: 10.4236/ojapps.2021.1110085 902 Downloads 4,093 Views Citations
Expansion in the Retail Sector—Market Entry Strategies in Consideration of Formal and Informal Institutions: A Tesco Case Study (Articles)

Daniel Krummel

Open Access Library Journal Vol.9 No.2, February 14, 2022

DOI: 10.4236/oalib.1108377 894 Downloads 11,545 Views Citations

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