Sciweavers

1027 search results - page 150 / 206
» A Model for Java with Wildcards
Sort
View
CBSE
2009
Springer
15 years 8 months ago
Extracting Behavior Specification of Components in Legacy Applications
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
Tomás Poch, Frantisek Plasil
GI
2001
Springer
15 years 7 months ago
Specifying Component Invariants with OCL
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
Rolf Hennicker, Hubert Baumeister, Alexander Knapp...
136
Voted
NPAR
2000
ACM
15 years 7 months ago
Animated CharToon faces
Human faces are attractive and effective in every-day communication. In human-computer interaction, because of the lack of sufficient knowledge and appropriate tools to model and ...
Zsófia Ruttkay, Han Noot
SIGCSE
2000
ACM
193views Education» more  SIGCSE 2000»
15 years 7 months ago
Experimentation with bounded buffer synchronization
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
Steven Robbins
127
Voted
SIGMOD
2000
ACM
121views Database» more  SIGMOD 2000»
15 years 7 months ago
TIP: A Temporal Extension to Informix
Commercial relational database systems today provide only limited temporal support. To address the needs of applications requiring rich temporal data and queries, we have built TI...
Jun Yang 0001, Huacheng C. Ying, Jennifer Widom