Sciweavers

2092 search results - page 134 / 419
» A domain specific modeling language for multiagent systems
Sort
View
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
15 years 2 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
FMSD
2006
131views more  FMSD 2006»
14 years 10 months ago
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
Peter Csaba Ölveczky, José Meseguer, C...
BIRTHDAY
2010
Springer
14 years 11 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
APN
2000
Springer
15 years 2 months ago
UML - A Universal Modeling Language?
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to ...
Gregor Engels, Reiko Heckel, Stefan Sauer
EACL
1989
ACL Anthology
14 years 11 months ago
A Metaplan Model For Problem-Solving Discourse
The structure of problem-solving discourse in the expert advising setting can be modeled by adding a layer of metaplans to a plan-based model of the task domain. Classes of metapl...
Lance A. Ramshaw