ABSTRACT
This chapter illustrates the UML-RSDS development process and tools by showing the complete development of a non-trivial example.
This problem was the assessed coursework for the second year undergraduate course Object-oriented Specification and Design at King’s College London in 2015/16. The system class diagram and system operations need to be specified in UML-RSDS, and an executable implementation synthesised in Java.
