Sciweavers

9 search results - page 2 / 2
» iceccs 1995
Sort
View
ICECCS
1995
IEEE
114views Hardware» more  ICECCS 1995»
13 years 8 months ago
The role of secondary attributes in formal object modelling
When modelling a large and complex system, clarzty of the speczfication becomes an znaportant factor. I n object-oriented specification, the states of individual objects are captu...
Jin Song Dong, Gordon A. Rose, Roger Duke
ICECCS
1995
IEEE
228views Hardware» more  ICECCS 1995»
13 years 8 months ago
A combined functional and object-oriented approach to software design
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction. The pure object-orienteddesign and structured des...
Haifeng Qian, Eduardo B. Fernández, Jie Wu
ICECCS
1995
IEEE
108views Hardware» more  ICECCS 1995»
13 years 8 months ago
Using speculative execution for fault tolerance in a real-time system
Achieving fault-tolerance using a primary-backup approach involves overhead of recovery such as activating the backup and propagating execution states, which may a ect the timelin...
Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, ...
ICECCS
1995
IEEE
100views Hardware» more  ICECCS 1995»
13 years 8 months ago
POSD-a notation for presenting complex systems of processes
When trying to describe the behaviour of large systems, such as the business processes of large enterprises, we often adopt diagramming techniques based on derivatives of data flo...
Peter Henderson, Graham D. Pratten