897 search results - page 33 / 180 » Reuse, Validation and Verification of System Development Pro... |
ECOOP
1998
Springer
14 years 1 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
ECIS
2000
13 years 10 months ago
2000
- In this paper we consider the synergy between two areas of IS literature: that concerned with the evaluation of information systems and that concerned with explaining the phenome...
HASE
2008
IEEE
13 years 9 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
IADIS
2003
13 years 10 months ago
2003
One promise that has always been made in the field of e-learning is the possibility to create and deliver learning material that is adaptable to individual learners. Realising thi...
ACSD
2006
IEEE
13 years 10 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...