3255 search results - page 298 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
167
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...
185
click to vote
IJIT
2004
15 years 8 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
197
click to vote
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
177
click to vote
AC
2002
Springer
15 years 6 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
183
click to vote
DAC
2006
ACM
16 years 20 days ago
2006
ACM
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...