Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

ASWEC
2004
IEEE

favoriteEmaildiscussreport

79views Software Engineering» more ASWEC 2004»

Combining Agent-Oriented Conceptual Modelling with Formal Methods

13 years 8 months ago

Combining Agent-Oriented Conceptual Modelling with Formal Methods

Download www.csis.ul.ie

Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn

Real-time Traffic

ASWEC 2004 | Software Engineering |

claim paper

Related Content

» AgentOriented Modelling and Specification of Web Services

» Applying the UFO Ontology to Design an AgentOriented Engineering Language

» CAMLE A CasteCentric AgentOriented Modelling Language and Environment

» Tropos An AgentOriented Software Development Methodology

» OOMETHOD An OO Software Production Environment Combining Conventional and Formal Methods

» Transforming OntoUML into Alloy towards conceptual model validation using a lightweight fo...

» Conceptual Exploration of Semantic Mirrors

» Combining Predicate and Numeric Abstraction for Software Model Checking

» Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual...

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2004
Where	ASWEC
Authors	Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna

Comments (0)