Formal Specifications - Articles - Scientific Research Publishing

An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z (Articles)

Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor

Journal of Software Engineering and Applications Vol.8 No.8, August 19, 2015

DOI: 10.4236/jsea.2015.88037 6,629 Downloads 9,676 Views Citations
Unified Approach to Assess Engineering Performance of Fill Improved by Shallow to Deep Compaction Based Techniques Using Relative Density (Articles)

Ahmed Alaaeldin, Emmanouil Spyropoulos, Anas Orabi

Open Journal of Civil Engineering Vol.10 No.3, August 27, 2020

DOI: 10.4236/ojce.2020.103020 847 Downloads 2,506 Views Citations
Development of Product Design Projects Applying Specifications and Factors Matrix (SFM) as a Support Tool in Higher Education (Articles)

José Luis Santolaya, Anna Maria Biedermann, Ana Serrano

World Journal of Engineering and Technology Vol.4 No.2, April 29, 2016

DOI: 10.4236/wjet.2016.42012 3,925 Downloads 6,283 Views Citations
Formal Methods for Commercial Applications Issues vs. Solutions (Articles)

Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed

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

DOI: 10.4236/jsea.2014.78062 8,567 Downloads 11,660 Views Citations
Improvement of the Assay Method for Steviol Glycosides in the JECFA Specifications (Articles)

Atsuko Tada, Kyoko Ishizuki, Junichi Iwamura, Hirohisa Mikami, Yoshiko Hirao, Isao Fujita, Takeshi Yamazaki, Hiroshi Akiyama, Yoko Kawamura

American Journal of Analytical Chemistry Vol.4 No.4, April 29, 2013

DOI: 10.4236/ajac.2013.44024 7,187 Downloads 11,731 Views Citations
Computer Aided Call for Tenders: A Tool for Software Bidding (Articles)

Jorge Hochstetter, Carlos Cares

Journal of Software Engineering and Applications Vol.7 No.7, June 11, 2014

DOI: 10.4236/jsea.2014.77055 4,586 Downloads 6,612 Views Citations
Implication of Land Regularization in Accessing Credits from Financial Institutions in Tanzania (Articles)

Jane J. Mbilinyi, Abiud L. Kaswamila, Emiliana A. Assenga

Current Urban Studies Vol.10 No.4, November 9, 2022

DOI: 10.4236/cus.2022.104032 370 Downloads 1,865 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

International Journal of Communications, Network and System Sciences Vol.3 No.10, October 27, 2010

DOI: 10.4236/ijcns.2010.310104 8,274 Downloads 17,237 Views Citations
Utilization of Local Available Materials to Stabilize Native Soil (Earth Roads) in Tanzania—Case Study Ngara (Articles)

Fikiri Fredrick Magafu, Wu Li

Engineering Vol.2 No.7, July 23, 2010

DOI: 10.4236/eng.2010.27068 5,984 Downloads 10,597 Views Citations
Wireless Hybrid QoS Architecture with an Enhancement of Fair Intelligent Congestion Control (Articles)

Li Zheng, Doan B. Hoang, Ming Li

Wireless Engineering and Technology Vol.3 No.3, July 31, 2012

DOI: 10.4236/wet.2012.33018 4,661 Downloads 8,022 Views Citations
Definition of Specifications for Use in Pavement Course of Lithostabilized and Cement-Treated Fine Lateritic Soil in the South of Benin (Articles)

Crespin Prudence Yabi, Olawolé Eddy Joris Affo, Ghildas Raoul Sekloka, Mohamed Gibigaye

Engineering Vol.18 No.2, February 9, 2026

DOI: 10.4236/eng.2026.182005 93 Downloads 382 Views Citations
Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.5, May 26, 2021

DOI: 10.4236/jamp.2021.95070 380 Downloads 1,328 Views Citations
Formal Derivation of the Combinatorics Problems with PAR Method (Articles)

Lingyu SUN, Yatian SUN

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

DOI: 10.4236/jsea.2009.23026 7,526 Downloads 11,472 Views Citations
Integrating Formal Methods in XP—A Conceptual Solution (Articles)

Shagufta Shafiq, Nasir Mehmood Minhas

Journal of Software Engineering and Applications Vol.7 No.4, April 17, 2014

DOI: 10.4236/jsea.2014.74029 5,762 Downloads 8,552 Views Citations
Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2, June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,736 Downloads 5,133 Views Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism (Articles)

K. Robert Bridges, Richard J. Harnish

Psychology Vol.6 No.13, October 19, 2015

DOI: 10.4236/psych.2015.613164 4,467 Downloads 7,024 Views Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind (Articles)

Anchala Chaudhary

Open Journal of Social Sciences Vol.4 No.11, November 25, 2016

DOI: 10.4236/jss.2016.411007 1,583 Downloads 3,369 Views Citations
The Effects of Small Crops Farmers’ Education to the Accessibility of Financing and Use Patterns of Crops (Articles)

Zamzami

Modern Economy Vol.8 No.12, December 11, 2017

DOI: 10.4236/me.2017.812098 876 Downloads 1,847 Views Citations
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection (Articles)

Michael Perrick

Open Journal of Philosophy Vol.8 No.5, November 29, 2018

DOI: 10.4236/ojpp.2018.85040 1,326 Downloads 4,733 Views Citations
Environmental Education in Brazil: Socio-Historical Perspectives in Formal Teaching for Sustainability (Articles)

Francisco Arapiraca dos Santos, Elidinaldo da Silva Leite, Ricardo José Rocha Amorim, Dinani Gomes Amorim

Creative Education Vol.11 No.10, October 23, 2020

DOI: 10.4236/ce.2020.1110150 936 Downloads 2,921 Views Citations

First <12 3 ...>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