Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 14.

Article

Mander, K.C. (2001) The Decline and Fall of the American Programmer? Communications of the ACM, 44 (7). pp. 43-44. ISSN 0001-0782. The full text of this publication is not available from this repository.

Tracey, N.J. and Clark, J.A. and Mander, K.C. and McDermid, J.A. (2000) Automated Test-Data Generation for Exception Conditions. Software Practice and Experience, 30 (1). pp. 61-79. ISSN 0038-0644 . The full text of this publication is not available from this repository.

Powell, A.L. and Mander, K.C. and Brown, D.S. (1999) Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach. Journal of Systems and Software, 46 . pp. 151-161. The full text of this publication is not available from this repository.

Mander, K.C. and Polack, F.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 available from this repository.

Conference or workshop item

May, P. and Mander, K.C. and 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 available from this repository.

Tracey, N.J. and Clark, J.A. and Mander, K.C. and McDermid, J.A. (1998) An Automated Framework for Structural Test-data Generation. In: Proceedings 13th IEEE Conference in Automated Software Engineering, 10/13/1998 - 10/16/1998, Honolulu, HI, USA.

Preview

Tracey, N.J. and Clark, J.A. and Mander, K.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 available from this repository.

Tracey, N.J. and Clark, J.A. and Mander, K.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 available from this repository.

Parker, H.E.D and Polack, F.A.C. and Mander, K.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 available from this repository.

Polack, F.A.C. and Mander, K.C. (1994) Software Quality Assurance using the SAZ Method. In: Proceedings of Z User Meeting. The full text of this publication is not available from this repository.

Mander, K.C. and Polack, F.A.C. and Whiston, M. (1993) The SAZ Method: Version 1.0. In: YCS 207. The full text of this publication is not available from this repository.

Polack, F.A.C. and Whiston, M. and Mander, K.C. (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings FME'93. The full text of this publication is not available from this repository.

Mander, K.C. and Polack, F.A.C. and Whiston, M. (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings JFIT conference. The full text of this publication is not available from this repository.

Mander, K.C. and Polack, F.A.C. and Whiston, M. (1992) Introduction to the SAZ Method: the State Specification. In: Proceedings International SSADM Conference. The full text of this publication is not available from this repository.

This list was generated on Wed May 22 11:37:57 2013 BST.