Sciweavers

5439 search results - page 233 / 1088
» Patterns: from system design to software testing
Sort
View
COMPSAC
2009
IEEE
15 years 10 months ago
Software Input Space Modeling with Constraints among Parameters
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poor...
DAC
2005
ACM
16 years 5 months ago
Simulation based deadlock analysis for system level designs
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. S...
ICECCS
1998
IEEE
123views Hardware» more  ICECCS 1998»
15 years 8 months ago
Applying Slicing Technique to Software Architectures
Software architecture is receiving increasingly attention as a critical design level for software systems. As software architecture design resources (in the form of architectural ...
Jianjun Zhao
CTW
2006
53views more  CTW 2006»
15 years 4 months ago
Evaluating functional displays for hydropower system: model-based guidance of scenario design
We discuss the human role in hydropower system control, noting how it is different from other supervisory control environments and the typical shortcomings in current displays pro...
Xilin Li, Penelope Sanderson, Rizah Memisevic, Wil...
EOR
2002
66views more  EOR 2002»
15 years 3 months ago
Socio-cognitive engineering: A methodology for the design of human-centred technology
We describe a general methodology, socio-cognitive engineering, for the design of human-centred technology. It integrates software, task, knowledge and organizational engineering ...
Mike Sharples, N. Jeffery, Benedict du Boulay, Der...