1448 search results - page 164 / 290 » From Requirements to Code Revisited |
120
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
240
Voted
SENSYS
2006
ACM
15 years 9 months ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
152
Voted
GI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
165
Voted
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
145
Voted
ICS
2000
Tsinghua U.
15 years 7 months ago
2000
Tsinghua U.
Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. High-level language and compiler support for developing ...