Correct Systems by Mike Holcombe
Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach.-
Java and Object Orientation
-
User-Centred Design of Systems
-
The Ergonomics of Computer Pointing Devices
-
Model-Based Design and Evaluation of Interactive Applications
-
Translation Engines: Techniques for Machine Translation
-
Evolutionary Web Development
-
Requirements Engineering
-
Multimedia Systems
-
Knowledge-Based Image Processing Systems
-
Object Oriented Computer Systems Engineering
-
Introduction to the Formal Design of Real-Time Systems
Mike Holcombe, BSC, MSC, PHD, is Professor of Computer Science at the University of Sheffield, UK. He is also founder of Genesys Solutions, which is a student-run commercial software house that is strongly supported by IBM (winning the IBM International Eclipse Innovation Award in 2004 and 2005) and is also designated as a Microsoft Innovation Center. The University of Sheffield has recently spun out this company as epiGenesys Ltd. Dr. Holcombe's research interests include software and systems biology. A former dean of the faculty of engineering at the University of Sheffield, he is a Fellow of the British Computer Society and a Fellow of the Institute of Mathematics and Its Applications. He is on the editorial board of the journal BioSystems and Software Testing, Verification and Reliability (Wiley). He is also on the editorial board of the International Journal of Agile and Extreme Software Development and has been appointed to the Academic Advisory Board of Microsoft.
| SKU | Unavailable |
| ISBN 13 | 9783540762461 |
| ISBN 10 | 3540762469 |
| Title | Correct Systems |
| Author | Mike Holcombe |
| Series | Applied Computing |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Year published | 1998-08-26 |
| Number of pages | 206 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |