Sciweavers

9739 search results - page 76 / 1948
» Object-Oriented Analysis and Design
Sort
View
CC
2012
Springer
227views System Software» more  CC 2012»
13 years 11 months ago
Programming Paradigm Driven Heap Analysis
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
Mark Marron, Ondrej Lhoták, Anindya Banerje...
119
Voted
MIR
2010
ACM
179views Multimedia» more  MIR 2010»
15 years 2 months ago
Speculation on the generality of the backward stepwise view of PCA
A novel backwards viewpoint of Principal Component Analysis is proposed. In a wide variety of cases, that fall into the area of Object Oriented Data Analysis, this viewpoint is se...
J. S. Marron, Sungkyu Jung, Ian L. Dryden
107
Voted
FM
2009
Springer
92views Formal Methods» more  FM 2009»
15 years 10 months ago
Field-Sensitive Value Analysis by Field-Insensitive Analysis
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
168
Voted
AIED
2007
Springer
15 years 7 months ago
Evaluating a Collaborative Constraint-based Tutor for UML Class Diagrams
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...
Nilufar Baghaei, Antonija Mitrovic
129
Voted
ESOP
1999
Springer
15 years 7 months ago
Interprocedural Control Flow Analysis
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
Flemming Nielson, Hanne Riis Nielson