Model checking visual specification of requirements
暂无分享,去创建一个
[1] Desmond D'Souza,et al. Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .
[2] Ivar Jacobson,et al. Unified Modeling Language , 2020, Definitions.
[3] Leslie Lamport,et al. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.
[4] Stuart Kent,et al. Constraint diagrams: visualizing invariants in object-oriented models , 1997, OOPSLA '97.
[5] Gabriele Taentzer,et al. A Visualization of OCL Using Collaborations , 2001, UML.
[6] Stuart Kent,et al. Spider Diagrams: A Diagrammatic Reasoning System , 2001, J. Vis. Lang. Comput..
[7] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[8] Anneke Kleppe,et al. The object constraint language: precise modeling with UML , 1998 .
[9] Gabriele Taentzer,et al. Consistency Checking and Visualization of OCL Constraints , 2000, UML.
[10] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.
[11] Stuart Kent,et al. Constraint Diagrams: Visualizing Assertions in Object-Oriented Models , 1997, OOPSLA.