Abstract
The talk will present an attempt, perhaps unorthodox, at bridging the gap between the use of formal techniques and the current software engineering practices. After years of full immersion in the development and use of formal techniques, we have been led to suggest a strategy, better marrying the rigour of formalities to the needs and, why not, the wisdom of current practices, that essentially aims at proposing methods where the formalities provide the foundational rigour, and perhaps may inspire new techniques, but are kept hidden from the user.
In a stream of papers we have outlined a development method – following that strategy – which is Model-Driven and adopts the UML notation. Here, we will outline in summary such method, briefly covering the phases of domain modelling, requirement specification and the Model-driven Design (or Platform Independent Design). Moreover, in this talk we will show how the proposed method may take advantage of the new and of the improved diagrams of UML 2.0.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reggio, G. (2005). Towards a Precise UML-Based Development Method. In: Guelfi, N., Reggio, G., Romanovsky, A. (eds) Scientific Engineering of Distributed Java Applications. FIDJI 2004. Lecture Notes in Computer Science, vol 3409. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31869-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-31869-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25053-1
Online ISBN: 978-3-540-31869-9
eBook Packages: Computer ScienceComputer Science (R0)