2493 search results - page 101 / 499 » Tool Support for Design by Contract |
BCSHCI
2009
14 years 11 months ago
2009
This paper is about the evolution of a system prototype called Pensieve whose goal is to support people's reminiscing practices. A number of technologies exist to manage memo...
FGCS
2007
14 years 9 months ago
2007
In this paper we present CAMELotGrid, a tool to manage Grid computations of Cellular Automata that support the efficient simulation of complex systems modeled by a very large numb...
ACHI
2009
IEEE
15 years 4 months ago
2009
IEEE
— Given its current state of the art, Model-Based UI Development (MBDUI) is able to fulfill the major requirements of desktop and mobile applications, such as form-based user int...
ER
2008
Springer
14 years 11 months ago
2008
Springer
Modern information systems, and web information systems in particular, are faced with frequent database schema changes, which generate the necessity to manage them and preserve the...
ER
1995
Springer
15 years 1 months ago
1995
Springer
Abstract The most difficult and time consuming activity to perform during view integration is to find correspondences between different view specifications. Such correspondences...