Inverardi, Paola.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Fundamental approaches to software engineering = 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Inverardi, Paola.; Fiadeiro, Jose Luiz, (1961-); SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal methods for software architectures = Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures /
by:
Inverardi, Paola.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Software Architecture = 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings /
by:
SpringerLink (Online service); Duchien, Laurence.; Inverardi, Paola.; Bures, Tomas.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Model-based software performance analysis
by:
Inverardi, Paola.; SpringerLink (Online service); Di Marco, Antinisca.; Cortellessa, Vittorio.
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Operating Systems.
Simulation and Modeling.
System Performance and Evaluation.
Software engineering.
Computing Milieux.
Software measurement
Computer systems
Computer system failures.
Real-time data processing
Logic design.
Computers.
Logic Design.
Software engineering
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Computer software