Sign in
Efficient re-resolution of SMT specifications for evolving software architectures.
Kenneth Johnson
Radu Calinescu
Published in:
QoSA (2014)
Keyphrases
</>
software architecture
functional requirements
reference model
software development
databases
software engineering
description language
natural language processing
software systems
design patterns