MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Aneesh Krishna" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

A Case Study Of Combining I* Framework And The Z Notation
by Aneesh Krishna, Sergiy Vilkomir, Aditya Ghose — 2004 — Proceedings of ICEIS-2004: The 6th International Conference on Enterprise Information Systems, Porto
…A CASE STUDY OF COMBINING i* FRAMEWORK AND THE Z NOTATION Aneesh Krishna, Sergiy Vilkomir…
Cited by 2 (2 self) – Add To MetaCart

Co-Evolution of Complementary Formal and Informal Requirements
by Aneesh Krishna Aditya, Aditya K. Ghose — 2004 — Proceedings of IWPSE 2004 (held in conjunction with RE 04 - 12th IEEE International Requirements Engineering Conference
…Co-evolution of complementary formal and informal requirements Aneesh Krishna, Aditya K. Ghose…
Add To MetaCart

Loosely-coupled" Consistency between Agent-Oriented Conceptual Models and Z Specifications
by Aneesh Krishna Aditya, Aditya K. Ghose — 2005
…“Loosely-coupled” Consistency between Agent-Oriented Conceptual Models and Z Specifications Aneesh…
Add To MetaCart

Combining Agent-Oriented Conceptual Modelling with Formal Methods
by Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna — 2004 — Proceedings of ASWEC-2004: The 2004 Australian Software Engineering Conference
…. Ghose and Aneesh Krishna Decision Systems Lab, School of IT and Computer Science University…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB