1229 search results - page 145 / 246 » Reflections on the Design of a Specification language |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
UML
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
DOCENG
2003
ACM
14 years 1 months ago
2003
ACM
A number of applications that process XML documents interpret them as objects of application specific classes in a given domain. Generic interfaces such as SAX and DOM leave this ...
HCSE
2010
13 years 5 months ago
2010
While multimodal interfaces are becoming more and more used and supported, their development is still difficult and there is a lack of authoring tools for this purpose. The goal of...