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

Mapping UML 2.0 Activities to Zero-Safe Nets (Articles)

Sabine Boufenara, Faiza Belala, Kamel Barkaoui

Journal of Software Engineering and Applications Vol.3 No.5, May 24, 2010

DOI: 10.4236/jsea.2010.35048 5,190 Downloads 9,772 Views Citations
Developing Systems by Using Object Oriented DatabasePractical Study on ISO 9001:2000 System (Articles)

Kamel Khoualdi, Thoria Alghamdi

Journal of Software Engineering and Applications Vol.4 No.12, December 5, 2011

DOI: 10.4236/jsea.2011.412078 5,128 Downloads 8,934 Views Citations
Resources Allocation and Failures in Step Topology under Distributed Computing System (Articles)

Taskeen Zaidi, Vipin Saxena

Journal of Software Engineering and Applications Vol.6 No.1, January 30, 2013

DOI: 10.4236/jsea.2013.61002 5,109 Downloads 7,763 Views Citations
Log-Time Sampling of Signals: Zeta Transform (Articles)

Hannu Olkkonen, Juuso T. Olkkonen

Open Journal of Discrete Mathematics Vol.1 No.2, July 5, 2011

DOI: 10.4236/ojdm.2011.12008 5,336 Downloads 10,254 Views Citations
Impact of Vector-Current Interactions on the QCD Phase Diagram (Articles)

Thomas Hell, Kouji Kashiwa, Wolfram Weise

Journal of Modern Physics Vol.4 No.5, May 27, 2013

DOI: 10.4236/jmp.2013.45093 3,709 Downloads 5,899 Views Citations
Critical Line Back-Bending Induced either by Finite N_c Corrections or by a Repulsive Vector Channel (Articles)

Robson Z. Denke, Juan Camilo Macias, Marcus Benghi Pinto

Journal of Modern Physics Vol.4 No.12, December 19, 2013

DOI: 10.4236/jmp.2013.412195 3,915 Downloads 5,523 Views Citations
Strategies to Cultivate Generation Z Talent in Marketing under the Big Data Era (Articles)

Fan Mo

Open Access Library Journal Vol.9 No.1, January 6, 2022

DOI: 10.4236/oalib.1108157 343 Downloads 2,321 Views Citations
How Can SMEs in Vietnam Use Facebook as a Marketing Tool to Reach Generation Z? (Articles)

Elizabeth Nguyen

Open Journal of Business and Management Vol.12 No.1, January 15, 2024

DOI: 10.4236/ojbm.2024.121011 347 Downloads 1,952 Views Citations
Wenxiang: a web-server for drawing wenxiang diagrams (Articles)

Kuo-Chen Chou, Wei-Zhong Lin, Xuan Xiao

Natural Science Vol.3 No.10, October 13, 2011

DOI: 10.4236/ns.2011.310111 10,342 Downloads 17,257 Views Citations
Citizen-Centric Complaint Reporting and Analyzing Mechanism (Articles)

Ahsan Ullah, Tonmoy Singha, Hamidur Rahman Sarker, Fatema Jahan Pia, Afzal Hossain

Journal of Software Engineering and Applications Vol.16 No.6, June 30, 2023

DOI: 10.4236/jsea.2023.166013 365 Downloads 2,259 Views Citations
New 5-Alkenyl Resorcinols from Lithraea molleoides (Vell). Eng. (Articles)

Alejandra Catalano, Beatriz Lantaño, Lucas Fabián, Paula López

American Journal of Plant Sciences Vol.11 No.6, June 29, 2020

DOI: 10.4236/ajps.2020.116062 544 Downloads 1,558 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 358 Downloads 1,278 Views Citations
A Co-verification Method Based on TWCNP-OS for Two-way Cable Network SOC (Articles)

Chong LI, Xiaotong ZHANG, Yadong WAN, Qin WANG

International Journal of Communications, Network and System Sciences Vol.1 No.2, July 10, 2008

DOI: 10.4236/ijcns.2008.12024 5,475 Downloads 9,958 Views Citations
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models (Articles)

Mohamed El-Kamel Hamdane, Allaoui Chaoui, Martin Strecker

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

DOI: 10.4236/jsea.2013.63019 4,568 Downloads 8,778 Views Citations
A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification (Articles)

Tim Warnecke

Engineering Vol.7 No.10, October 26, 2015

DOI: 10.4236/eng.2015.710056 2,974 Downloads 4,027 Views Citations
Some Studies on the Lorentz Theory of Radiation Reaction in Relation to a Charged Particle Acted on by a Constant Force in a Finite Time Interval (Articles)

Rajat Roy

Open Access Library Journal Vol.3 No.2, February 4, 2016

DOI: 10.4236/oalib.1102334 1,005 Downloads 2,079 Views Citations
Verification of Mongolian Cyclone-Induced Snowstorm Model Forecast in Jilin Province, China (Articles)

Dongxue Fu, Xueyan Yang, Ning Wang, Yao Yao

Journal of Geoscience and Environment Protection Vol.5 No.8, July 21, 2017

DOI: 10.4236/gep.2017.58003 969 Downloads 1,951 Views Citations
Accuracy Comparison of 4D Computed Tomography (4DCT) and 4D Cone Beam Computed Tomography (4DCBCT) (Articles)

Tzu-Cheng Lee, Stephen R. Bowen, Sara St. James, George A. Sandison, Paul E. Kinahan, Matthew J. Nyflot

International Journal of Medical Physics, Clinical Engineering and Radiation Oncology Vol.6 No.3, August 30, 2017

DOI: 10.4236/ijmpcero.2017.63029 2,470 Downloads 5,705 Views Citations
Research and Application of Supercapacitor Charging System (Articles)

Minghai Duan, Xiaoxiao Cao, Qiyu Zhang, Xiaohui Chen

Open Access Library Journal Vol.5 No.4, April 20, 2018

DOI: 10.4236/oalib.1104544 997 Downloads 3,681 Views Citations
A Matlab/Simulink Development and Verification Platform for a Frequency Estimation System (Articles)

Yingtai Li, Lisheng Yang, Xin Lei, Rui Ma, Luncai Liu, Fan Liu, Yao Yao

Journal of Computer and Communications Vol.6 No.11, November 19, 2018

DOI: 10.4236/jcc.2018.611010 1,507 Downloads 4,216 Views Citations

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