10159 search results - page 626 / 2032 » System Design Validation Using Formal Models |
168
click to vote
BPM
2003
Springer
16 years 11 days ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
221
Voted
SBCCI
2003
ACM
16 years 12 days ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
189
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
183
Voted
ICSM
2005
IEEE
16 years 22 days ago
2005
IEEE
In order to build predictors of the maintainability of evolving software, we first need a means for measuring maintainability as well as a training set of software modules for whi...
199
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
This paper proposes to analyze two flow line systems in which we include possibilistic data -the priority-discipline is possibilistic instead of probabilistic- and measure the perf...