Search Sciweavers | Sciweavers

7580 search results - page 102 / 1516

» Prometheus design tool

128

click to vote

DSD
2002
IEEE

86views Hardware» more DSD 2002»

Using Formal Tools to Study Complex Circuits Behaviour

15 years 11 months ago

Download www-verimag.imag.fr

We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by ﬂip-ﬂops and gates. The...

Paul Amblard, Fabienne Lagnier, Michel Lévy

claim paper

Read More »

207

click to vote

GI
1994
Springer

116views Theoretical Computer Science» more GI 1994»

Tool-Based Business Process Modeling Using the SOM Approach

15 years 10 months ago

Download www.uni-bamberg.de

Business processes play an important role in analyzing and designing a company's behaviour and organization. Modeling business processes is an integral part of the Semantic O...

Otto K. Ferstl, Elmar J. Sinz, Michael Amberg, Udo...

claim paper

Read More »

172

click to vote

ECOOPW
1998
Springer

95views Distributed And Parallel Com...» more ECOOPW 1998»

Evaluating OO-CASE Tools: OO Research Meets Practice

15 years 10 months ago

Download trese.cs.utwente.nl

Current object-oriented CASE tools are useful for recording and gaining insight into OO models. They offer extensive support for especially the analysis and design of object-orien...

Danny Greefhorst, Mark van Elswijk, Mattijs Maat, ...

claim paper

Read More »

120

click to vote

DAC
1999
ACM

127views Computer Architecture» more DAC 1999»

A CAD Tool for Optical MEMS

16 years 7 months ago