Sciweavers

3192 search results - page 370 / 639
» A Requirements-Driven Development Methodology
Sort
View
SIGDOC
1997
ACM
15 years 10 months ago
CogentHelp: A Tool for Authoring Dynamically Generated Help for Java GUIs
CogentHelp is a prototype tool for authoring dynamically generated on-line help for applications with graphical user interfaces (GUIs) built using the tract Windowing Toolkit (AWT...
David E. Caldwell, Michael White
EUROMICRO
1996
IEEE
15 years 10 months ago
A Graph Rewriting Approach for Transformational Design of Digital Systems
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
Corrie Huijs
DAC
1996
ACM
15 years 10 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
KIVS
1997
Springer
15 years 10 months ago
Conformance Testing of Objects in Distributed Processing Systems
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing...
Brigitte Bär, Kurt Geihs
ICCAD
1994
IEEE
116views Hardware» more  ICCAD 1994»
15 years 10 months ago
Design of heterogeneous ICs for mobile and personal communication systems
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of exibility, performance and power...
Gert Goossens, Ivo Bolsens, Bill Lin, Francky Catt...