Sign in

Efficient re-resolution of SMT specifications for evolving software architectures.

Kenneth JohnsonRadu 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