The book presents both the current state of the art in requirements engineering and a systematic method for engineering high-quality requirements, broken down into four parts. The first part introduces fundamental concepts and principles including the aim and scope of requirements engineering, the products and processes involved, requirements qualities to aim at and flaws to avoid, and the critical role of requirements engineering in system and software engineering. The second part of the book is devoted to system modeling in the specific context of engineering requirements. It presents a multi-view modeling framework that integrates complementary techniques for modeling the system-as-is and the system-to-be. The third part of the book reviews goal-based reasoning techniques to support the various steps of the KAOS method. The fourth part of the book goes beyond requirements engineering to discuss the mapping from goal-oriented requirements to software specifications and to software architecture. Online software will accompany the book and will add value to both classroom and self-study by enabling students to build models and specifications involved in the book’s exercises and case studies, helping them to discover the latest RE technology solutions. Instructor resources such as slides, figures and handouts are available from an accompanying website.

Requirements Engineering: From System Goals to UML Models to Software Specifications

Computers & Technology

van Lamsweerde, Axel

Programming

wiley

Covers some of the most significant applications of artificial intelligence, namely: natural language processing, speech understanding, expert system design, requirement engineering, machine learning, truth maintenance systems, advanced concepts and methods of logic programming. Together with the previous two volumes edited by Thayse, this completes a comprehensive exposition of the subject of logics applied to AI.

From Natural Language Processing to Logic for Expert Systems: A Logic Based Approach to Artificial Intelligence

Kamp, Yves

Snyers, Dominique

Van Der Linden, Frank

DUPONT, PIERRE

Dubois, Eric

Binot, Jean-Louis

Bruffaerts, Albert

Delsarte, Philippe

Hagelstein, Jacques

Henin, Eric

Thayse, André

Müller, Jean-Pierre

Rifaut, André

See the best price to sell, buy, or rent books by van Lamsweerde, Axel. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by van Lamsweerde, Axel