1304 search results - page 238 / 261 » Model-Driven Engineering for Requirements Analysis |
METRICS
2003
IEEE
15 years 5 months ago
2003
IEEE
Estimating the effort required for software process activities continues to present difficulties for software engineers, particularly given the uncertainty and subjectivity associ...
104
click to vote
WCRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
112
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
124
click to vote
CODES
2009
IEEE
15 years 4 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...
ISSTA
2000
ACM
15 years 4 months ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...