Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | C | H | W

Number of items: 6.

B

Bowman, Howard, Derrick, John, Brinksma, E. (2000) Guest Editors Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. (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:22006)

Bowman, Howard, Derrick, John, Brinksma, E. (2000) Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. ISSN 0098-5589. (doi:10.1109/TSE.2000.859528) (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:16156)

C

Chari, Guido, Garbervetsky, Diego, Marr, Stefan, Ducasse, Stéphane (2018) Fully Reflective Execution Environments: Virtual Machines for More Flexible Software. IEEE Transactions on Software Engineering, 45 (9). pp. 858-876. ISSN 0098-5589. E-ISSN 1939-3520. (doi:10.1109/TSE.2018.2812715) (KAR id:66604)

Cavalcanti, Ana L. C., Naumann, David A. (2000) A Weakest Precondition Semantics for Refinement of Object-oriented Programs. IEEE Transactions on Software Engineering, 26 (8). pp. 713-728. ISSN 0098-5589. (doi:10.1007/3-540-48118-4_26) (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:21996)

H

Hatton, Leslie, Roberts, Andy (1994) How Accurate is Scientific Software? IEEE Transactions on Software Engineering, 20 (10). pp. 785-797. (doi:10.1109/32.328993) (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:21171)

W

Wing, Jeanette M., Woodcock, Jim (2000) Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. IEEE Transactions on Software Engineering, 26 (8). pp. 673-674. ISSN 0098-5589. (doi:10.1109/TSE.2000.879806) (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:21995)

This list was generated on Sat Jan 11 23:50:36 2025 GMT.