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]

Authors

Kenneth Johnson

Identified as Kenneth Johnson

Radu Calinescu

This author has not been identified. It may be one of the following persons: Look up 'Radu Calinescu' in Google
runs on