Browse by Journal
Number of items: 6.
B
Bolognesi, Tommaso, Derrick, John (1998) Constraint-oriented style for object-oriented formal specification. IEE Proceedings: Software, 145 (2-3). pp. 61-69. ISSN 1462-5970. (doi:10.1049/ip-sen:19986907) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21669) |
Barnes, Frederick R.M., Welch, Peter H. (2003) Prioritised Dynamic Communicating and Mobile Processes. IEE Proceedings: Software, 150 (2). pp. 121-136. ISSN 1462-5970. (doi:10.1049/ip-sen:20030182) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13996) |
C
Cavalcanti, Ana L. C., Woodcock, Jim (2003) Predicate transformers in the semantics of Circus. IEE Proceedings: Software, 150 (1). ISSN 1462-5970. (doi:10.1049/ip-sen:20030131) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14005) |
K
Kent, Stuart, Gil, Y. (1998) Visualising Action Contracts in OO Modelling. In: IEE Proceedings: Software. 145 , 145 (2-3). pp. 70-78. (KAR id:21672) |
T
Taylor, Chris, Boiten, Eerke Albert, Derrick, John (2002) ODP computational-to-information viewpoint mappings: a translation of CORBA IDL to Z. IEE Proceedings: Software, 149 (2). pp. 57-64. ISSN 1462-5970. (doi:10.1049/ip-sen:20020318) (KAR id:13801) |
W
Waters, A. Gill, Linington, Peter F., Akehurst, David H., Utton, Peter, Martin, Gino (2001) Permabase: predicting the performance of distributed systems at the design stage. IEE Proceedings: Software, 148 (4). pp. 113-121. ISSN 1462-5970. (doi:10.1049/ip-sen:20010553) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13574) |