Science of Computer Programming, Volume 28

Volume 28, Number 1, January 1997

• Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle: The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations. 1-41 BibTeX
• Steve Schneider: Timewise Refinement for Communicating Processes. 43-90 BibTeX

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