JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Gruner, Stefan
|
|
| dc.date.accessioned | 2014-02-03T10:17:54Z | |
| dc.date.available | 2014-02-03T10:17:54Z | |
| dc.date.issued | 2008 | |
| dc.description | The paper, as it appeared in the above-mentioned journal, was presented to the UML&FM'2008 workshop on the Unified Modeling Language and Formal Methods, Kitakyushu (Japan), 27th of October 2008. | en_US |
| dc.description.abstract | In "use cases considered harmful", Simons has analyzed the logical weaknesses of the UML use case notation and has recommended to “fix the faulty notion of dependency” (Simons: Use cases considered harmful. 29th Conference on Techn. of OO Lang. and Syst., pp 194–203, 1999). The project sketched in this position paper is inspired by Simons’ critique. The main contribution of this paper is a detailed meta model of possible relations between use cases. Later in the project this meta model is then to be formalized in a natural deduction calculus which shall be implemented in PROLOG. As a result of such formalization a use case specification can be queried for inconsistencies as well as for test cases which must be observable after a software system is implemented based on such a use case specification. Software tool support for this method is also under development. | en_US |
| dc.description.librarian | mv2014 | en_US |
| dc.description.sponsorship | Formal Methods Europe (FME) and the Research and Development Programme (RDP) of the University of Pretoria. | en_US |
| dc.description.uri | http://link.springer.com/journal/11334 | en_US |
| dc.identifier.citation | Gruner, S 2008, 'From use cases to test cases via meta model-based reasoning', Innovations in Systems and Software Engineering , vol. 4, no. 3, pp. 223-231. | en_US |
| dc.identifier.issn | 1614-5046 (print) | |
| dc.identifier.issn | 1614-5054 (online) | |
| dc.identifier.other | 10.1007/s11334-008-0058-z | |
| dc.identifier.uri | http://hdl.handle.net/2263/33216 | |
| dc.language.iso | en | en_US |
| dc.publisher | Springer-Verlag | en_US |
| dc.rights | © Springer-Verlag London Limited 2008. The original publication is available at http://link.springer.com/journal/11334 | en_US |
| dc.subject | Use cases | en_US |
| dc.subject | Test cases | en_US |
| dc.subject | Meta model | en_US |
| dc.subject | Prolog | en_US |
| dc.title | From use cases to test cases via meta model-based reasoning | en_US |
| dc.type | Postprint Article | en_US |
