A. Perini, M. Pistore, M. Roveri, A. Susi  Home/Search
Context Related
| dit.unitn.it/~tropos/paper...AOSE03.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: dit.unitn.it/~tropos/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The goal of this paper is to discuss possibilities of inter-mixing formal and informal specification in order to guide and support the conceptual modeling process in software development. We sketch a framework which rests on an agentoriented methodology that provides a modeling language which allows for the definition of both informal and formal specification. We show how formal techniques can be used to guide and support the analyst while building and refining a conceptual model.... (Update)
Cited by: More
Specifying and Analyzing Early Requirements in Tropos - Fuxman (2003) (Correct)
Active bibliography (related documents): More All
3.2: Agent-Oriented Modeling By Interleaving Formal And Informal . . . - Perini (2003) (Correct)
0.5: Specifying and Analyzing Early Requirements: Some.. - Fuxman, Liu.. (2003) (Correct)
0.4: Centro Per La Ricerca - Scientifica Tecnologica Povo (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: MBP: a Model Based Planner - Bertoli, Cimatti, Pistore, Roveri.. (2001) (Correct)
0.3: Automated Synthesis of Executable Web Service.. - Pistore, Traverso, .. (2005) (Correct)
0.3: A. Cimatti, M. Pistore, and M. Roveri - International Conference On (Correct)
BibTeX entry: (Update)
A. Perini, M. Pistore, M. Roveri, and A. Susi. Agent-oriented modeling by interleaving formal and informal specification. In Proceedings of the # # International Workshop on AgentOriented Software Engineering, Lecture Notes in Computer Science, Melbourne, Australia, July 2003. Springer. http://citeseer.ist.psu.edu/article/perini03agentoriented.html More
@misc{ perini03agentoriented,
author = "A. Perini and M. Pistore and M. Roveri and A. Susi",
title = "Agent-oriented modeling by interleaving formal and informal specification",
text = "A. Perini, M. Pistore, M. Roveri, and A. Susi. Agent-oriented modeling
by interleaving formal and informal specification. In Proceedings of the
# # International Workshop on AgentOriented Software Engineering, Lecture
Notes in Computer Science, Melbourne, Australia, July 2003. Springer.",
year = "2003",
url = "citeseer.ist.psu.edu/article/perini03agentoriented.html" }
Citations (may not include all citations):169 The GAIA Methodology for Agent-Oriented Analysis and Design - Wooldridge, Jennings et al. - 2000
68 The Rational Unified Process: An Introduction (context) - Kruchten - 2000
59 Model checking early requirements specifications in Tropos - Fuxman, Pistore et al. - 2001
52 A Knowledge Level Software Engineering Methodology for Agent.. - Perini, Bresciani et al. - 2001
50 Tropos: An AgentOriented Software Development Methodology - Bresciani, Giorgini et al. - 2003
42 NUSMV 2: An opensource tool for symbolic model checking - Cimatti, Clarke et al. - 2002
31 Agent UML: A formalism for specifying multiagent software sy.. (context) - Bauer, Muller et al. - 2001
20 Analysis and Design using MaSE and agentTool - Deloach - 2001
19 Prometheus: A Methodology for Developing Intelligent Agents - Padgham, Winikoff
19 Agent-Oriented Software Engineering (context) - Ciancarini, Wooldridge - 2001
12 Formal specification: a roadmap - van Lamsweerde - 2000
11 Formal analysis of early requirements specifications - Fuxman - 2001
11 Specifying and analyzing early requirements: Some experiment.. - Fuxman, Liu et al. - 2003
9 Agent-Oriented Software Engineering II (context) - Wooldridge, Wei et al. - 2001
6 Agent-Oriented Software Engineering III (context) - Giunchiglia, Odell et al. - 2002
6 Agent-oriented software engineering: the State of the Art (context) - Ciancarini, Wooldridge - 2000
5 Reasoning about Agents in Goal-oriented Requirements Enginee.. (context) - Leiter - 2001
5 topoi diagrams (context) - Menzies, Powell et al. - 2001
3 Generating machine processable representations of textual re.. (context) - Koning, Romero-Hernandez - 2002
2 the many ways software engineering can benefit from knowledg.. (context) - Briand - 2002
2 Designing a Decision Support System for Integrated Productio.. (context) - Perini, Susi - 2003
2 agilemodeling.com/essays (context) - Ambler, essays et al. - 2003
Documents on the same site (http://dit.unitn.it/~tropos/papers.html): More
Towards Requirements-Driven Information Systems.. - Castro, Kolp, Mylopoulos (2002) (Correct)
UML for Agent-Oriented Software Development: The Tropos.. - Mylopoulos, Kolp, Castro (2001) (Correct)
Architectural Styles for Information Systems: An.. - Kolp, Mylopoulos (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