2974 search results - page 384 / 595 » Model-Driven Constraint Programming |
173
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
168
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
160
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...
144
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
169
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....