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.
System Performance and Evaluation.
Software engineering.
Software measurement
Real-time data processing
Logic Design.
Computer Science.
Logics and Meanings of Programs.
Simulation and Modeling.
Computing Milieux.
Computer systems
Computer system failures.
Logic design.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Computer software