Results 151 to 160 of about 5,597 (192)
Some of the next articles are maybe not open access.
Specifying and analyzing early requirements in Tropos
Requirements Engineering, 2004We present a framework that supports the formal verification of early requirements specifications. The framework is based on Formal Tropos, a specification language that adopts primitive concepts for modeling early requirements (such as actor, goal, and strategic dependency), along with a rich temporal specification language.
A. Fuxman +5 more
openaire +4 more sources
Asymmetric catalysis based on tropos ligands
Chemical Communications, 2012All enantiopure atropisomeric (atropos) ligands essentially require enantiomeric resolution or synthetic transformation from a chiral pool. In sharp contrast, the use of tropos (chirally flexible) ligands, which are highly modular, versatile, and easy to synthesize without enantiomeric resolution, has recently been the topic of much interest in ...
Kohsuke Aikawa, Koichi Mikami
openaire +2 more sources
Support for Requirement Traceability: The Tropos Case
Anais do XIX Simpósio Brasileiro de Engenharia de Software (SBES 2005), 2005For many years, the research and business communities have agreed that the traceability is very important in the software development process. It helps the impact analysis of required changes, improving the efficient management of software projects and hopefully improving the software quality.
Rosa Candida Pinto +2 more
openaire +1 more source
Patterns for Modelling Agent Systems with Tropos
2006Tropos is an agent-oriented development methodology based on knowledge-level concepts (such as actor, goal, and the dependency between actors) with a particular focus on requirements analysis. This paper presents a pattern language for guiding developers, especially those without previous Tropos experience, through the various design challenges faced ...
Haralambos Mouratidis +1 more
openaire +1 more source
Modelling Security and Trust with Secure Tropos
2007Although the concepts of security and trust play an important issue in the development of information systems, they have been mainly neglected by software engineering methodologies. In this chapter, we present an approach that considers security and trust throughout the software development process.
Giorgini, Paolo +2 more
openaire +3 more sources
Slavic Review, 2003
Gustav G. Shpet (1879-1937) is one of those formidable Russian thinkers who, in the early years of the last century, orchestrated a revolutionary paradigm shift across a broad swath of the humanities and social sciences that is still reverberating today.
openaire +1 more source
Gustav G. Shpet (1879-1937) is one of those formidable Russian thinkers who, in the early years of the last century, orchestrated a revolutionary paradigm shift across a broad swath of the humanities and social sciences that is still reverberating today.
openaire +1 more source
Designing Web services with Tropos
Proceedings. IEEE International Conference on Web Services, 2004., 2004D. Lau, Mylopoulos, Ioannis
openaire +1 more source