Sciweavers

414 search results - page 6 / 83
» Reflections on the Object Constraint Language
Sort
View
DLS
2007
133views Languages» more  DLS 2007»
15 years 1 months ago
Mirages: behavioral intercession in a mirror-based architecture
Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, l...
Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont,...
MODELLIERUNG
2001
14 years 11 months ago
Applicability of the Object Constraint Language (OCL) in Commercial Software Development for Vehicle Routing and Scheduling Soft
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
Peter Wendorff
SAS
2004
Springer
132views Formal Methods» more  SAS 2004»
15 years 2 months ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
Qi Sun, Anindya Banerjee, David A. Naumann
REFLECTION
1999
Springer
15 years 1 months ago
jContractor: A Reflective Java Library to Support Design by Contract
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...
Murat Karaorman, Urs Hölzle, John L. Bruno
CVPR
2008
IEEE
15 years 11 months ago
3D pose refinement from reflections
We demonstrate how to exploit reflections for accurate registration of shiny objects: The lighting environment can be retrieved from the reflections under a distant illumination a...
Pascal Lagger, Mathieu Salzmann, Vincent Lepetit, ...