10159 search results - page 416 / 2032 » System Design Validation Using Formal Models |
137
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
132
click to vote
IFM
1999
Springer
15 years 8 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
126
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
148
click to vote
FMCO
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
106
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...