ask others

Formal Aspects of Computing, Volume 15

> Home > Journals > Formal Aspects of Computing

Volume 15, Number 1, July 2003

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/DerrickS03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/DerrickS03
John Derrick, Graeme Smith:
Structural Refinement of Systems Specified in Object-Z and CSP. 1-27
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/OliveiraCW03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/OliveiraCW03
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
ArcAngel: a Tactic Language for Refinement. 28-47
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/HensonR03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/HensonR03
Martin C. Henson, Steve Reeves:
A Logic for Schema-Based Program Development. 48-83
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/HeX03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/HeX03
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
  dblp key:
  - journals/fac/X03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/X03
Editorial. 101-102
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/BackW03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/BackW03
Ralph-Johan Back, Joakim von Wright:
Compositional Action System Refinement. 103-117
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/DaviesC03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/DaviesC03
Jim Davies, Charles Crichton:
Concurrency and Refinement in the Unified Modeling Language. 118-145
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/CavalcantiSW03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/CavalcantiSW03
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
A Refinement Strategy for Circus. 146-181
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/DerrickB03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/DerrickB03
John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement. 182-214
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Sekerinski03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/Sekerinski03
Emil Sekerinski:
Exploring Tabular Verification and Refinement. 215-236
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Borger03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/Borger03
Egon Börger:
The ASM Refinement Method. 237-257
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/WildmanFC03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/WildmanFC03
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
  dblp key:
  - journals/fac/Aichernig03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/Aichernig03
Bernhard K. Aichernig:
Mutation Testing in the Refinement Calculus. 280-295

Volume 15, Number 4, December 2003

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/BroyLM03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/BroyLM03
Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial: Where Theory and Practice Meet. 297-298
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/GayN03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/GayN03
Simon J. Gay, Rajagopal Nagarajan:
Intensional and Extensional Semantics of Dataflow Programs. 299-318
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/LermerFH03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/LermerFH03
Karl Lermer, Colin J. Fidge, Ian J. Hayes:
Linear Approximation of Execution-Time Constraints. 319-348
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Janneck03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/Janneck03
Jörn W. Janneck:
Actors and their Composition. 349-369
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/BosK03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/BosK03
Victor Bos, J. J. T. Kleijn:
Redesign of a Systems Engineering Language: Formalisation of X. 370-389
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/FranzleNMD03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/FranzleNMD03
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
  dblp key:
  - journals/fac/Gordon03
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/fac/Gordon03
Michael J. C. Gordon:
Validating the PSL/Sugar Semantics Using Automated Reasoning. 406-421