1759 search results - page 203 / 352 » Overview of Generative Software Development |
112
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
142
click to vote
PPPJ
2006
ACM
15 years 8 months ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
119
click to vote
RE
2004
Springer
15 years 7 months ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
135
Voted
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
117
click to vote
AVI
2004
15 years 3 months ago
2004
In this paper, we present our open source, platform independent toolkit for developing 3D talking agents, namely Xface. It relies on MPEG-4 Face Animation (FA) standard. The toolk...