Volume 28, Number 1, January 1997
Volume 28, Numbers 2-3, April 1997
- Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski:
Foreword.
91

- 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

- José Luiz Fiadeiro, T. S. E. Maibaum:
Categorical Semantics of Parallel Program Design.
111-138

- Michal Iglewski, Janina Mincer-Daszkiewicz:
Internal Design of Modules Specified in the Trace Assertion Method.
139-170

- Jifeng He, Karen Seidel, Annabelle McIver:
Probabilistic Models for the Guarded Command Language.
171-192

- Feliks Kluzniak, Miroslawa Milkowska:
Spill - A Logic Language for Writing Testable Requirements Specifications.
193-223

- Piotr Kosiuczenko, Martin Wirsing:
Timed Rewriting Logic with an Application to Object-Based Specification.
225-246

- Peter Pepper, Douglas R. Smith:
A High-Level Derivation of Global Search Algorithms (with Constraint Propagation).
247-271

- Jeannette M. Wing, Mandana Vaziri:
A Case study in Model Checking Software Systems.
273-299

Last update Fri May 17 20:44:49 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page