Formal MethodsSoftware ArchitectureSoftware DesignSoftware Engineering
Amnon H. Eden, Rick Kazman
In Laurie Dillon, Walter Tichy (eds.) Proc. 25th Int'l Conf. Software Engineering—ICSE, Portland, OR, USA, pp. 149–159. Los Alamitos, USA: IEEE Computer Society Press
Publication year: 2003