Sciweavers

8056 search results - page 255 / 1612
» Object Behavior Analysis
Sort
View
CODES
1999
IEEE
15 years 11 months ago
A unified formal model of ISA and FSMD
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
Jianwen Zhu, Daniel Gajski
143
Voted
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
16 years 1 months ago
Incremental Reasoning for Multiple Inheritance
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Mart...
INTERNET
2006
144views more  INTERNET 2006»
15 years 6 months ago
Analyzing Conversations of Web Services
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
Tevfik Bultan, Jianwen Su, Xiang Fu
DEXAW
2005
IEEE
159views Database» more  DEXAW 2005»
16 years 7 days ago
A Self-Healing Approach for Object-Oriented Applications
In this paper, we present our approach and architecture for fault diagnosis and self-healing of interpreted objectoriented applications. By combining aspect-oriented programming, ...
A. Reza Haydarlou, Benno J. Overeinder, Frances M....
EUROMICRO
2003
IEEE
15 years 12 months ago
Object-Oriented Mutation to Asses the Quality of Tests
The quality of a test suite can be measured using mutation analysis. Groups of OO mutation operators are proposed for testing object-oriented features. The OO operators applied to...
Anna Derezinska