1229 search results - page 49 / 246 » Reflections on the Design of a Specification language |
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
ISORC
1999
IEEE
14 years 14 days ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
MDAFA
2004
Springer
14 years 1 months ago
2004
Springer
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
DPPI
2007
ACM
14 years 4 days ago
2007
ACM
This paper documents a first attempt at "designing for the self", an approach to designing products intended to help people move closer to their idealized sense of self a...
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...