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