Formal Aspects of Computing (0) |
- (1993) Formal Aspects of Computing 5(3) pp181-207, 1993
- A. Hense (1993)A. Hense "Denotational Semantics of an Object-Oriented Programming Language with Explicit Wrappers" pp181-207
- (1993) Formal Aspects of Computing 5(5) 1993
- Weber, Matthias (1993)Weber, Matthias "Definition and Basic Properties of the Deva Meta-Calculus" pp391-431
- (1995) Formal Aspects of Computing 7(5) 1995
- Howard Barringer, Michael Fisher, Dov M. Gabbay, G (1995)Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: "METATEM: An Introduction" pp533-549
- Smith, G. (1995)Smith, G. "A fully abstract semantics of classes for Object-Z" pp289-313
- (2002) Formal Aspects of Computing 13(2) May 2002
- Derrick, John and Boiten, Eerke (2002)Derrick, John and Boiten, Eerke "Combining Component Specifications in Object-Z and CSP"
- Mahony, Brendan and Jin Song Dong (2002)Mahony, Brendan and Jin Song Dong "Deep Semantic Links of TCSP and Object-Z: TCOZ Approach" pp142-160
- Smith, Graeme and Hayes, Ian (2002)Smith, Graeme and Hayes, Ian "An Introduction to Real-Time Object-Z" pp128-141
- (2002) Formal Aspects of Computing 13(3-5) July 2002
- Bidoit, Michel; Sannella, Donald; Tarlecki, Andrze (2002)Bidoit, Michel; Sannella, Donald; Tarlecki, Andrzej "Architectural Specifications in CASL" pp252-273
- MacQueen, David (2002)MacQueen, David "Should ML be Object-Oriented?" pp214-232
- Popplestone (2002)Popplestone, Robin "POP, A Broad-Spectrum Programming Language, 1967-2002" pp196-213
|
|