1592 search results - page 86 / 319 » Software Process - Standards, Assessments and Improvement |
118
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
WOSP
2000
ACM
15 years 3 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
100
click to vote
SOCO
2002
Springer
14 years 11 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
We propose Tree Hash to reduce bucket overflow, which is one of the inherent problems in dynamic hash techniques. In this investigation, we dicuss how to improve efficien cy of Tre...
112
click to vote
ISSTA
1993
ACM
15 years 3 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...