Sciweavers

2272 search results - page 251 / 455
» Capture Complexity by Partition
Sort
View
153
Voted
UML
1999
Springer
15 years 8 months ago
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
Holger Giese, Jörg Graf, Guido Wirtz
124
Voted
SIGSOFT
1998
ACM
15 years 7 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
108
Voted
WADT
1998
Springer
15 years 7 months ago
Semantic Constructions for Hidden Algebra
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
Corina Cîrstea
119
Voted
HICSS
1996
IEEE
139views Biometrics» more  HICSS 1996»
15 years 7 months ago
Strictly Class-Based Modeling Considered Harmful
Many object-oriented methods have assumed classbased approaches, without considering prototype-based ones. Some authors, while admitting prototypes as a useful concept, only envis...
Birgitte Krogh, Sean Levy, Allen H. Dutoit, Eswara...
118
Voted
DAC
1996
ACM
15 years 7 months ago
RTL Emulation: The Next Leap in System Verification
ion. Production use of text-based methodology has enabled designers to capture designs of hundreds of thousands of gates using graphic ESDA tools. Source: Data Quest (Verilog/VHDL ...
Sanjay Sawant, Paul Giordano