Sciweavers

890 search results - page 76 / 178
» software 1998
Sort
View
APSEC
1998
IEEE
14 years 2 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...
SCM
1998
13 years 11 months ago
System Modeling Resurrected
Over the past few years, research into system modeling has dwindled in favor of other interests in the field of configuration management. Outside influence, in the form of the emer...
André van der Hoek, Dennis Heimbigner, Alex...
JSA
1998
94views more  JSA 1998»
13 years 9 months ago
Trading computing power with ReGTime
ReGTime1 (Rent Giga ops someTimes) is a software package for an envisioned \computing power market". ReGTime helps customers to search for providers who allow their workstati...
Bernd Dreier, Annja Huber, Theo Ungerer, Markus Za...
APSEC
1998
IEEE
14 years 2 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...
IFIP3
1998
130views Education» more  IFIP3 1998»
13 years 11 months ago
A Platform for the Implementation of the Services of an Educational Network
Multimedia and hypermedia had and still have a tremendous impact on the evolution of educational software. In this paper we propose a platform for the implementation of the servic...
Christos Bouras, Apostolos Gkamas