Hong Zhu  Home/Search
Context
Related
| sunsite.informatik.rwthaach...id8.pdf 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: sunsite.informatik.rwthaachen... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The recent years has seen a rapid growth of research interests in agent-oriented software development methodology. A great amount of work has been reported in the literature on formal models and logics of software agents. (Update)
Active bibliography (related documents): More All
0.5: Romas: A Role-Based Modeling Method For - Multi-Agent System Qi (Correct)
0.5: Perception Management: An Emerging Concept for Information.. - Johansson, Xiong (2003) (Correct)
0.5: Mapping Functional Requirements: From Natural Language - To Conceptual Schemata (Correct)
Similar documents based on text: More All
0.3: Automating Scenario-Driven Structured Requirements Engineering - Zhu, Jin (2000) (Correct)
0.3: A Theory of Testing High Level Petri Nets - Zhu, He (2000) (Correct)
0.3: A Theory of Behaviour Observation in Software Testing - Zhu (1999) (Correct)
BibTeX entry: (Update)
@misc{ of-developing,
author = "Hong Zhu",
title = "Developing Formal Specifications of MAS in SLABS",
url = "citeseer.ist.psu.edu/525292.html" }
Citations (may not include all citations):616 Notation: A Reference Manual (context) - Spivey, The - 1992
327 Modeling Rational Agents within a BDIArchitecture - Rao, Georgreff - 1991
94 Reasoning About Rational Agents (context) - Wooldridge - 2000
79 Readings in Agents (context) - Huhns, Singh - 1997
72 Agent Technology: Foundations (context) - Jennings, Wooldridge - 1998
71 and Languages: A Survey (context) - Wooldridge, Jennings - 1995
70 A Survey of Agent-Oriented Methodologies - Iglesias, Garijo et al. - 1999
66 A Methodology for Agent-Oriented Analysis and Design - Wooldridge, Jennings et al. - 1999
44 Amalthaea: Information Discovery and Filtering Using a Multi.. - Moukas - 1997
43 Agent-Oriented Software Engineering - Jennings - 1999
38 DESIRE: Modelling Multi-Agent Systems in a Compositional For.. - Brazier, Dunin-Keplicz et al. - 1997
23 Mobile Agents with Java: The Aglet API (context) - Lange, Oshima - 1998
12 A Scenario-Based Design Method and An Environment for the De.. (context) - Moulin, Brassard - 1996
4 A Model of BDI-Agent in Game-Theoretic Framework - Ambroszkiewicz, Komar - 1999
2 SLABS: A Formal Specification Language for Agent-Based Syste.. (context) - Zhu - 2001
2 Scenario Analysis in an Automated Tool for Requirements Engi.. (context) - Zhu, Jin - 2000
1 Developing Formal Specifications of Multi-Agent Systems in S.. (context) - Zhu - 2002
1 Formal Specification of Agent Behaviour through Environment .. (context) - Zhu - 2000
1 A Methodology and Modelling Technology for Systems of BDI Ag.. (context) - Kinny, Georgeff et al. - 1996
1 Agent UML: a Formalism for Specifying Multiagent Sotvare Sys.. (context) - Bauer, Muller et al. - 2001
1 Automatic Generation of Formal Specification from Requiremen.. (context) - Jin, Zhu - 1997
1 Semantic Considerations on Some Primitives for Agent Specifi.. (context) - Singh - 1996
1 The Role of Caste in Formal Specification of MAS (context) - Zhu - 2001
Documents on the same site (http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-57/): More
The ADELFE Methodology For an Intranet System Design - Bernon, Gleizes, Picard, Glize (2002) (Correct)
Full Lifecycle Methodologies for Agent-Oriented Systems .. - Debenham.. (2002) (Correct)
Integrating Ontologies into Multiagent Systems Engineering - DiLeo, Jacobs, DeLoach (2002) (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