| Directory > Computers > Programming > Languages > Synchronous Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
By R.J. Wieringa; Morgan Kaufmann, 2002, ISBN 1558607552. Shows how techniques and approaches of 3
most popular design methods can be mixed in flexible, problem-driven way; more examples on
companion website. [Morgan Kaufmann]
http://books.elsevier.com/us/mk/us/subindex.asp?isbn=1558607552
Reviews Rating: Not yet Rated
Whois Check
Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
Descriptions, reviews, purchase source. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/1558607552
Reviews Rating: Not yet Rated
Whois Check
Synchronous Programming of Reactive Systems
Descriptions, reviews, purchase source. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0792393112
Reviews Rating: Not yet Rated
Whois Check
Synchronous Programming of Reactive Systems
Nicolas Halbwachs; Kluwer Academic Publishers, 1992, ISBN 0792393112. Presents synthesis of recent
works on reactive system design, a term introduced to avoid ambiguities often involved with term
realtime. [Kluwer]
http://www.wkap.nl/prod/b/0-7923-9311-2
Reviews Rating: Not yet Rated
Whois Check
Unification of Synchronous and Asynchronous Models for Parallel Programming Languages
Thesis proposing parallel language, based on C, that lets programmers explicitly specify and manage
parallelism on a broad class of architectures. [Purdue University]
http://www.ece.purdue.edu/~hankd/CARP/XPC/paper.html
Reviews Rating: Not yet Rated
Whois Check
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
Abstract on paper on reactive kernels making the central, hardest part of reactive systems; Esterel
is not full language, it is a program generator used to program reactive kernels as YACC programs
parsers from grammars. [ResearchIndex]
http://citeseer.nj.nec.com/berry92esterel.html
Reviews Rating: Not yet Rated
Whois Check
The Synchronous Programming Language Signal: A Tutorial
For this declarative language, for realtime uses: reactive, embedded systems. Synchronous languages
are opposite to the asynchronous types, as in C, Ada. Five chapters. Paper, PDF format.
http://www.irisa.fr/espresso/source/logiciels/SignalPrimer.pdf
Reviews Rating: Not yet Rated
Whois Check
The Multi-Paradigm Synchronous Programming Language LEA
To program synchronous reactive systems, made by merging 3 existing synchronous languages (Lustre,
Esterel, Argos) by uniform translation rules to a common intermediate format called Boolean
automata. Paper, PDF format.
http://www.ais.fraunhofer.de/~ap/papers/LEA.pdf
Reviews Rating: Not yet Rated
Whois Check
Synchronous Languages at Verimag
Languages and reactive systems laboratory: research topics, papers, tools, people, industrial and
academic cooperations, projects/contracts. France.
http://www-verimag.imag.fr/SYNCHRONE/
Reviews Rating: Not yet Rated
Whois Check
Argos and Argonaute
Argos: imperative synchronous language developed at Verimag. Argonaute: programming environment
based on it, with compiler and some connections to verification tools. Aim: study, implement 2
mixed languages: Argos + Esterel/Lustre.
http://www-verimag.imag.fr//SYNCHRONE/argonaute-english.html
Reviews Rating: Not yet Rated
Whois Check
Lustre
Declarative synchronous language, kernel language of SCADE (was SAO+/SAGA) industrial environment
developed by Esterel Technologies; a description is a set of equations that must be verified
always by program variables. [Verimag]
http://www-verimag.imag.fr//SYNCHRONE/lustre-english.html
Reviews Rating: Not yet Rated
Whois Check
SyncCharts
Graphical formalism (name of model, a syncChart is an instance) dedicated to reactive system
modeling. Many features inherited from StateCharts, Argos. Brief introduction, related
publications, distribution, downloads.
http://www.i3s.unice.fr/sports/SyncCharts/
Reviews Rating: Not yet Rated
Whois Check
Esterel
Synchronous language and compiler, translates source code into complex state machines (software or
hardware) automatically; can cut cost and development time of embedded systems by 50%. Recreates
hijacked esterel.org website.
http://www.softwaresafety.net/Esterel.org/esterel.html
Reviews Rating: Not yet Rated
Whois Check
|
