2556 search results - page 118 / 512 » The Triconnected Abstraction of Process Models |
145
click to vote
RE
2010
Springer
15 years 29 days ago
2010
Springer
Abstract--The paper describes the quotations gathered during interviews and focus groups during a consulting engagement to help the client improve its requirements engineering (RE)...
182
click to vote
WETICE
2005
IEEE
15 years 11 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
268
Voted
VLSI
2007
Springer
16 years 10 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
154
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
163
click to vote
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...