Sciweavers

8 search results - page 1 / 2
» apsec 1998
Sort
View
APSEC
1998
IEEE
13 years 8 months ago
Interpreting the Object Constraint Language
The Object Constraint Language (OCL), which forms part
Ali Hamie, John Howse, Stuart Kent
APSEC
1998
IEEE
13 years 8 months ago
A Comprehensive Interface Definition Framework for Software Components
Component based software engineering (CBSE) represents an exciting and promising paradigm for software development, attracting much interest and effort from industrial practice an...
Jun Han
APSEC
1998
IEEE
13 years 8 months ago
An Automatic Test Case Generator Derived from State-Based Testing
This paper describes an automated approach to generating test cases for an object-oriented class. The approach is derived from state-based testing methods and refers to a state ma...
Bor-Yuan Tsai, Simon Stobart, Norman Parrington, I...
APSEC
1998
IEEE
13 years 8 months ago
A Refinement Calculus for the Development of Real-Time Systems
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodon...
APSEC
1998
IEEE
13 years 8 months ago
A Computing Model for Distributed Processing Systems and Its Application
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
Hisashi Okada, Hiromichi Iwata, Haruo Toyama, Yosh...