1005 search results - page 4 / 201 » Formal Software Development in MAYA |
110
click to vote
FCA
2005
Springer
15 years 5 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
112
click to vote
KBSE
1997
IEEE
15 years 3 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
FORTE
1998
15 years 1 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
CSI
1998
14 years 11 months ago
1998