Languages
Cortellessa, Vittorio.
Overview
| Works: | 110 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.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
System Performance and Evaluation.
Software measurement
Computer Appl. in Administrative Data Processing.
Software engineering
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Logics and Meanings of Programs.
Computer software
Management of Computing and Information Systems.
Computer-aided engineering