1759 search results - page 41 / 352 » Overview of Generative Software Development |
116
click to vote
FMOODS
2007
15 years 3 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
130
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
110
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
117
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
— Robots are increasingly being used in Computer Integrated Surgery (CIS) systems, yet to our knowledge, there is no open source software that is specifically targeted at this a...