語系
Pierantonio, Alfonso.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
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)
(書目-電子資源)
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.
(書目-電子資源)
主題
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)