UML; State Diagram; Formal Methods; Z Notation; Validation and Verification - Articles

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,568 Downloads 9,548 Views Citations
Implementation of HACCP Plan for the Production of Egyptian Kishk (A Traditional Fermented Cereal-Milk Mixture) (Articles)

Mohamed M. Abd El-Razik, Mohamed F. Y. Hassan, Mohamed G. E. Gadallah

Food and Nutrition Sciences Vol.7 No.13, November 15, 2016

DOI: 10.4236/fns.2016.713116 2,964 Downloads 6,936 Views Citations
This article belongs to the Special Issue on Food Safety
Finding Optimal Allocation of Constrained Cloud Capacity Using Hyperbolic Voronoi Diagrams on the Sphere (Articles)

Shanthi Shanmugam, Caroline Shouraboura

Intelligent Information Management Vol.4 No.5A, October 30, 2012

DOI: 10.4236/iim.2012.425035 6,739 Downloads 9,282 Views Citations
This article belongs to the Special Issue on Information System and Management
Towards Automatic Transformation from UML Model to FSM Model for Web Applications (Articles)

Xi Wang, Huaikou Miao, Liang Guo

Journal of Software Engineering and Applications Vol.1 No.1, December 9, 2008

DOI: 10.4236/jsea.2008.11010 6,351 Downloads 11,952 Views Citations
Roadmap for Establishing Interoperability of Heterogeneous Cellular Network Technologies -2- (Articles)

Hasni Neji, Ridha Bouallegue

Journal of Signal and Information Processing Vol.3 No.3, August 31, 2012

DOI: 10.4236/jsip.2012.33053 33,748 Downloads 40,740 Views Citations
Representation of Object-Oriented Database for the Development of Web Based Application Using Db4o (Articles)

Vipin Saxena, Ajay Pratap

Journal of Software Engineering and Applications Vol.5 No.9, September 14, 2012

DOI: 10.4236/jsea.2012.59082 7,520 Downloads 12,309 Views Citations
Towards an UML Profile for Web Service Composition Based on Behavioral Descriptions (Articles)

Ayoub Sabraoui, Ahmed Ettalbi, Mohammed El Koutbi, Abdeslam En-Nouaary

Journal of Software Engineering and Applications Vol.5 No.9, September 14, 2012

DOI: 10.4236/jsea.2012.59084 4,634 Downloads 7,816 Views Citations
Sharing of NKN Facilities in Static Step Topology under Distributed Environment (Articles)

Taskeen Zaidi, Vipin Saxena

Journal of Software Engineering and Applications Vol.6 No.5, May 23, 2013

DOI: 10.4236/jsea.2013.65032 7,171 Downloads 9,280 Views Citations
Applying UML and Machine Learning to Enhance System Analysis and Design (Articles)

Aparna Gadhi, Ragha Madhavi Gondu, Chinna Manikanta Bandaru, Keerthana Chit Reddy, Olatunde Abiona

International Journal of Communications, Network and System Sciences Vol.16 No.5, May 11, 2023

DOI: 10.4236/ijcns.2023.165005 462 Downloads 3,630 Views Citations
LMI Approach to Suboptimal Guaranteed Cost Control for 2-D Discrete Uncertain Systems (Articles)

Amit Dhawan, Haranath Kar

Journal of Signal and Information Processing Vol.2 No.4, November 16, 2011

DOI: 10.4236/jsip.2011.24042 5,634 Downloads 9,667 Views Citations
Robust Non-Fragile Control of 2-D Discrete Uncertain Systems: An LMI Approach (Articles)

Paramanand Sharma, Amit Dhawan

Journal of Signal and Information Processing Vol.3 No.3, August 31, 2012

DOI: 10.4236/jsip.2012.33049 4,091 Downloads 6,305 Views Citations
Integrate Liveness Detection with Iris Verification to Construct Support Biometric System (Articles)

Hanaa Mohsin Ahmad, Bushra Jabbar Abdulkareem

Journal of Computer and Communications Vol.4 No.1, January 26, 2016

DOI: 10.4236/jcc.2016.41003 5,193 Downloads 6,591 Views Citations
Hydrochemistry for the Assessment of Groundwater Quality in Korea (Articles)

Jong Yeon Hwang, Sunhwa Park, Hyun-Koo Kim, Moon-Su Kim, Hun-Je Jo, Ji-In Kim, Gyeong-Mi Lee, In-Kyu Shin, Tae-Seung Kim

Journal of Agricultural Chemistry and Environment Vol.6 No.1, December 6, 2016

DOI: 10.4236/jacen.2017.61001 4,965 Downloads 9,989 Views Citations
Characteristics of Acute Flaccid Paralysis Reported by the Surveillance System and Verified by WHO Officer in Akwa Ibom State-Nigeria, 2006-2012 (Articles)

Bassey Enya Bassey, Vaz Gama Rui, Alex Ntale Gasasira, Mkanda Pascal, Goitom Weldegbriel, Ticha Johnson Mulum, Sylvester T. Maleghemi, Emem Abasi Bassey

Health Vol.6 No.19, November 12, 2014

DOI: 10.4236/health.2014.619299 4,373 Downloads 6,417 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 345 Downloads 1,793 Views Citations
Optimised Design and Analysis of Solar Water Pumping Systems for Pakistani Conditions (Articles)

Usman Ashraf, M. Tariq Iqbal

Energy and Power Engineering Vol.12 No.10, October 19, 2020

DOI: 10.4236/epe.2020.1210032 1,437 Downloads 5,175 Views Citations
Numerical Simulation of Blood Flow in Veins and Arteries: A Computational Approach (Articles)

Rogers Omboga Amenya, Dineshen Chuckravanen, Johana Kibet Sigey, Geoffrey Moriaso Ole Maloiy

Open Access Library Journal Vol.11 No.9, September 6, 2024

DOI: 10.4236/oalib.1111640 146 Downloads 1,319 Views Citations
Analysis of Chaotic Ferroresonance Phenomena in Unloaded Transformers Including MOV (Articles)

Ataollah Abbasi, Mehrdad Rostami, Ahmad Gholami, Hamid R. Abbasi

Energy and Power Engineering Vol.3 No.4, September 27, 2011

DOI: 10.4236/epe.2011.34057 6,510 Downloads 10,692 Views Citations
Monitoring Groundwater and Its Suitability for Drinking and Irrigation Purposes in the Sharif Abad Basin, Central Iran (Articles)

Farzad Mohammadi, Majid Ehteshami, Seyed Ahmad Mirbagheri, Salman Tavassoli

World Journal of Engineering and Technology Vol.5 No.3, August 21, 2017

DOI: 10.4236/wjet.2017.53042 1,353 Downloads 3,517 Views Citations
Theory of Structural Learning (Articles)

Dong H. Liu

Intelligent Control and Automation Vol.17 No.1, December 30, 2025

DOI: 10.4236/ica.2026.171002 62 Downloads 350 Views Citations

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