C. J. Koomen
-
A Specification-Driven Architectural Design Environment
Computer
Interactive Markov chains: and the quest for quantified quality