K. Suzanne Barber, Thomas J. Graser, Jim Holt. Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA. pages 341-345, IEEE Computer Society, 2001. [doi]
@inproceedings{BarberGH01:1,
title = {Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures},
author = {K. Suzanne Barber and Thomas J. Graser and Jim Holt},
year = {2001},
url = {http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260341abs.htm},
tags = {software architecture, model checking, meta-model, architecture, model-driven development, Meta-Environment},
researchr = {https://researchr.org/publication/BarberGH01%3A1},
cites = {0},
citedby = {0},
pages = {341-345},
booktitle = {16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-1426-X},
}