語系
Cortellessa, Vittorio.
概要
| 作品: | 108 作品在 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:
Bernardo, Marco.; SpringerLink (Online service); Cortellessa, Vittorio.; Workshop on the Preservation of Stability under Discretization ((2001 :); Pierantonio, Alfonso.
(書目-語言資料,印刷品)
Fundamental approaches to software engineering = 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings /
by:
SpringerLink (Online service); Varro, Daniel.; Cortellessa, Vittorio.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Model-based software performance analysis
by:
SpringerLink (Online service); Di Marco, Antinisca.; Inverardi, Paola.; Cortellessa, Vittorio.
(書目-語言資料,印刷品)
主題
Software Engineering.
Engineering
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Operating Systems.
System Performance and Evaluation.
Software measurement
Computer Appl. in Administrative Data Processing.
Computer Science.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Computer-aided engineering
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Software engineering
Programming Languages, Compilers, Interpreters.
Computer software