A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Model-based development
2007
Journal of Software and Systems Modeling
Enterprise Java Bean (EJB) application design, quality of service requirements, and autonomic properties. The paper also describes how tools can be used to generate code that simulates such systems for verification purposes. In the second paper, Slavisa Markovic and Thomas Baar present formalized refactoring rules for Object Constraint Language (OCL) constraints in UML impacted by refactoring of their associated class diagrams. The rules are presented as a graph-grammar inspired formalism, and
doi:10.1007/s10270-007-0071-y
fatcat:xx53dw2ytzh75kvsjxx3ve3cei