Self-adaptive systems: A survey of current approaches, research challenges and applications

FD Macías-Escrivá, R Haber, R Del Toro… - Expert Systems with …, 2013 - Elsevier
Self-adaptive software is capable of evaluating and changing its own behavior, whenever
the evaluation shows that the software is not accomplishing what it was intended to do, or …

Big data systems: A software engineering perspective

A Davoudian, M Liu - ACM Computing Surveys (CSUR), 2020 - dl.acm.org
Big Data Systems (BDSs) are an emerging class of scalable software technologies whereby
massive amounts of heterogeneous data are gathered from multiple sources, managed …

Modeling cyber–physical systems

P Derler, EA Lee, AS Vincentelli - Proceedings of the IEEE, 2011 - ieeexplore.ieee.org
This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

istar 2.0 language guide

F Dalpiaz, X Franch, J Horkoff - arxiv preprint arxiv:1605.07767, 2016 - arxiv.org
The i* modeling language was introduced to fill the gap in the spectrum of conceptual
modeling languages, focusing on the intentional (why?), social (who?), and strategic (how …

[КНИГА][B] Non-functional requirements in software engineering

L Chung, BA Nixon, E Yu, J Mylopoulos - 2012 - books.google.com
Non-Functional Requirements in Software Engineering presents a systematic and pragmatic
approach tobuilding quality into'software systems. Systems must exhibit software quality …

Towards modelling and reasoning support for early-phase requirements engineering

ESK Yu - Proceedings of ISRE'97: 3rd IEEE International …, 1997 - ieeexplore.ieee.org
Requirements are usually understood as stating what a system is supposed to do, as
apposed to how it should do it. However, understanding the organizational context and …

Tropos: An agent-oriented software development methodology

P Bresciani, A Perini, P Giorgini, F Giunchiglia… - Autonomous Agents and …, 2004 - Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos, 1 for
building agent oriented software systems. Tropos is based on two key ideas. First, the notion …

[КНИГА][B] The complete business process handbook: Body of knowledge from process modeling to BPM, volume 1

M Von Rosing, H Von Scheel, AW Scheer - 2014 - books.google.com
The Complete Business Process Handbook is the most comprehensive body of knowledge
on business processes with revealing new research. Written as a practical guide for …

19 Goal Modeling and Reasoning in Tropos

P Giorgini, J Mylopoulos, R Sebastiani - 2011 - direct.mit.edu
One of the distinguishing elements of i* is its use of goals to ascribe intentions to actors. The
modeling and reasoning framework adopted for goals is derived from the softgoals of the …

On the use of GPT-4 for creating goal models: an exploratory study

B Chen, K Chen, S Hassani, Y Yang… - 2023 IEEE 31st …, 2023 - ieeexplore.ieee.org
The emergence of large language models and conversational front-ends such as ChatGPT
is revolutionizing many software engineering activities. The extent to which such …