Results 161 to 170 of about 4,064 (210)

The impact of ammonia on particle formation in the Asian Tropopause Aerosol Layer. [PDF]

NPJ Clim Atmos Sci
Xenofontos C, Kohl M, Ruhl S, Almeida J, Beckmann HM, Caudillo-Plath L, Ehrhart S, Höhler K, Kaniyodical Sebastian M, Kong W, Kunkler F, Onnela A, Rato P, Russell DM, Simon M, Stark L, Umo NS, Unfer GR, Yang B, Yu W, Zauner-Wieczorek M, Zgheib I, Zheng Z, Curtius J, Donahue NM, El Haddad I, Flagan RC, Gordon H, Harder H, He XC, Kirkby J, Kulmala M, Möhler O, Pöhlker ML, Schobesberger S, Volkamer R, Wang M, Borrmann S, Pozzer A, Lelieveld J, Christoudias T.   +40 more
europepmc   +1 more source

Selective Chiral Diamine-bisoxazoline Iron(II) Catalysts for Pyrrolidine Formation via Intramolecular C(sp³)-H Amination of Aliphatic Azides. [PDF]

J Am Chem Soc
He Z, de Wit SWJ, van der Loo SM, Tromp DS, Bauer AK, Neidig ML, Mathew S, Ehlers AW, de Bruin B, van der Vlugt JI.   +9 more
europepmc   +1 more source

Pathophysiology of Pulmonary Arterial Hypertension: Focus on Vascular Endothelium as a Potential Therapeutic Target. [PDF]

Int J Mol Sci
Correale M, Mercurio V, Bevere EML, Pezzuto B, Tricarico L, Attanasio U, Raucci A, Ferrara AL, Loffredo S, Puteo C, Iacoviello M, Margaglione M, Brunetti ND, Tocchetti CG, Agostoni P, Mussolino C, Vinci MC.   +16 more
europepmc   +1 more source

Dall’archaios tropos al neoteros kai hippodameios tropos: una nota

, 2016
openaire   +1 more source

Homer and the kunikos tropos

, 2015
openaire   +1 more source

Tropos

, 2005
Software systems of the future will have to perform well within ever-changing organizational environments. Unfortunately, existing software development methodologies have traditionally been inspired by programming concepts rather than organizational ones, leading to a semantic gap between the system and its operational environment.
Giorgini, Paolo, M. Kolp, Mylopoulos, Ioannis, J. Castro   +3 more
openaire   +3 more sources

The Tropos Metamodel and its Use.

Informatica (Slovenia), 2005
Tropos is a software development methodology founded on the key concepts of agent-oriented software development. Specifically, Tropos emphasizes concepts for modelling and analysis during the early requirements phase. This phase precedes the prescriptive requirements specification of the system-to-be.
Susi, Angelo, Perini, Anna, Mylopoulos, Ioannis, Giorgini, Paolo   +3 more
openaire   +3 more sources

Specifying and analyzing early requirements in Tropos

Requirements Engineering, 2004
We 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, L. Liu, Mylopoulos, Ioannis, Pistore, Marco, M. Roveri, P. Traverso   +5 more
openaire   +4 more sources

A CASE Tool to Support Automated Modelling and Analysis of Security Requirements, Based on Secure Tropos

Lecture Notes in Computer Science, 2012
Secure Tropos, an extension of the Tropos methodology, considers security requirements alongside functional requirements, from the early stages of the system development process.The Secure Tropos language uses security concepts such as security ...
Michalis Pavlidis, Shareeful Islam, Haralambos Mouratidis   +2 more
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

The Tropos Methodology

2006
The objective of this chapter is to give an overview of Tropos methodology. Tropos is based on two key ideas. First, the notion of agent and related mentalistic notions, such as goals and plans, are used in all phases of software development, from early analysis down to the actual implementation.
Paolo Giorgini, Manuel Kolp, John Mylopoulos, Marco Pistore   +3 more
openaire   +1 more source