Formal Aspects of Computing, Volume 15

Volume 15, Number 1, July 2003

• John Derrick, Graeme Smith:
  Structural Refinement of Systems Specified in Object-Z and CSP. 1-27
  Electronic Edition (link) BibTeX
• Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
  ArcAngel: a Tactic Language for Refinement. 28-47
  Electronic Edition (link) BibTeX
• Martin C. Henson, Steve Reeves:
  A Logic for Schema-Based Program Development. 48-83
  Electronic Edition (link) BibTeX
• Jifeng He, Qiwen Xu:
  Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. 84-99
  Electronic Edition (link) BibTeX

Volume 15, Numbers 2-3, November 2003

• Editorial. 101-102
  Electronic Edition (link) BibTeX
• Ralph-Johan Back, Joakim von Wright:
  Compositional Action System Refinement. 103-117
  Electronic Edition (link) BibTeX
• Jim Davies, Charles Crichton:
  Concurrency and Refinement in the Unified Modeling Language. 118-145
  Electronic Edition (link) BibTeX
• Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
  A Refinement Strategy for Circus. 146-181
  Electronic Edition (link) BibTeX
• John Derrick, Eerke A. Boiten:
  Relational Concurrent Refinement. 182-214
  Electronic Edition (link) BibTeX
• Emil Sekerinski:
  Exploring Tabular Verification and Refinement. 215-236
  Electronic Edition (link) BibTeX
• Egon Börger:
  The ASM Refinement Method. 237-257
  Electronic Edition (link) BibTeX
• Luke Wildman, Colin J. Fidge, David A. Carrington:
  The Variety of Variables in Automated Real-Time Refinement. 258-279
  Electronic Edition (link) BibTeX
• Bernhard K. Aichernig:
  Mutation Testing in the Refinement Calculus. 280-295
  Electronic Edition (link) BibTeX

Volume 15, Number 4, December 2003

• Manfred Broy, Gerald Lüttgen, Michael Mendler:
  Editorial: Where Theory and Practice Meet. 297-298
  Electronic Edition (link) BibTeX
• Simon J. Gay, Rajagopal Nagarajan:
  Intensional and Extensional Semantics of Dataflow Programs. 299-318
  Electronic Edition (link) BibTeX
• Karl Lermer, Colin J. Fidge, Ian J. Hayes:
  Linear Approximation of Execution-Time Constraints. 319-348
  Electronic Edition (link) BibTeX
• Jörn W. Janneck:
  Actors and their Composition. 349-369
  Electronic Edition (link) BibTeX
• Victor Bos, J. J. T. Kleijn:
  Redesign of a Systems Engineering Language: Formalisation of X. 370-389
  Electronic Edition (link) BibTeX
• Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm:
  A Semantics for Distributed Execution of Statemate. 390-405
  Electronic Edition (link) BibTeX
• Michael J. C. Gordon:
  Validating the PSL/Sugar Semantics Using Automated Reasoning. 406-421
  Electronic Edition (link) BibTeX