Languages
Pierantonio, Alfonso.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Formal methods for model-driven engineering = 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures /
by:
Pierantonio, Alfonso.; Cortellessa, Vittorio.; Congress on Progress and Controversies in Oncological Urology (2000:); Bernardo, Marco.; SpringerLink (Online service)
(Electronic resources)
Theory and Practice of Model Transformations = First International Conference, ICMT 2008, Zurich, Switzerland, July 1-2, 2008 Proceedings /
by:
Pierantonio, Alfonso.; Gray, Jeff.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Vallecillo, Antonio.
(Electronic resources)
Subjects
Software Engineering.
Management of Computing and Information Systems.
Computer-aided engineering
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Model-driven software architecture.
Program transformation (Computer programming)
Engineering- Mathematical models
Computer Science.
Computer Science, general.