|
2005 Journal Article Guest Editorial integrated formal methodsBoiten, E., Derrick, J. and Smith, G. (2005). Guest Editorial integrated formal methods. Formal Aspects of Computing, 17 (4), 389-389. doi: 10.1007/s00165-005-0078-5 |
|
2004 Journal Article Linear temporal logic and Z refinementDerrick, John and Smith, Graeme (2004). Linear temporal logic and Z refinement. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3116, 117-131. doi: 10.1007/978-3-540-27815-3_13 |
|
2004 Journal Article PrefaceBoiten, Eerke, Derrick, John and Smith, Graeme (2004). Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2999, V-VI. |
|
2003 Journal Article Compositional verification for Object-ZWinter, Kirsten and Smith, Graeme (2003). Compositional verification for Object-Z. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2651, 280-299. |
|
2003 Journal Article Proving temporal properties of Z specifications using abstractionSmith, Graeme and Winter, Kirsten (2003). Proving temporal properties of Z specifications using abstraction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2651, 260-279. |
|
2003 Journal Article Structural refinement of systems specified in object-z and CSPDerrick, John and Smith, Graeme P. (2003). Structural refinement of systems specified in object-z and CSP. Formal Aspects of Computing, 15 (1), 1-27. doi: 10.1007/s00165-003-0002-9 |
|
2001 Journal Article Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSPSmith, G and Derrick, J (2001). Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP. Formal Methods In System Design, 18 (3), 249-284. doi: 10.1023/A:1011269103179 |
|
2000 Journal Article Incremental development of real-time requirements: The light control case studySmith, G. P. and Fidge, C. J. (2000). Incremental development of real-time requirements: The light control case study. Journal of Universal Computer Science, 6 (7), 704-730. |
|
1996 Journal Article A blocking model for reactive objectsDuke, Roger, Bailes, Cecily and Smith, Graeme (1996). A blocking model for reactive objects. Formal Aspects of Computing, 8 (3), 347-368. doi: 10.1007/BF01214919 |
|
1995 Journal Article Object-Z: A specification language advocated for the description of standardsDuke R., Rose G. and Smith G. (1995). Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17 (5-6), 511-533. doi: 10.1016/0920-5489(95)00024-O |
|
1995 Journal Article A fully abstract semantics of classes for Object-ZSmith, Graeme (1995). A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7 (3), 289-313. doi: 10.1007/BF01211075 |
