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

DSpace Home
→
Faculty of Science and Engineering
→
Centres Science and Engineering
→
SQRL - Software Quality Research Laboratory
→
View Item

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