default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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 - Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
ArcAngel: a Tactic Language for Refinement. 28-47 - Martin C. Henson, Steve Reeves:
A Logic for Schema-Based Program Development. 48-83 - 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
- Editorial. 101-102
- Ralph-Johan Back, Joakim von Wright:
Compositional Action System Refinement. 103-117 - Jim Davies, Charles Crichton:
Concurrency and Refinement in the Unified Modeling Language. 118-145 - Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
A Refinement Strategy for Circus. 146-181 - John Derrick, Eerke A. Boiten:
Relational Concurrent Refinement. 182-214 - Emil Sekerinski:
Exploring Tabular Verification and Refinement. 215-236 - Egon Börger:
The ASM Refinement Method. 237-257 - Luke Wildman, Colin J. Fidge, David A. Carrington:
The Variety of Variables in Automated Real-Time Refinement. 258-279 - Bernhard K. Aichernig:
Mutation Testing in the Refinement Calculus. 280-295
Volume 15, Number 4, December 2003
- Manfred Broy, Gerald Lüttgen, Michael Mendler:
Editorial: Where Theory and Practice Meet. 297-298 - Simon J. Gay, Rajagopal Nagarajan:
Intensional and Extensional Semantics of Dataflow Programs. 299-318 - Karl Lermer, Colin J. Fidge, Ian J. Hayes:
Linear Approximation of Execution-Time Constraints. 319-348 - Jörn W. Janneck:
Actors and their Composition. 349-369 - Victor Bos, J. J. T. Kleijn:
Redesign of a Systems Engineering Language: Formalisation of X. 370-389 - Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm:
A Semantics for Distributed Execution of Statemate. 390-405 - Michael J. C. Gordon:
Validating the PSL/Sugar Semantics Using Automated Reasoning. 406-421
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-27 22:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
