Axel van Lamsweerde. From System Goals to Software Architecture. In Marco Bernardo, Paola Inverardi, editors, Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures. Volume 2804 of Lecture Notes in Computer Science, pages 25-43, Springer, 2003. [doi]
Abstract is missing.