Validated Designs for Object-oriented Systems - Fitzgerald, John (Springer Nature, 2005)
Keywords: 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