Information Technology Reference
In-Depth Information
13. Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Object Language (EOL). In:
Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128-142.
Springer, Heidelberg (2006)
14. Kolovos, D.S., Paige, R.F., Polack, F.: A framework for composing modular and
interoperable model management tasks. In: Workshop on Model Driven Tool and
Process Integration, Germany, pp. 79-90. Fraunhofer-Verlag (2008)
15. Kolovos, D.S., Paige, R.F., Polack, F.: On the Evolution of OCL for Capturing
Structural Constraints in Modelling Languages. In: Abrial, J.-R., Glasser, U. (eds.)
Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp.
204-218. Springer, Heidelberg (2009)
16. Kolovos, D.S., Paige, R.F., Polack, F.A.: Model comparison: a foundation for model
composition and model transformation testing. In: 1st International Workshop on
Global Integrated Model Management, Shanghai, China, pp. 13-20. ACM Press,
New York (2006)
17. Kolovos, D.S., Paige, R.F., Polack, F.A.: The Epsilon Transformation Language.
In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp.
46-60. Springer, Heidelberg (2008)
18. Kolovos, D.S., Paige, R.F., Rose, L.M., Polack, F.A.: Unit testing model manage-
ment operations. In: 5th IEEE Workshop on Model Driven Engineering Verification
and Validation, Norway, pp. 97-104. IEEE Computer Society Press, Los Alamitos
(2008)
19. Mellor, S.J., Balcer, M.J.: Executable UML. Addison Wesley, USA (2002)
20. OMG: Object Constraint Language, Version 2.2, OMG document number
formal/2010-02-01 (2010)
21. Papyrus UML - CEA LIST. Open source tool for graphical UML2 modelling (2008),
http://www.papyrusuml.org/
22. Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.: The Epsilon Generation
Language. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS,
vol. 5095, pp. 1-16. Springer, Heidelberg (2008)
23. Software Technology Group - Dresden University of Technology. Emftext concrete
syntax mapper (2010),
http://www.emftext.org/
24. The Eclipse Foundation. Eclipse UML2 Web Page (2010),
http://www.eclipse.org/uml2
25. The Eclipse Foundation. Eclipse Web Page (2010),
http://www.eclipse.org/
26. Treharne, H., Turner, E., Paige, R.F., Kolovos, D.S.: Automatic generation of in-
tegrated formal models corresponding to UML system models. In: GI-Fachtagung
1975. LNBIP, vol. 33, pp. 357-367. Springer, Heidelberg (2009)
27. Turner, E., Treharne, H., Schneider, S., Evans, N.: Automatic generation of
CSP
||
B skeletons from xUML models. In: Fitzgerald, J.S., Haxthausen, A.E.,
Yenigun, H. (eds.) ICTAC 2008. LNCS, vol. 5160, pp. 364-379. Springer, Heidel-
berg (2008)
28. Xie, F., Levin, V., Kurshan, R.P., Browne, J.C.: Translating software designs
for model checking. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004.
LNCS, vol. 2984, pp. 324-338. Springer, Heidelberg (2004)
