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

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