Languages
Cortellessa, Vittorio.
Overview
| Works: | 108 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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 :)
(Language materials, printed)
Model-based software performance analysis
by:
SpringerLink (Online service); Di Marco, Antinisca.; Inverardi, Paola.; Cortellessa, Vittorio.
(Language materials, printed)
Subjects
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