Sciweavers

6581 search results - page 69 / 1317
» Formalizing Design Patterns
Sort
View
129
Voted
ISORC
2000
IEEE
15 years 6 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
119
Voted
CHI
2005
ACM
16 years 3 months ago
"I hear the pattern": interactive sonification of geographical data patterns
In this paper we describe our investigation of using interactive sonification (non-speech sound) to present the geographical distribution pattern of statistical data to vision imp...
Haixia Zhao, Catherine Plaisant, Ben Shneiderman
121
Voted
DAC
2002
ACM
16 years 3 months ago
Deriving a simulation input generator and a coverage metric from a formal specification
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
Kanna Shimizu, David L. Dill
164
Voted
JOOP
1998
98views more  JOOP 1998»
15 years 2 months ago
Design Patterns as Language Constructs
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
Jan Bosch
123
Voted
ICSM
2005
IEEE
15 years 8 months ago
Design Pattern Mining Enhanced by Machine Learning
Design patterns present good solutions to frequently occurring problems in object-oriented software design. Thus their correct application in a system’s design may significantl...
Rudolf Ferenc, Árpád Beszédes...