1578 search results - page 229 / 316 » CASE Support for the Software Process: Advances and Problems |
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
ECBS
2007
IEEE
14 years 3 months ago
2007
IEEE
Design patterns document expert design experience in software system development. They have been applied in many existing software systems. However, pattern information is general...
FSTTCS
2008
Springer
13 years 10 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
IWPC
2000
IEEE
14 years 1 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...