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
  

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