8627 search results - page 366 / 1726 » Software Engineering Using RATionale |
189
click to vote
IWPC
1999
IEEE
15 years 11 months ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
159
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
This TechNote reports on our initial results of realizing a computer augmented wall called the HoloWall. Using an infrared camera located behind the wall, this system allows a use...
138
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
223
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
175
click to vote
ECSA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...