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. . , 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) (KAR id:13910)

May, Peter S, Mander, Keith C., 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. pp. 81-92. Springer 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) (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). . , Silver Falls, Oregon (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. . , 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) (KAR id:21099)

Mander, Keith C., Polack, Fiona A.C., 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) (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. . , 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) (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''. . , 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) (KAR id:21235)

Polack, Fiona A.C., Mander, Keith C. (1994) Software Quality Assurance using the SAZ Method. In: Proceedings of Z User Meeting. . pp. 230-249. Springer-Verlag (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. (670). pp. 541-557. , Denmark (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). . , 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) (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). . , 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) (KAR id:21693)

This list was generated on Tue Dec 24 20:17:33 2024 GMT.