845 search results - page 59 / 169 » A Formal Model of the Software Test Process |
100
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
103
click to vote
IFIP
1989
Springer
15 years 4 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
107
Voted
HCI
2009
14 years 10 months ago
2009
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...
115
click to vote
ASM
2010
ASM
15 years 3 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
108
Voted
SEW
2007
IEEE
15 years 6 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...