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
• Steve Schneider: Timewise Refinement for Communicating Processes. 43-90

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