Lichtner, Kurt2006-07-282006-07-2820002000http://hdl.handle.net/10012/599application/pdf584695 bytesapplication/pdfenCopyright: 2000, Lichtner, Kurt. All rights reserved.Harvested from Collections CanadaA framework for machine-assisted software architecture validationDoctoral Thesis