Doctoral thesis

Open-world software: specification, verification, and beyond

  • Bianculli, Domenico
  • Ghezzi, Carlo (degree supervisor)
    18.07.2012

127 p

Thèse de doctorat: Università della Svizzera italiana, 2012

English Open-world software systems are built by composing heterogeneous,third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they interact with is characterized by frequent, unexpected, and welcome changes. This class of software exhibits new features that often demand for rethinking and extending the traditional... Show more…
Language
  • English
Classification
Computer science
License
License undefined
Identifiers
Persistent URL
https://susi.usi.ch/usi/documents/318455