Sciweavers

833 search results - page 9 / 167
» A Domain Specific Language for Project Execution Models
Sort
View
WSC
2007
13 years 10 months ago
From domain ontologies to modeling ontologies to executable simulation models
Ontologies allow researchers, domain experts, and software agents to share a common understanding of the concepts and relationships of a domain. The past few years have seen the p...
Gregory A. Silver, Osama Al-Haj Hassan, John A. Mi...
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
14 years 1 months ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...
FMICS
2006
Springer
13 years 11 months ago
jmle: A Tool for Executing JML Specifications Via Constraint Programming
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
Ben Krause, Tim Wahls
CAISE
2007
Springer
14 years 2 months ago
PICTURE - A new Approach for Domain-Specific Process Modelling
In this paper a new process modelling method especially for public administrations is presented. With established generic process modelling methods reorganisation projects in this ...
Jörg Becker, Daniel Pfeiffer, Michael Rä...
ROMAN
2007
IEEE
173views Robotics» more  ROMAN 2007»
14 years 2 months ago
Situation-Aware Interpretation, Planning and Execution of User Commands by Autonomous Robots
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
Michael Brenner