See this document in CiteSeerX!

Loosely-coupled" Consistency between Agent-Oriented Conceptual Models and Z Specifications (2005)  (Make Corrections)  
Aneesh Krishna, Aditya K. Ghose Decision Systems Laboratory School of IT and...



  Home/Search   Context   Related

 
View or download:
csis.ul.ie/staff/S...omir_2005_SEKE.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  csis.ul.ie/staff/S...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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