John Mylopoulos

TL;DR: The goal in this paper is to introduce and motivate a methodology, called Tropos, for building agent oriented software systems, based on the notion of agent and all related mentalistic notions, formalized in a metamodel described with a set of UML class diagrams.

TL;DR: This thesis proposes a modelling framework i* (pronounced i-star) consisting of two modelling components: the Strategic Dependency (SD) model and the Strategic Rationale (SR) model, which describes a process in terms of intentional dependency relationships among agents.

TL;DR: A comprehensive framework for representing and using nonfunctional requirements during the development process is proposed and evidence for the power of the framework is provided through the study of accuracy and performance requirements for information systems.

TL;DR: Telos is a language intended to support the development of information systems based on the premise that information system development is knowledge intensive and that the primary responsibility of any language intended for the task is to be able to formally represent the relevent knowledge.

TL;DR: In this paper, the authors present the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems, focusing on four essential topics of selfadaptation: design space for selfadaptive solutions, software engineering processes, from centralized to decentralized control, and practical run-time verification & validation.