738 search results - page 27 / 148 » Object Orientation and Formal Techniques |
86
Voted
CC
1999
Springer
14 years 10 months ago
1999
Springer
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
113
Voted
ICSE
1992
IEEE-ACM
15 years 3 months ago
1992
IEEE-ACM
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes that can be confidently reused for many applications, few class testing technique...
102
Voted
ECOOP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Starting from the advantages of using Feature-Oriented Programming (FOP) and program families to support software evolution, this paper discusses the drawbacks of current...
ICALT
2005
IEEE
15 years 4 months ago
2005
IEEE
Visualization techniques are commonly used in computer science, particularly for understanding the interactions intrinsic in the object-oriented paradigm. The visualization effect...
100
Voted
SIGMOD
2003
ACM
15 years 11 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...