Result 1 to 13 of 13 total
Components, platforms and possibilities: towards generic automation for MDA (English)
EMSOFT, 39-48 (2010).
1
Specifying and composing non-functional requirements in model-based development. (English)
Bergel, Alexandre (ed.) et al., Software composition. 8th international conference, SC 2009, Zurich, Switzerland, July 2‒3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02654-6/pbk). Lecture Notes in Computer Science 5634, 72-89 (2009).
2
Specifying and composing non-functional requirements in model-based development (English)
Software Composition, 72-89 (2009).
3
Conformance testing based on UML state machines. Automated test case generation, execution and evaluation. (English)
Liu, Shaoying (ed.) et al., Formal methods and software engineering. 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27‒31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88193-3/pbk). Lecture Notes in Computer Science 5256, 45-65 (2008).
4
Conformance testing based on UML state machines (English)
ICFEM, 45-65 (2008).
5
Automated testing of asynchronous nondeterministic systems with data. (Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten.) (German)
Berichte aus der Informatik. Aachen: Shaker Verlag; Berlin: TU Berlin, Fakultät IV, Elektrotechnik/Informatik (Diss.) (ISBN 978-3-8322-6579-3/pbk). viii, 210~p. EUR~49.80 (2007).
6
TEAGER - Test Automation for UML State Machines. (German)
Biel, Bettina et al., Software Engineering 2006, Proceedings der Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31. März 2006 in Leipzig. Bonner Köllen Verlag (ISBN 3-88579-173-0). GI-Edition - Lecture Notes in Informatics (LNI), P-79, 73-84 (2006).
7
TEAGER - test automation for UML state machines (English)
Software Engineering, 73-84 (2006).
8
Evaluating coverage based testing (English)
Model-Based Testing of Reactive Systems, 293-322 (2004).
9
Test case generation for UML statecharts. (English)
Broy, Manfred (ed.) et al., Perspectives of system informatics. 5th international Andrei Ershov memorial conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9‒12, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20813-5/pbk). Lecture Notes in Computer Science 2890, 462-468 (2003).
10
Test case generation for UML statecharts (English)
Ershov Memorial Conference, 462-468 (2003).
11
Eine portable graphische benutzeroberfläche für ein ausbreitungsmodell nach TA-luft (English)
Informatik für den Umweltschutz, 490-501 (1990).
12
Zuverlässigkeitstheoretische bewertung von coderedundanz in fehlertolerierenden rechnersystemen (English)
Fehlertolerierende Rechensysteme, 17-31 (1982).
13
Result 1 to 13 of 13 total
Start
Contact
Print
General Help
