2700 search results - page 353 / 540 » The role of abstraction in software engineering |
161
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
152
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
163
click to vote
SIGCSE
1999
ACM
15 years 10 months ago
1999
ACM
In order to build a data structure that is extensible and reusable, it is necessary to decouple the intrinsic and primitive behavior of the structure from the application specific...
155
click to vote
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
169
click to vote
ECOOPW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...