| dc.contributor.author | Heisel, Maritta | |
| dc.contributor.author | Hatebur, Denis | |
| dc.contributor.author | Santen, Thomas | |
| dc.contributor.author | Seifert, Dirk | |
| dc.date.accessioned | 2023-04-27T13:14:29Z | |
| dc.date.available | 2023-04-27T13:14:29Z | |
| dc.date.issued | 2008 | |
| dc.identifier.issn | 0720-8928 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/41346 | |
| dc.description.abstract | Testing Against Requirements Using UML Environment ModelsWe propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to illustrate the method. This article is an abbreviated version of. | en |
| dc.language.iso | en | |
| dc.publisher | Geselllschaft für Informatik e.V. | |
| dc.relation.ispartof | Softwaretechnik-Trends Band 28, Heft 3 | |
| dc.title | Testing Against Requirements Using UML Environment Models | en |
| dc.type | Journal Articles | |
| dc.pubPlace | Bonn | |
| mci.conference.sessiontitle | Berichte aus den Fachgruppen und Arbeitskreisen | |