Items where Author, Editor or other role is "Mander, Keith"

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

Jump to: F | M | P | T

Number of items: 17.

F

Fincher, Sally, Mander, Keith C. (2001) Serendipity in the Engineering Curriculum. In: Proceedings of the ICEE 2001 conference. (KAR id:13577)

M

May, Peter S, Mander, Keith C., Timmis, Jon (2003) Mutation Testing: An Artificial Immune System Approach. In: UK-Softest. UK Software Testing Workshop. (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:13910)

May, Peter S, Mander, Keith C., Timmis, Jon (2003) Software Vaccination: An Artificial Immune Systems Approach. In: Proceedings of the 2nd International Conference on Artificial Immune Systems, SEP 01-03, 2003, Edinburgh Scotland. (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:13906)

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: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) (KAR id:13585)

Mander, Keith C., Powell, Anthony L., Brown, Duncan S. (1998) Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach. In: Proceedings Process Modelling and Simulation 98 (ProSim'98). (doi: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) (KAR id:21650)

Mander, Keith C., Polack, Fiona A.C. (1995) Rigorous Specification using Structured Systems Analysis and Z. Information and Software Technology, 37 (5-6). pp. 285-291. (doi:10.1016/0950-5849(95)99364-s) (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:21241)

Mander, Keith C., Polack, Fiona A.C., Whiston, Mark (1993) The SAZ Method: Version 1.0. In: YCS 207. (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:21099)

Mander, Keith C., Polack, Fiona A.C., Whiston, Mark (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings JFIT conference. (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:21132)

Mander, Keith C., Polack, Fiona A.C., Whiston, Mark (1992) Introduction to the SAZ Method: the State Specification. In: Proceedings International SSADM Conference. (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:21035)

P

Powell, Anthony L., Mander, Keith C., 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: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) (KAR id:21804)

Parker, H.E.D, Polack, Fiona A.C., 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''. (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:21235)

Polack, Fiona A.C., Mander, Keith C. (1994) Software Quality Assurance using the SAZ Method. In: Proceedings of Z User Meeting. (doi:10.1007/978-1-4471-3452-7_13) (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:21191)

Polack, Fiona A.C., Whiston, Mark, Mander, Keith C. (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings FME'93. (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:21124)

T

Tracey, Nigel J., Clark, John A., Mander, Keith C., McDermid, John A. (2000) Automated Test-Data Generation for Exception Conditions. Software Practice and Experience, 30 (1). pp. 61-79. ISSN 0038-0644. (doi: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) (KAR id:22053)

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 International Conference on Automated Software Engineering. IEEE, pp. 285-288. ISBN 0-8186-8750-9. (doi:10.1109/ASE.1998.732680) (KAR id:21595)

Tracey, Nigel J., Clark, John A., Mander, Keith C. (1998) Automated Programme Flaw Finding using Simulated Annealing. In: ACM SOGSOFT Symposium on Software Testing and Analysis (ISSTA 98). (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:21679)

Tracey, Nigel J., Clark, John A., 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), January 12 - 14, 1998, Johannesburg, South Africa. (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:21693)

This list was generated on Thu Apr 2 19:36:42 2026 BST.