Paige, RichardOstroff, JonathanEvans, AndyFrance, Robert B.Moreira, Ana M. D.Rumpe, Bernhard2020-01-072020-01-0720013-88579-335-0https://dl.gi.de/handle/20.500.12116/30854A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming with the utility of modelling, while offering a counterpoint to Extreme Modelling. The method is built atop of a subset of UML, making use of contracts for documentation and for run-time (and potentially static) checking. Rules are given to establish consistency of views of a system, and a proposal for a tool pro- totype that implements the diagrams and which helps to establish their consistency is outlined. The key elements of a process, which emphasizes rapid production of code and test drivers, are also outlined.enText/Conference Paper1617-5468