跳至 : 概要 | 書目資訊 | 主題

Pierantonio, Alfonso.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings / by: Pierantonio, Alfonso.; Trujillo, Salvador.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Domain-Specific Languages in Practice = with JetBrains MPS / by: SpringerLink (Online service); Cicchetti, Antonio.; Bucchiarone, Antonio.; Pierantonio, Alfonso.; Ciccozzi, Federico. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

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: SpringerLink (Online service); Cortellessa, Vittorio.; Bernardo, Marco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Pierantonio, Alfonso. (書目-語言資料,印刷品)

Theory and Practice of Model Transformations = First International Conference, ICMT 2008, Zurich, Switzerland, July 1-2, 2008 Proceedings / by: Gray, Jeff.; Workshop on the Preservation of Stability under Discretization ((2001 :); Pierantonio, Alfonso.; Vallecillo, Antonio.; SpringerLink (Online service) (書目-語言資料,印刷品)

主題

Software engineering. Information Systems Applications (incl. Internet) Computers. System Performance and Evaluation. Management of Computing and Information Systems. Formal methods (Computer science) Computer programming. Programming Techniques. Mathematical Logic and Formal Languages. Software Engineering. Software Engineering/Programming and Operating Systems. Computer system failures. Programming languages (Electronic computers). Computer Science. Program transformation (Computer programming) Computer-aided engineering Engineering Computer Science, general. Programming Languages, Compilers, Interpreters. The Computing Profession. Model-driven software architecture.