Sciweavers

3943 search results - page 14 / 789
» Architecture-Level Requirements Specification
Sort
View
IFIP
1992
Springer
14 years 2 months ago
Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
Jochen Beister, Ralf Wollowski
SAM
2004
114views Hardware» more  SAM 2004»
14 years 7 days ago
Applying Reduction Techniques to Software Functional Requirement Specifications
Jameleddine Hassine, Rachida Dssouli, Juergen Rill...