Sciweavers

954 search results - page 14 / 191
» An Object-Oriented Approach to Feature Interaction
Sort
View
TCS
2002
13 years 9 months ago
A formal approach to object-oriented software engineering
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
Martin Wirsing, Alexander Knapp
ECOOP
2012
Springer
12 years 7 days ago
Object Initialization in X10
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
Yoav Zibin, David Cunningham, Igor Peshansky, Vija...
SPIN
2004
Springer
14 years 3 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
ISBI
2009
IEEE
14 years 4 months ago
A New Interactive Method for Coronary Arteries Segmentation Based on Tubular Anisotropy
In this paper we present a new interactive method for tubular structure extraction. The main application and motivation for this work is vessel tracking in 3D medical images. The ...
Fethallah Benmansour, Laurent D. Cohen
WOSS
2004
ACM
14 years 3 months ago
Resource-based approach to feature interaction in adaptive software
This paper proposes the RAFTING approach (Resourcebased Approach to FeaTure InteractioN) to address the feature interaction problem in the context of dynamically adapted software....
Jesus Bisbal, Betty H. C. Cheng