1759 search results - page 221 / 352 » Overview of Generative Software Development |
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
107
Voted
HUC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present our approach to the design of two generations of outdoors device that enable visitors to view 3D historical reconstructions when exploring present day sites. R...
100
click to vote
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
112
click to vote
IUI
2003
ACM
15 years 6 months ago
2003
ACM
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...
109
Voted
AC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...