311 search results - page 3 / 63 » Object Invariants in Dynamic Contexts |
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
ECOOP
2007
Springer
15 years 1 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
TCSV
2008
14 years 9 months ago
2008
Abstract--This work is dedicated to a statistical trajectorybased approach addressing two issues related to dynamic video content understanding: recognition of events and detection...
IWPC
2009
IEEE
15 years 4 months ago
2009
IEEE
Visualizing an execution trace of an object-oriented system as sequence diagrams is effective to understand the behavior of the system. To support developers to understand concret...