PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lano, Kevin"

Author of the publication

copydeleteadd this publication to your clipboard
Annealing and Data Decomposition in VDM++.

, , and . SIGPLAN Notices, 31 (4): 32-38 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kevin Gutsche University of Stuttgart

Kevin Bareiß University of Stuttgart

Kevin Schlegel University of Stuttgart

Kevin Treptow University of Stuttgart

Dr. Kevin Kempke University of Stuttgart

 

Other publications of authors with the same name

Comparative Evaluation of Model Transformation Specification Approaches., , and . Int. J. Software and Informatics, 6 (2): 233-269 (2012)RSDS, a Subset of UML with Precise Semantics., , and . L'OBJET, 9 (4): 53-73 (2003)The B language and method - a guide to practical formal development.. FACIT: Formal approaches to computing and information technology Springer, (1996)Formal object-oriented development.. FACIT: Formal approaches to computing and information technology Springer, (1995)Internet System Design for the Disabled Net., and . Software Engineering Research and Practice, page 956-962. CSREA Press, (2003)Graph and model transformation tools for model migration - Empirical results from the transformation tool contest., , , , , , , , , and 1 other author(s). Software and Systems Modeling, 13 (1): 323-359 (2014)Reverse-engineering Cobol via formal methods., , and . Journal of Software Maintenance, 5 (1): 13-35 (1993)Developing the UML as a Formal Modelling Notation., , , and . CoRR, (2014)Model-Driven Development of Model Transformations., and . ICMT, volume 6707 of Lecture Notes in Computer Science, page 47-61. Springer, (2011)Specification of Required Non-determinism., , , and . FME, volume 1313 of Lecture Notes in Computer Science, page 298-317. Springer, (1997)