Event based modelling, analysis and testing of user interactions: approach and case study (English)
- New search for: Belli, F.
- New search for: Budnik, C.J.
- New search for: White, L.
- New search for: Belli, F.
- New search for: Budnik, C.J.
- New search for: White, L.
In:
Software Testing, Verification and Reliability
;
16
, 1
;
3-32
;
2006
-
ISSN:
- Article (Journal) / Print
-
Title:Event based modelling, analysis and testing of user interactions: approach and case study
-
Contributors:
-
Published in:Software Testing, Verification and Reliability ; 16, 1 ; 3-32
-
Publisher:
-
Publication date:2006
-
Size:30 Seiten, 50 Quellen
-
ISSN:
-
Coden:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 16, Issue 1
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Editorial: Testing for real!Woodward, Martin et al. | 2006
- 3
-
Event‐based modelling, analysis and testing of user interactions: approach and case studyBelli, Fevzi / Budnik, Christof J. / White, Lee et al. | 2006
- 33
-
Formal analysis of some secure procedures for certificate deliveryMartinelli, Fabio / Petrocchi, Marinella / Vaccarelli, Anna et al. | 2006
- 61
-
Testing Commercial‐off‐the‐Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Published by Springer‐Verlag, Heidelberg, Germany, 2005. ISBN: 3‐540‐21871‐8, pp 410Hierons, Robert M. et al. | 2006
- 62
-
Verification and Validation for Quality of UML 2.0 Models. By Bhuvan Unhelkar. Published by John Wiley & Sons, Inc., Hoboken, NJ, U.S.A., 2005. ISBN: 0‐471‐72783‐0, 271 ppSimons, Anthony J. H. et al. | 2006