Q u e l l e n z u S o f t w a r e t e s t
R e f e r e n c e s f o r s o f t w a r e t e s t
-
Die veröffentlichten Verzeichnisse zeigen lediglich Quellen an, die ich für die Erstellung der Website herangezogen habe. Es besteht kein Anspruch auf Repräsentativität oder Vollständigkeit der jeweils dargelegten Wissensgrundlage, wie auch betrachtet oder gedeutet.
-
Quelldaten aus Wikipedia und Produktherstellern werden auch auf Seite Khelil: Begriffe aufgelistet.
-
Wenn Unterlagen im digitalen Format vorliegen, werden sie zum Abruf bereitgestellt, vorausgesetzt Rechte von Dritten dadurch nicht verletzt werden. Sollte ein Rechtsinhaber der Bereitstellung wiedersprechen, bitte ich ihn, sein Anliegen unverzüglich auf Khelil: Rückmeldung zu schildern.
-
Quellen, an deren Verfassung ich maßgeblich beteiligt war, sind grün untermalt.
-
Beachten Sie auch meine eigene Webseiten zum Thema Khelil: Softwaretext.
Chronologische Liste
| 1978 |
|
Buch |
| 1996 |
|
The B-Book, Assigning Programs to Meanings
Buch |
| 2005 |
|
Buch |
|
Formal Modeling to generate Tests targeting GlobalPlatform at G&D: Results (vgl. Projekt -06- ) Vortrag von A. Khelil, November 2005, 27 Seiten, Englisch. Referenz sehen: hier klicken. |
|
Formal Modeling to generate Tests targeting GlobalPlatform at G&D: Final Meeting (vgl. Projekt -06- ) Vortrag von A. Khelil, November 2005, 16 Seiten, Englisch. Referenz sehen: hier klicken. |
| 2006 |
|
LTG Automated Test Generation from B Models Veröffentlichung von E. Jaffuel, B. Legeard, Lecture Notes in Computer Science Volume 4355, 2006, pp 277,280 Springer Verlag, Englisch. Referenz sehen:  hier klicken.
|
| 2007 |
|
Teaching Model Based Testing with LTG
Veröffentlichung |
|
Video von Google Tech Talks, Mark Utting, 27.08.2007, Englisch. |
| 2008 |
|
Veröffentlichung |
| 2012 |
|
MATLAB® und Simulink® in der Ingenieurpraxis
Buch |