External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Efficient re-resolution of SMT specifications for evolving software architectures

Kenneth Johnson, Radu Calinescu. Efficient re-resolution of SMT specifications for evolving software architectures. In Lionel Seinturier, Tomas Bures, John D. McGregor, editors, QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 04, 2014. pages 93-102, ACM, 2014. [doi]

runs on