|
2005 Journal Article Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): PrefaceRomijn, Judi, Smith, Graeme, Van De Pol, Jaco, Bert, Didier, Boiten, Eerke, Bowen, Jonathan, Butler, Michael, Curzon, Paul, Davies, Jim, Derrick, John, Dunne, Steve, Dong, Jin Song, Galloway, Andy, George, Chris, Grieskamp, Wolfgang, Habrias, Henri, Heisel, Maritta, Kim, Soon-Kyeong, Lemoine, Michel, Liu, Shaoying, Mery, Dominique, Merz, Stephan, Paige, Richard, Petre, Luigia, Santen, Thomas, Schneider, Steve, Schulte, Wolfram, Sere, Kaisa, Sinclair, Jane ... Woodcock, Jim (2005). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3771 LNCS |
|
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 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 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 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 |
