Diagrammatic Representations in Domain-Specific Languages (2000)

View PDF

Download Links

by Konstantinos Tourlas
Citations:1 - 1 self

Active Bibliography

2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
2334 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
541 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
700 A Methodology for Agent-Oriented Analysis and Design – Michael Wooldridge , Nicholas R. Jennings, David Kinny - 1999
531 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000
561 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
575 On Visual Formalisms – David Harel - 1988
558 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997