5608 search results - page 484 / 1122 » Structure description tools |
161
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling b...
164
click to vote
ICFEM
1998
Springer
15 years 11 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
198
click to vote
APN
1994
Springer
15 years 11 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
230
click to vote
CIKM
1994
Springer
15 years 11 months ago
1994
Springer
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
151
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
Most existing high-level synthesis(HLS) systems attempt to generate a circuit from a behavioral description \out of the void", using the entire design space as the search dom...