1128 search results - page 73 / 226 » Little Engines of Proof |
66
Voted
FASE
2005
Springer
15 years 3 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
80
Voted
ISSRE
2002
IEEE
15 years 2 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
ESEM
2009
ACM
15 years 2 months ago
2009
ACM
In the software engineering literature, many works claim that the use of design patterns improves the comprehensibility of programs and, more generally, their maintainability. Yet...
89
Voted
PFE
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Product family architectures need to be captured much like “regular” software architectures. Unfortunately, representations for product family architectures are scarc...
IWPC
2000
IEEE
15 years 2 months ago
2000
IEEE
As a software system evolves, its architecture will drift. System changes are often done without considering their effects on the system structure. These changes often introduce s...