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

Syntax-Tree Regular Expression Based DFA FormalConstruction (Articles)

Nazir Ahmad Zafar, Fawaz Alsaade

Intelligent Information Management Vol.4 No.4, July 27, 2012

DOI: 10.4236/iim.2012.44021 12,392 Downloads 18,988 Views Citations
Pyroelectric Plate with Magnetoelectric Effect (Articles)

Pavel Grinfeld, Michael Grinfeld

Journal of Applied Mathematics and Physics Vol.12 No.5, May 10, 2024

DOI: 10.4236/jamp.2024.125100 196 Downloads 590 Views Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2, February 12, 2015

DOI: 10.4236/jsea.2015.82006 3,265 Downloads 4,812 Views Citations
LR(K) Parser Construction Using Bottom-up Formal Analysis (Articles)

Nazir Ahmad Zafar

Journal of Software Engineering and Applications Vol.5 No.1, December 31, 2011

DOI: 10.4236/jsea.2012.51004 5,624 Downloads 9,354 Views Citations
Quantum Phase Transition for One-Dimensional Spin-1 XXZ Model with Uniaxial Single-Ion-Type Anisotropy (Articles)

Chunhuan Xiang, Honglei Wang

Journal of Applied Mathematics and Physics Vol.7 No.7, July 22, 2019

DOI: 10.4236/jamp.2019.77102 874 Downloads 3,076 Views Citations
IEC 61850 SCL Validation Using UML Model in Modern Digital Substation (Articles)

Byungtae Jang, Alidu Abubakari, Namdae Kim

Smart Grid and Renewable Energy Vol.9 No.8, August 30, 2018

DOI: 10.4236/sgre.2018.98009 3,209 Downloads 9,201 Views Citations
Analysis of Higher Order System with Impulse Exciting Functions in Z-Domain (Articles)

Branislav Dobrucký, Pavol Štefanec, Mariana Beňová, Oleg V. Chernoyarov, Michal Pokorný

Circuits and Systems Vol.7 No.11, September 30, 2016

DOI: 10.4236/cs.2016.711328 1,569 Downloads 2,769 Views Citations
Pedestrian Flow Simulation Validation and Verification Techniques (Articles)

Mohamed H. Dridi

Current Urban Studies Vol.3 No.2, June 16, 2015

DOI: 10.4236/cus.2015.32011 3,840 Downloads 5,764 Views Citations
Can Engineers Build AI/ML Systems? Analysis and an Alternative Approach (Articles)

Nikolaos Panagiotopoulos

Open Journal of Philosophy Vol.13 No.3, August 4, 2023

DOI: 10.4236/ojpp.2023.133034 302 Downloads 1,511 Views Citations
A Hybrid Backward Euler Control Volume Method to Solve the Concentration-Dependent Solid-State Diffusion Problem in Battery Modeling (Articles)

Kudakwashe Chayambuka, Grietus Mulder, Dmitri L. Danilov, Peter H. L. Notten

Journal of Applied Mathematics and Physics Vol.8 No.6, June 5, 2020

DOI: 10.4236/jamp.2020.86083 606 Downloads 2,001 Views Citations
This article belongs to the Special Issue on Mathematical Physical Model and Method
YOLOv8 for Fire and Smoke Recognition Algorithm Integrated with the Convolutional Block Attention Module (Articles)

Zhangchi Liu, Risheng Zhang, Hao Zhong, Yingjie Sun

Open Journal of Applied Sciences Vol.14 No.1, January 31, 2024

DOI: 10.4236/ojapps.2024.141012 798 Downloads 2,897 Views Citations
A Proof of a Conjecture and Twenty-Five Conjectures in Number Theory (Articles)

Zhongqi Zhou

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

DOI: 10.4236/oalib.1112171 67 Downloads 736 Views Citations
A Logical Treatment of Non-Termination and Program Behaviour (Articles)

Martin Ward, Hussein Zedan

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

DOI: 10.4236/jsea.2014.77051 4,460 Downloads 5,638 Views Citations
This article belongs to the Special Issue on Programming Languages
Mapping AADL to Petri Net Tool-Sets Using PNML Framework (Articles)

Hassan Reza, Amrita Chatterjee

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

DOI: 10.4236/jsea.2014.711082 5,855 Downloads 7,568 Views Citations
Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems (Articles)

Meenakshi Sridhar, Naseeb Singh Gill

Journal of Software Engineering and Applications Vol.8 No.9, September 25, 2015

DOI: 10.4236/jsea.2015.89047 5,230 Downloads 6,701 Views Citations
On Quantitative Approach to Parametric Identifiability of Dual HIV-Parasitoid Infectivity Model (Articles)

Bassey E. Bassey, Lebedev K. Andreyevich

Open Access Library Journal Vol.3 No.8, August 19, 2016

DOI: 10.4236/oalib.1102931 1,156 Downloads 1,993 Views Citations
Seasonal Prediction of Tropical Cyclones and Storms over the Southwestern Indian Ocean Region Using the Generalized Linear Models (Articles)

Kombo Hamad Kai, Yohanna Wilson Shaghude, Christian Bs Uiso, Agnes Laurent Kijazi, Sarah Osima, Sara Abdalla Khamis, Asya Omar Hamad

Atmospheric and Climate Sciences Vol.13 No.2, March 13, 2023

DOI: 10.4236/acs.2023.132008 629 Downloads 1,926 Views Citations
Nonlinear Refraction of Peripheral-Substituted Zinc Phthalocyanines Investigated by Nanosecond and Picose-cond Z Scans (Articles)

Yunjing Li, Timothy M Pritchett, Jiandong Huang, Meirong Ke, Wenfang Sun

Optics and Photonics Journal Vol.1 No.2, June 29, 2011

DOI: 10.4236/opj.2011.12011 4,424 Downloads 8,810 Views Citations
Islay3D—A Programming Environment for Authoring Interactive 3D Animations in Terms of State-Transition Diagram (Articles)

Dandy Ling Kwong, Michitoshi Niibori, Shusuke Okamoto, Masaru Kamada, Tatsuhiro Yonekura

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

DOI: 10.4236/jsea.2014.73019 3,388 Downloads 5,392 Views Citations
Charged Colloidal Rods Out of Equilibrium (Review)

Kyongok Kang

Advances in Chemical Engineering and Science Vol.5 No.1, January 7, 2015

DOI: 10.4236/aces.2015.51003 4,922 Downloads 5,988 Views Citations

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