Languages
Pierantonio, Alfonso.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Modelling foundations and applications14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018 : proceedings /
by:
(1998 :); Pierantonio, Alfonso.; SpringerLink (Online service); Trujillo, Salvador.
(Language materials, printed)
Formal methods for model-driven engineering12th 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:
(1998 :); Bernardo, Marco.; Cortellessa, Vittorio.; Pierantonio, Alfonso.; SpringerLink (Online service)
(Electronic resources)
Theory and Practice of Model TransformationsFirst International Conference, ICMT 2008, Zurich, Switzerland, July 1-2, 2008 Proceedings /
by:
(1998 :); Gray, Jeff.; Pierantonio, Alfonso.; SpringerLink (Online service); Vallecillo, Antonio.
(Electronic resources)
Subjects
Computer Science, general.
Software Engineering.
Mathematical Logic and Formal Languages.
Software Engineering/Programming and Operating Systems.
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Programming Techniques.
Formal methods (Computer science)
Computer-aided engineering
Programming Languages, Compilers, Interpreters.
Computer-aided software engineering
The Computing Profession.
Computer Science.
Engineering
System Performance and Evaluation.
Model-driven software architecture.
Program transformation (Computer programming)