F. Giunchiglia, et al.  Home/Search
Context Related
| sra.itc.it/tr/GMP01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sra.itc.it/pape...s.epl?year=2001 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Tropos is a novel agent-oriented software development methodology founded on two key features: (i) the notions of agent, goal, plan and various other knowledge level concepts are fundamental primitives used uniformly throughout the software development process; and (ii) a crucial role is assigned to requirements analysis and specification when the systemto -be is analyzed with respect to its intended environment. This paper provides a (first) detailed account of the Tropos methodology. In... (Update)
Cited by: More
Towards Seamless Agent Middleware - Andrea Omicini Deis (2004) (Correct)
Requirements Engineering for e-Business Advantage - Bleistein, Cox, Verner, Phalp (2006) (Correct)
Designing JADE systems with the support of CASE tools - And Patterns Massimo (Correct)
Similar documents (at the sentence level):
60.7%: The Tropos Software Development Methodology: - Processes Models And (Correct)
32.9%: Tropos: An Agent-Oriented Software Development Methodology - Bresciani, al. (2002) (Correct)
Active bibliography (related documents): More All
0.6: Centro Per La Ricerca - Scientifica Tecnologica Povo (Correct)
0.6: Knowledge Level Software Engineering - Giunchiglia, Perini, Sannicolo (2001) (Correct)
0.2: Towards an Agent Oriented approach to Software.. - Perini, Bresciani.. (2001) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
2.9: A Knowledge Level Software Engineering Methodology for.. - Perini, Giunchiglia, al. (2000) (Correct)
1.7: Industrial Applications Of Model Checking - Cimatti (2000) (Correct)
1.6: Structured Coalbegras and Minimal Hd Automata for the.. - Montanari, Pistore (2000) (Correct)
Related documents from co-citation: More All
11: The Gaia methodology for agent-oriented analysis and design - Wooldridge, Jennings et al. - 2000
10: NonFunctional Requirements in Software Engineering (context) - Chung, Nixon et al.
6: Extending UML for Agents - Odell, Parunak et al. - 2000
BibTeX entry: (Update)
F. Giunchiglia, J. Mylopoulos, and A. Perini. The Tropos Software Development Methodology: Processes, Models and Diagrams. Technical Report No. 0111-20, ITC - IRST, Nov 2001. Submitted to AAMAS '02. A Knowledge Level Software Engineering 15 http://citeseer.ist.psu.edu/giunchiglia01tropos.html More
@misc{ giunchiglia01tropos,
author = "F. Giunchiglia and J. Mylopoulos and A. Perini",
title = "The Tropos Software Development Methodology: Processes",
text = "F. Giunchiglia, J. Mylopoulos, and A. Perini. The Tropos Software Development
Methodology: Processes, Models and Diagrams. Technical Report No. 0111-20,
ITC - IRST, Nov 2001. Submitted to AAMAS '02. A Knowledge Level Software
Engineering 15",
year = "2001",
url = "citeseer.ist.psu.edu/giunchiglia01tropos.html" }
Citations (may not include all citations):681 The Unified Modeling Language User Guide (context) - Booch, Rambaugh et al. - 1999
397 Design and Synthesis of Synchronization Skeletons using Bran.. (context) - Clarke, Emerson - 1981
229 Goal-directed requirements acquisition - Dardenne, van Lamsweerde et al. - 1993
169 The Gaia methodology for agent-oriented analysis and design - Wooldridge, Jennings et al. - 2000
169 Artificial Intelligence - Newell, Level - 1982
159 Non-Functional Requirements in Software Engineering (context) - Chung, Nixon et al. - 2000
125 Representing and using non-functional requirements: A proces.. - Mylopoulos, Chung et al. - 1992
104 Modelling Strategic Relationships for Process Reengineering (context) - Yu - 1995
102 Extending UML for agents - Odell, Parunak et al. - 2000
83 A Methodology and Modelling Technique for Systems of BDI Age.. - Kinny, Rao - 1996
79 Software agents: An overview - Nwana - 1996
59 Model checking early requirements specification in Tropos - Fuxman, Pistore et al. - 2001
55 JACK Intelligent Agents - Components for Intelligent Agents .. - Busetta, Ronnquist et al. - 1999
53 NuSMV: a new symbolic model checker - Cimatti, Clarke et al. - 2000
52 A Knowledge Level Software Engineering Methodology for Agent.. - Perini, Bresciani et al. - 2001
34 A requirements-driven development methodology - Castro, Kolp et al. - 2001
31 Agent oriented analysi using MESSAGEUML - Chainho, Gomez et al.
31 Agent UML: A formalism for specifying multiagent software sy.. (context) - Bauer, Muller et al. - 2001
26 An goal-based organizational perspective on multi-agents arc.. - Kolp, Giorgini et al.
20 Analysis and Design using MaSE and agentTool - Deloach
13 The Tropos modeling language (context) - Sannicolo', Perini et al. - 2001
6 Modeling early requirements in tropos: a transformation base.. - Bresciani, Perini et al.
4 Workshop on Agent-Oriented Software Engineering (context) - Wooldridge, Ciancarini et al.
4 alpha edition (context) - Unified, Specification - 1999
3 Agent-oriented modeling: Software versus the world (context) - Yu - 2001
2 Tropos: Una Metodologia ed un Linguaggio di Modellazione Vis.. (context) - Sannicolo - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sra.itc.it/papers.epl?year=2001): More
Homo Ludens: On the play-element in inductive logic - Agostini (2001) (Correct)
Knowledge Level Software Engineering - Giunchiglia, Perini, Sannicolo (2001) (Correct)
Transaction Oriented Computational Models For Multi-Agent.. - Kotagiri, Bailey, al. (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC