Sciweavers

5668 search results - page 346 / 1134
» Overlaps in Requirements Engineering
Sort
View
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
159
Voted
ICSE
1994
IEEE-ACM
15 years 10 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 10 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
FSEN
2007
Springer
15 years 10 months ago
Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack
Abstract. Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. Th...
Mahdi Niamanesh, Sirwah Sabetghadam, Reza Yousefza...