Formal Aspects of Computing, Volume 15

Volume 15, Number 1, July 2003

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/DerrickS03
- ask others
John Derrick, Graeme Smith: Structural Refinement of Systems Specified in Object-Z and CSP. 1-27
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/OliveiraCW03
- ask others
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock: ArcAngel: a Tactic Language for Refinement. 28-47
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/HensonR03
- ask others
Martin C. Henson, Steve Reeves: A Logic for Schema-Based Program Development. 48-83
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/HeX03
- ask others
Jifeng He, Qiwen Xu: Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. 84-99

Volume 15, Numbers 2-3, November 2003

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/X03
- ask others
Editorial. 101-102
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BackW03
- ask others
Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. 103-117
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/DaviesC03
- ask others
Jim Davies, Charles Crichton: Concurrency and Refinement in the Unified Modeling Language. 118-145
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/CavalcantiSW03
- ask others
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: A Refinement Strategy for Circus. 146-181
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/DerrickB03
- ask others
John Derrick, Eerke A. Boiten: Relational Concurrent Refinement. 182-214
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Sekerinski03
- ask others
Emil Sekerinski: Exploring Tabular Verification and Refinement. 215-236
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Borger03
- ask others
Egon Börger: The ASM Refinement Method. 237-257
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/WildmanFC03
- ask others
Luke Wildman, Colin J. Fidge, David A. Carrington: The Variety of Variables in Automated Real-Time Refinement. 258-279
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Aichernig03
- ask others
Bernhard K. Aichernig: Mutation Testing in the Refinement Calculus. 280-295

Volume 15, Number 4, December 2003

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BroyLM03
- ask others
Manfred Broy, Gerald Lüttgen, Michael Mendler: Editorial: Where Theory and Practice Meet. 297-298
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/GayN03
- ask others
Simon J. Gay, Rajagopal Nagarajan: Intensional and Extensional Semantics of Dataflow Programs. 299-318
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/LermerFH03
- ask others
Karl Lermer, Colin J. Fidge, Ian J. Hayes: Linear Approximation of Execution-Time Constraints. 319-348
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Janneck03
- ask others
Jörn W. Janneck: Actors and their Composition. 349-369
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BosK03
- ask others
Victor Bos, J. J. T. Kleijn: Redesign of a Systems Engineering Language: Formalisation of X. 370-389
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/FranzleNMD03
- ask others
Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm: A Semantics for Distributed Execution of Statemate. 390-405
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Gordon03
- ask others
Michael J. C. Gordon: Validating the PSL/Sugar Semantics Using Automated Reasoning. 406-421