Volume 28,
Number 1,
January 1997
Volume 28,
Numbers 2-3,
April 1997
- Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski:
Foreword.
91 BibTeX
- André Arnold, Didier Bégay, Jean-Pierre Radoux:
The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project.
93-110 BibTeX
- José Luiz Fiadeiro, T. S. E. Maibaum:
Categorical Semantics of Parallel Program Design.
111-138 BibTeX
- Michal Iglewski, Janina Mincer-Daszkiewicz:
Internal Design of Modules Specified in the Trace Assertion Method.
139-170 BibTeX
- Jifeng He, Karen Seidel, Annabelle McIver:
Probabilistic Models for the Guarded Command Language.
171-192 BibTeX
- Feliks Kluzniak, Miroslawa Milkowska:
Spill - A Logic Language for Writing Testable Requirements Specifications.
193-223 BibTeX
- Piotr Kosiuczenko, Martin Wirsing:
Timed Rewriting Logic with an Application to Object-Based Specification.
225-246 BibTeX
- Peter Pepper, Douglas R. Smith:
A High-Level Derivation of Global Search Algorithms (with Constraint Propagation).
247-271 BibTeX
- Jeannette M. Wing, Mandana Vaziri:
A Case study in Model Checking Software Systems.
273-299 BibTeX
Copyright © Sun May 17 00:18:39 2009
by Michael Ley (ley@uni-trier.de)