Login / Signup
A formal approach to adaptive software: continuous assurance of non-functional requirements.
Antonio Filieri
Carlo Ghezzi
Giordano Tamburrelli
Published in:
Formal Aspects Comput. (2012)
Keyphrases
</>
software package
user interface
software development
software tools
software architecture
source code
formal methods
software packages
requirements specification
database
databases
information systems
image sequences
data driven
software systems
software projects