University of Limerick Institutional Repository

'Loosely-coupled' consistency between agent-oriented conceptual models and Z specifications

DSpace Repository

Show simple item record

dc.contributor.author Krishna, Aneesh
dc.contributor.author Ghose, Aditya K.
dc.contributor.author Vilkomir, Sergiy A.
dc.date.accessioned 2009-05-13T10:22:42Z
dc.date.available 2009-05-13T10:22:42Z
dc.date.issued 2005
dc.identifier.citation Krishna, A., Ghose, A., Vilkomir, S., (2005) 'Loosely-coupled' Consistency Between Agent-oriented Conceptual Models and Z Specifications", Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE '05), July 14-16, 2005, Taipei, Taiwan, Republic of China. en
dc.identifier.uri http://hdl.handle.net/10344/155
dc.description non-peer-reviewed
dc.description.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 complement requirements modelling notations with formal specifications, while preserving the consistency between them. en
dc.language.iso eng en
dc.relation.ispartofseries Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE '05);
dc.subject agent-oriented conceptual modelling
dc.title 'Loosely-coupled' consistency between agent-oriented conceptual models and Z specifications en
dc.type Conference item en
dc.type.supercollection all_ul_research en
dc.type.restriction none en
dc.identifier.local 09SQRL1027
dc.contributor.sponsor SFI


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics