1128 search results - page 193 / 226 » Little Engines of Proof |
73
Voted
IWPC
2002
IEEE
15 years 2 months ago
2002
IEEE
It is a little over ten years since Chidamber and Kemerer's obje ct-oriented (OO) metric suite which included the Lack of Cohesion Of Methods (LCOM) metric was rst proposed 9...
96
Voted
EMSOFT
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
IWSAS
2001
Springer
15 years 1 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
AC
1999
Springer
15 years 1 months ago
1999
Springer
Prior to 1994, student registration at Newcastle University involved students being registered in a single place, where they would present a form which had previously been filled ...
COMPSAC
1997
IEEE
15 years 1 months ago
1997
IEEE
Building a system at the architectural level can be thought of as decomposition into components followed by a series of exercises in matching. Components must be composed with eac...