677 search results - page 6 / 136 » Rigorous Object-Oriented Analysis |
156
click to vote
TACAS
1999
Springer
15 years 10 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
131
click to vote
ACE
2004
15 years 7 months ago
2004
Lister and Leaney (Lister and Leaney, 2003b) presented a "coherent, explicit grading philosophy based on Bloom's taxonomy". I applied this philosophy to a second ye...
185
click to vote
TSE
1998
15 years 6 months ago
1998
—With the increasing use of object-oriented methods in new software development there is a growing need to both document and improve current practice in object-oriented design an...
187
Voted
FCA
2005
Springer
15 years 12 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
182
click to vote
ICST
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...