3706 search results - page 378 / 742 » The Transformational Approach to Program Development |
149
click to vote
ACCV
1998
Springer
15 years 8 months ago
1998
Springer
One of the important problems related to image analysis and compression is finding repeated structure. Although the focus of this paper is developing digital geometric models and m...
143
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
128
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...
124
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. As personalization and device independence become prominent issues in Web development, tools to adapt existing Web Information Systems (WISs) are required. Still, current...
137
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...