Aneesh Krishna, Aditya K. Ghose Decision Systems Laboratory School of IT and...  Home/Search
Context
Related
| csis.ul.ie/staff/S...omir_2005_SEKE.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: csis.ul.ie/staff/S...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Agent-oriented conceptual modelling (AOCM) is a relatively new technique that offers significant benefits in the modelling and development of complex computer systems. It is highly effective in answering questions such that what are the main goals of the system, how key actors depend on each other, and what alternatives exist. A formal method can benefit any stage of the software development lifecycle and improves the quality of the computer systems. The paper defines an approach that allows to ... (Update)
Active bibliography (related documents): More All
1.6: Co-Evolution of Complementary Formal and Informal Requirements - Aneesh Krishna Aditya (2004) (Correct)
0.3: Z and EVES - Saaltink (1991) (Correct)
0.3: Select Z Bibliography - Bowen (1993) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ aditya-looselycoupled,
author = "Aneesh Krishna Aditya",
title = "Loosely-coupled" Consistency between Agent-Oriented Conceptual Models and
Z Specifications",
url = "citeseer.ist.psu.edu/742204.html" }
Citations (may not include all citations):200 Prentice Hall International Series in Computer Science (context) - Spivey, The et al. - 1992
104 Modelling Strategic Relationships for Process Reengineering (context) - Yu - 1995 ACM
59 Model checking early requirements specifications in Tropos - Fuxman, Pistore et al. - 2001 ACM DBLP
21 An approach to animating Z specifications - Jia - 1995 ACM DBLP
14 ZTC: A Type Checker for Z Notation (context) - Jia - 1998
14 Agent-Oriented Requirements Engineering Using ConGolog and - Wang, Lesprance - 2001
13 CADiZ Computer Aided Design in Z (context) - Jordan, McDermid et al. - 1990
3 Formaliser an interactive support tool for Z (context) - Flynn, Hoverd et al. - 1989
2 A case study of combining i* framework and the Z notation (context) - Krishna, Vilkomir et al. - 2004
2 Practical early phase requirements engineering via agent-ori.. (context) - Unni, Krishna et al. - 2003
2 Combining agentoriented conceptual modeling with formal meth.. (context) - Vilkomir, Ghose et al. - 2004
1 Co-evolution of complementary formal and informal requiremen.. - Krishna, Ghose et al. - 2004 ACM
Documents on the same site (http://www.csis.ul.ie/staff/SergiyVilkomir/publications.htm): More
A Case Study Of Combining I* Framework And The Z Notation - Krishna, Vilkomir, Ghose (Correct)
Tolerance of Control-Flow Testing Criteria - Vilkomir, Kapoor, Bowen (2003) (Correct)
Combining Agent-Oriented Conceptual Modelling with Formal.. - Vilkomir, Ghose, Krishna (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