16725 search results - page 461 / 3345 » Engineering Software Correctness |
156
click to vote
SEE
1989
Springer
15 years 10 months ago
1989
Springer
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
179
click to vote
SEW
2003
IEEE
15 years 11 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...