Sciweavers

5182 search results - page 309 / 1037
» COTS-Based Requirements Engineering
Sort
View
ADAEUROPE
1998
Springer
15 years 11 months ago
PINROB: A Portable API for Industrial Robots
: This paper describes a software architecture for industrial robots used in manufacturing equipment. In order to achieve software portability, the application software is dissocia...
Michael González Harbour, R. Gómez S...
PASTE
1998
ACM
15 years 11 months ago
Static Slicing of Threaded Programs
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing met...
Jens Krinke
ICSE
1998
IEEE-ACM
15 years 11 months ago
Architecture-Based Runtime Software Evolution
Continuous availability is a critical requirement for an important class of software systems. For these systems, runtime system evolution can mitigate the costs and risks associat...
Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor
ICSE
1994
IEEE-ACM
15 years 11 months ago
Applying Formal Methods for Human Error Tolerant Design
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
Bob Fields, Peter C. Wright, Michael D. Harrison
IUI
1993
ACM
15 years 11 months ago
The study of models of intelligent interfaces
Researchers in the field of intelligent interfaces have concentrated on building architectures, and have placed little emphasis on defining appropriate models. As a result, this...
Angel R. Puerta