741 search results - page 62 / 149 » Automatic Generation and Validation of Models of Legacy Soft... |
CAISE
2000
Springer
15 years 2 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
100
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
ECBS
2006
IEEE
15 years 4 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
IESS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...