Validated Designs for Object-oriented Systems

• Main Author: Fitzgerald, John
• Format: eBook Book
• Language: English
• Published: London Springer Nature 2005; Springer; Springer London, Limited; Springer London
• Edition: 1
• Subjects: Computer programming, programs, data; Computer Science; Discrete Mathematics in Computer Science; Formal methods (Computer science); Object-oriented methods (Computer science); Programming Techniques; Software Engineering; Software Engineering/Programming and Operating Systems; System design

Object-oriented design methods are commonplace in computing systems development, but are often dismissed as little more than 'boxes and arrows'. If systems developers are to gain the full advantage from such methods, they should be able to achieve designs that are not merely the subject of...