Sciweavers

433 search results - page 2 / 87
» A Framework for Distributed Object-Oriented Testing
Sort
View
FMCO
2007
Springer
196views Formal Methods» more  FMCO 2007»
13 years 8 months ago
Coordinating Object Oriented Components Using Data-Flow Networks
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
Mohammad Mahdi Jaghoori
COMPSAC
1999
IEEE
13 years 8 months ago
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework, Apple's Rhaspody, OpenStep, and WebObjects, and DIWB. However, few guide...
Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Eb...
TACAS
2005
Springer
158views Algorithms» more  TACAS 2005»
13 years 10 months ago
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
Tao Xie, Darko Marinov, Wolfram Schulte, David Not...
ISORC
2000
IEEE
13 years 8 months ago
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
Laurent Pautet, Samuel Tardieu