From System Goals to UML Models to Software Specifications
"Requirements engineers must be at home in both formal and non-formal worlds, and must be able to bring them together into an effective system. Axel van Lamsweerde has been among the leaders of the requirements engineering discipline since the 1980s. This splendid book represents the culmination of nearly two decades of his research and practical experience." — Michael Jackson
Axel van Lamsweerde is Professor at the Department of Computing Science and Research Associate at the Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM), Université catholique de Louvain, Belgium. He was formerly research associate at Philips Research Labs and professor at the universities of Namur and Bruxelles. He was also research fellow at the University of Oregon and the Computer Science Lab of Stanford Research Institute (Menlo Park, CA). He was co-founder of two software technology transfer centers supported by the European Union.
His research interests are in precise techniques for requirements engineering, system modeling, high assurance systems, lightweight formal methods, process modeling and analysis, medical safety, and knowledge-based software development environments. Since 1990 he has been instrumental in the development of the KAOS goal-oriented modeling language, method, and toolset. The method and toolset have been used worldwide in more than 25 industrial projects. He is author of the book "Requirements engineering: From System Goals to UML Models to Software Specifications" (Wiley).
van Lamsweerde was Editor-in-Chief of the ACM Transactions in Software Engineering and Methodology (ACM, New York), Associate Editor of the IEEE Transactions on Software Engineering, Program Chair of major international software engineering conferences including ESEC'91 and ICSE'94, and founding member of the IFIP WG2.9 Working Group on Requirements Engineering. He has been keynote speaker at major conferences in the field including the International Conference on Software Engineering (ICSE'2000) and the International Joint Conference on Requirements Engineering (RE'04). He is an ACM Fellow (2000), recipient of the ACM SIGSOFT Distinguished Service Award (2003), and the ACM SIGSOFT Outstanding Research Award (2008).
My general interests are at the intersection of Software Engineering and Artificial Intelligence. The general objective is to develop usable languages, methods, and tools for assisting software engineers in complex, knowledge-intensive tasks. This requires specific techniques for representing knowledge about software engineering products and processes, and for reasoning formally about them.Goal-Driven Requirements Engineering: the KAOS approach Process Modeling and Analysis Knowledge-Based Software Engineering Environments