Languages
Cortellessa, Vittorio.
Overview
| Works: | 1 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:
Pierantonio, Alfonso.; Cortellessa, Vittorio.; Congress on Progress and Controversies in Oncological Urology (2000:); Bernardo, Marco.; SpringerLink (Online service)
(Electronic resources)
Model-based software performance analysis
by:
Inverardi, Paola.; Cortellessa, Vittorio.; SpringerLink (Online service); Di Marco, Antinisca.
(Electronic resources)
Subjects
Software Engineering.
Management of Computing and Information Systems.
Computer-aided engineering
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Operating Systems.
System Performance and Evaluation.
Simulation and Modeling.
Computer software- Evaluation
Engineering- Mathematical models
Computer Science.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl. Internet)
Mathematical Logic and Formal Languages.
Software measurement- Simulation methods.