15779 search results - page 2572 / 3156 » Change-oriented software engineering |
148
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
165
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
143
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
164
click to vote
EDBTW
2004
Springer
15 years 10 months ago
2004
Springer
Many users and applications require the integration of semi-structured data from autonomous, heterogeneous Web sources. Over the last years mediator systems have emerged that use d...
143
click to vote
AGILEDC
2003
IEEE
15 years 10 months ago
2003
IEEE
One of the myths of Agile Development is that selforganizing teams do not need direction. The agile development movement focuses primarily on programmers – programmers should do...