Diagrammatic Representations in Domain-Specific Languages (2000)

Cached

Download Links

by Konstantinos Tourlas
Citations:1 - 1 self

Active Bibliography

80 Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE – Nicolas Halbwachs, Fabienne Lagnier, Christophe RATEL - 1994
8 Introducing control in the gaspard2 data-parallel metamodel: Synchronous approach – Ouassila Labbani, Jean-luc Dekeyser, Pierre Boulet, Éric Rutten - 2005
Adviser – Adviser Prof, Roberto Ierusalimschy, Prof Roberto Ierusalimschy, Prof Edward, Hermann Haeusler, Prof Renato, Fontoura Gusmão Cerqueira, Prof José, Eugenio Leal, Coordinator Centro, Técnico Científico Puc–rio, Francisco Figueiredo
25 Argos: an automaton-based synchronous language – Florence Maraninchi , Yann Remond - 2001
Docteur de l’Université De Grenoble Discipline Informatique – Directeurs Farid, Ouabdesselam Ioannis Parissis, Lalanda Professeur, Université Joseph, Fourier Président, Mme Odile, Laurent Airbus, France Examinateur, M. Yves, Le Traon, Professeur Université, Mme Virginie, Wiels Chercheur, M. Farid, Ouabdesselam Professeur, Université Joseph, Fourier Examinateur - 2010
26 Models of Computation for Embedded System Design – Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen Sentovich - 1998
92 The synchronous languages twelve years later – Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone - 2003
6 Software Implementation of Synchronous Programs – Charles André, Frédéric Boulanger, Alain Girault - 2001
21 Design and Specification of Embedded Systems In Java Using Successive, . . . – James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul Hilfinger, A. Richard Newton - 1998
State-Transition Based Techniques for Specifying Real-Time Systems: A Review – A. Sowmya, J. Zic
Programming Languages: Specification – Basant Rajan - 1998
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
The Hume Report, Version 0.2 – Greg Michaelson, Kevin Hammond - 2001
The Hume Report, Version 1.1 – Kevin Hammond, Greg Michaelson, Robert Pointon
1 Representation of Synchronous, Asynchronous, and Polychronous Components by Clocked Guarded Actions – Jens Brandt, et al.
Formal System Design Based on the Synchrony Hypothesis, Functional Models, and Skeletons – Ingo Sander Axel, Ingo S, Axel Jantsch - 1999
2 Formal System Design Based on the Synchrony Hypothesis, Functional Models, and Skeletons – Ingo Sander, Ingo S, Axel Jantsch - 1999
14 System Synthesis Based on a Formal Computational Model and Skeletons – Ingo Sander, Ingo S, Axel Jantsch - 1999
91 Operational and Compositional Semantics of Synchronous Automaton Compositions – Florence Maraninchi - 1992