Volume 5,
Number 1,
1993
Special Issue:
Real-Time Language and Language-Level Timing Tools and Analysis
Volume 5,
Number 2-3,
1993
Special Issue:
Incremental Prototyping Technology for Embedded Real-Time Systems
- Sandro Bologna:
Guest Introduction: The IPTES Project.
135-137 BibTeX
- Petri Pulli, René Elmstrøm:
IPTES: A Concurrent Engineering Approach for Real-Time Software Development.
139-152 BibTeX
- Gonzalo León, Juan C. Dueñas, Juan Antonio de la Puente, Nabil Zakhama, Alejandro Alonso:
The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping.
153-171 BibTeX
- Petri Pulli, Marko Heikkinen, Raino Lintulampi:
Graphical Animation as a Form of Prototyping Real-Time Software Systems.
173-195 BibTeX
- René Elmstrøm, Poul Bøgh Lassen, Michael Andersen:
An Executable Subset of VDM-SL, in an SA/RT Framework.
197-211 BibTeX
- Juan Antonio de la Puente, Alejandro Alonso, Gonzalo León, Juan C. Dueñas:
Distributed Execution of Specifications.
213-234 BibTeX
- Miguel Felder, Carlo Ghezzi, Mauro Pezzè:
High-Level Timed Petri Nets as a Kernel for Executable Specifications.
235-248 BibTeX
- René Elmstrøm, Raino Lintulampi, Mauro Pezzè:
Giving Semantics to SA/RT by Means of High-Level Times Petri Nets.
249-271 BibTeX
Volume 5,
Number 4,
1993
Copyright © Sun May 17 00:18:15 2009
by Michael Ley (ley@uni-trier.de)
