Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study

Geri Georg, Jores Bieman, Robert B. France. Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study. In Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe, editors, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada. Volume 7 of LNI, pages 128-141, GI, 2001.

Authors

Geri Georg

This author has not been identified. Look up 'Geri Georg' in Google

Jores Bieman

This author has not been identified. Look up 'Jores Bieman' in Google

Robert B. France

Identified as Robert B. France