Sciweavers

ENTCS
2002
90views more  ENTCS 2002»
13 years 11 months ago
Refactoring in maintenance and development of Z specifications
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
Susan Stepney, Fiona Polack, Ian Toyn
ICMB
2005
IEEE
136views Business» more  ICMB 2005»
14 years 5 months ago
The Web of Augmented Physical Objects
This article investigates the growing complexity and connectivity between two former separated interaction spaces – the real and the virtual world. It is our attempt to augment ...
Thomas Nicolai, Florian Resatsch, Daniel Michelis