An OCL Extension for Real-Time Constraints
暂无分享,去创建一个
[1] John D. McGregor,et al. Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms , 2000 .
[2] Stephan Merz,et al. Model Checking , 2000 .
[3] Thomas Kropf,et al. Symbolic model checking for a discrete clocked temporal logic with intervals , 1997, CHARME.
[4] Bernhard Rumpe,et al. «UML»’99 — The Unified Modeling Language , 2003, Lecture Notes in Computer Science.
[5] Joost-Pieter Katoen,et al. On a Temporal Logic for Object-Based Systems , 2000, FMOODS.
[6] Ramez Elmasri,et al. Fundamentals of Database Systems , 1989 .
[7] Martin Gogolla,et al. A Metamodel for OCL , 1999, UML.
[8] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[9] Udo Brockmeyer,et al. Tamagotchis Need Not Die - Verification of STATEMENT Design , 1998, TACAS.
[10] Thomas Baar,et al. An Integrated Metamodel for OCL Types , 2000 .
[11] Bernhard Beckert,et al. The Approach: Integrating Object-oriented Design and Formal Verification (cid:3) , 2007 .