Sciweavers

537 search results - page 44 / 108
» tools 1999
Sort
View
FM
1999
Springer
114views Formal Methods» more  FM 1999»
15 years 10 months ago
Integrating Formal Description Techniques
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
Bernhard Schätz, Franz Huber
LCTRTS
1999
Springer
15 years 10 months ago
Live Memory Analysis for Garbage Collection in Embedded Systems
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
Patrik Persson
ICSE
1999
IEEE-ACM
15 years 10 months ago
Lightweight Extraction of Object Models from Bytecode
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...
Daniel Jackson, Allison Waingold
MICCAI
1999
Springer
15 years 10 months ago
A Steady-Hand Robotic System for Microsurgical Augmentation
This paper reports the development of a robotic system designed to extend a human’s ability to perform small-scale (sub-millimeter) manipulation tasks requiring human judgement, ...
Russell H. Taylor, Patrick S. Jensen, Louis L. Whi...
TOOLS
1999
IEEE
15 years 10 months ago
A "Framework" for Object Oriented Frameworks Design
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
David Parsons, Awais Rashid, Andreas Speck, Alexan...