Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification-Reference-Cited by-同舟云学术

Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification

Published:2004-02 Issue:1-2 Volume:70 Page:95-105
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Gruer Juan Pablo,Hilaire V.,Koukam A.,Rovarini P.

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference19 articles.

1. Bjorner, N., Manna, Z., Sipma, H.B., Uribe, T.E., 1998. Deductive verification of real-time systems using STeP. Technical Report STAN-CS-TR-98-1616, Computer Science Department, Stanford University

2. An open environment for the integration of hetereogenous modelling techniques and tools;Bussow;FM-Trends,1998

3. Bussow, R., Grieskamp, W., Klar, M., The uSZ notation––version 1.0

4. Campero, R., 2000. On the translation of system specifications from statecharts to transition systems, Master in Computer Engineering, Universite de Technologie de Belfort-Montbeliard

5. Object-Z: a specification language advocated for the description of standards;Duke;Computer Standards and Interfaces,1995

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dash: declarative behavioural modelling in Alloy with control state hierarchy;Software and Systems Modeling;2022-08-06

2. An approach for the integration of swarm intelligence in MAS: An engineering perspective;Expert Systems with Applications;2013-03

3. The Object-Z Specification Language;Texts in Computer Science;2011

4. Formal specification of an immune based agent architecture;Engineering Applications of Artificial Intelligence;2010-06

5. ASPECS: an agent-oriented software process for engineering complex systems;Autonomous Agents and Multi-Agent Systems;2009-06-07