627 search results - page 20 / 126 » Experiences in Modeling for a Domain Specific Language |
SAC
2008
ACM
14 years 10 months ago
2008
ACM
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...
121
click to vote
ISORC
1998
IEEE
15 years 3 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
ENTCS
2006
14 years 11 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
142
click to vote
IJCAI
1989
15 years 10 days ago
1989
One view of expert system development separates the endeavor into two parts. First, a domain expert, with the aid of a knowledge engineer, articulates a procedure for performing t...
97
Voted
SIGSOFT
1996
ACM
15 years 3 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...