Sciweavers

2478 search results - page 256 / 496
» Quadtrees as an Abstract Domain
Sort
View
DSVIS
2000
Springer
15 years 11 months ago
Wisdom - A UML Based Architecture for Interactive Systems
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
Nuno Jardim Nunes, João Falcão e Cun...
163
Voted
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
AGTIVE
1999
Springer
15 years 11 months ago
DiTo - A Distribution Tool Based on Graph Rewriting
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
Ansgar Radermacher
ECOOP
1999
Springer
15 years 11 months ago
Synthesizing Objects
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
Krzysztof Czarnecki, Ulrich W. Eisenecker
CGI
1998
IEEE
15 years 11 months ago
An Object-Oriented Approach to Model Scenes of Buildings
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
Thierry Matthey, Hanspeter Bieri