Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Article | Conference or workshop item
Number of items: 17.
Article
| Mander, Keith C. (2001) The Decline and Fall of the American Programmer? Communications of the ACM, 44 (7). pp. 43-44. ISSN 0001-0782. (doi:https://doi.org/10.1145/379300.379309) (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) |
| Tracey, Nigel J. and Clark, John A. and Mander, Keith C. and McDermid, John A. (2000) Automated Test-Data Generation for Exception Conditions. Software Practice and Experience, 30 (1). pp. 61-79. ISSN 0038-0644. (doi:https://doi.org/10.1002/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9) (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) |
| Powell, Anthony L. and Mander, Keith C. and Brown, Duncan S. (1999) Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach. Journal of Systems and Software, 46 . pp. 151-161. (doi:https://doi.org/10.1016/S0164-1212(99)00008-4) (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) |
| Mander, Keith C. and Polack, Fiona A.C. (1995) Rigorous Specification using Structured Systems Analysis and Z. Information and Software Technology, 37 (5-6). pp. 285-291. (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) |
Conference or workshop item
| May, Peter S and Mander, Keith C. and Timmis, Jon (2003) Mutation Testing: An Artificial Immune System Approach. In: UK-Softest. UK Software Testing Workshop. , University of York. UK. (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) |
| May, Peter S and Mander, Keith C. and Timmis, Jon (2003) Software Vaccination: An Artificial Immune Systems Approach. In: Timmis, Jon and Bentley, Peter J. and Hart, Emma, eds. Proceedings of the 2nd International Conference on Artificial Immune Systems. Lecture Notes in Computer Science, 2787. Springer pp. 81-92. ISBN 3-540-40766-9. (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) |
| Fincher, Sally and Mander, Keith C. (2001) Serendipity in the Engineering Curriculum. In: Proceedings of the ICEE 2001 conference. (Full text available) |
|
| Tracey, Nigel J. and Clark, John A. and Mander, Keith C. and McDermid, John A. (1998) An Automated Framework for Structural Test-data Generation. In: Proceedings 13th IEEE Conference in Automated Software Engineering. , Hawaii pp. 285-288. ISBN 0-8186-8750-9. (doi:https://doi.org/10.1109/ASE.1998.732680) (Full text available) |
|
| Mander, Keith C. and Powell, Anthony L. and Brown, Duncan S. (1998) Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach. In: Proceedings Process Modelling and Simulation 98 (ProSim'98). , Silver Falls, Oregon (doi:https://doi.org/10.1016/S0164-1212(99)00008-4) (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) |
| Tracey, Nigel J. and Clark, John A. and Mander, Keith C. (1998) Automated Programme Flaw Finding using Simulated Annealing. In: ACM SOGSOFT Symposium on Software Testing and Analysis (ISSTA 98). , Florida (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) |
| Tracey, Nigel J. and Clark, John A. and Mander, Keith C. (1998) The Way Forward for Unifying Dynamic Test Case Generation: The Optimisation-based Approach. In: IFIP International Workshop on Dependable Computing and its Applications (DCIA 98). , Johannesburg (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) |
| Parker, H.E.D and Polack, Fiona A.C. and Mander, Keith C. (1995) The Industrial Trial of SAZ: reflections on the use of an integrated specification method. In: Proceedings 7th International Conference on ''Putting into practice methods and tools for information systems design''. , Universite de Nantes (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) |
| Polack, Fiona A.C. and Mander, Keith C. (1994) Software Quality Assurance using the SAZ Method. In: Proceedings of Z User Meeting. Springer-Verlag pp. 230-249. (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) |
| Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1993) The SAZ Method: Version 1.0. In: YCS 207. , University of York (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) |
| Polack, Fiona A.C. and Whiston, Mark and Mander, Keith C. (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings FME'93. , Denmark pp. 541-557. (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) |
| Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings JFIT conference. pp. 355-362. (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) |
| Mander, Keith C. and Polack, Fiona A.C. and Whiston, Mark (1992) Introduction to the SAZ Method: the State Specification. In: Proceedings International SSADM Conference. , Warwick (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) |
