| dc.contributor.author | Paige, Richard | |
| dc.contributor.author | Ostroff, Jonathan | |
| dc.contributor.editor | Evans, Andy | |
| dc.contributor.editor | France, Robert B. | |
| dc.contributor.editor | Moreira, Ana M. D. | |
| dc.contributor.editor | Rumpe, Bernhard | |
| dc.date.accessioned | 2020-01-07T12:34:43Z | |
| dc.date.available | 2020-01-07T12:34:43Z | |
| dc.date.issued | 2001 | |
| dc.identifier.isbn | 3-88579-335-0 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/30854 | |
| dc.description.abstract | A 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. | en |
| dc.language.iso | en | |
| dc.relation.ispartof | Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-7 | |
| dc.title | A proposal for a lightweight rigorous UML-based development method for reliable systems | en |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 192-206 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Toronto, Canada | |
| mci.conference.date | October 1st, 2001 | |
