Sciweavers

1209 search results - page 91 / 242
» On the Resilience of Classes to Change
Sort
View
CSMR
1998
IEEE
15 years 10 months ago
Object Evolution by Model Evolution
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
Roland Mittermeir, Helfried Pirker, Dominik Rauner...
ICCD
1992
IEEE
84views Hardware» more  ICCD 1992»
15 years 10 months ago
Synthesis of 3D Asynchronous State Machines
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...
Kenneth Y. Yun, David L. Dill, Steven M. Nowick
3DPVT
2004
IEEE
159views Visualization» more  3DPVT 2004»
15 years 10 months ago
Blind Watermarking of 3D Shapes using Localized Constraints
This paper develops a digital watermarking methodology for 3-D graphical objects defined by polygonal meshes. In watermarking or fingerprinting the aim is to embed a code in a giv...
Adrian G. Bors
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 10 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
IFM
2000
Springer
15 years 10 months ago
Structural Refinement in Object-Z/CSP
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
John Derrick, Graeme Smith