Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 6. 2011
Timmer, M. and Brinksma, H. and Stoelinga, M.I.A.
(2011)
Model-Based Testing.
In:
Software and Systems Safety: Specification and Verification.
NATO Science for Peace and Security Series D: Information and Communication Security 30.
IOS Press, Amsterdam, pp. 1-32.
ISSN 1874-6268
ISBN 978-1-60750-710-9
2005
Broy, M. and Jonsson, B. and Katoen, J.P. and Leucker, M. and Pretschner, A., ed.
(2005)
Model-Based Testing of Reactive Systems, Advanced Lectures.
Lecture Notes in Computer Science 3472.
Springer-Verlag, Berlin.
ISBN 3 540 26278 4
Belinfante, A.F.E. and Frantzen, L. and Schallhart, C.
(2005)
Tools for Test Case Generation.
In:
Model-Based Testing of Reactive Systems: Advanced Lectures.
Lecture Notes in Computer Science 3472.
Springer Verlag, pp. 391-438.
ISBN 3 540 26278 4
Brandán Briones, L. and Röhl, M.
(2005)
Test Derivation from Timed Automata.
In:
Model-Based Testing of Reactive Systems.
Lecture Notes in Computer Science 3472.
Springer Verlag, Berlin, pp. 201-231.
ISBN 3 540 26278 4
1998
Wieringa, R.J. and Broersen, J.M.
(1998)
A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams.
In: Proceedings ICSE Workshop om Precise Semantics for Software Modeling Techniques, 20 April 1998, Kyoto, Japan.
pp. 129-151.
Technische Universitat Munchen TUM-I9803.
ISBN not assigned
Wieringa, R.J.
(1998)
Postmodern Software Design with NYAM: Not Yet Another Method.
In: International Workshop on Requirements Targeting Software and Systems Engineering (RTSE), 12-14 October 1997, Bernried, Germany.
pp. 69-94.
Lecture Notes in Computer Science 1526.
Springer.
ISBN 978-3-540-65309-7
This list was generated on Thu May 24 05:42:30 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||