Autor der Publikation

From Scenarios to Timed Automata: Building Specifications from Users Requirements.

, , und . APSEC, Seite 48-57. IEEE Computer Society, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Semi-Automated Model-Driven Method for the Generation of Web-based Applications from Use Cases., , und . MDWE@MoDELS, Volume 389 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Enhancement of a Use Cases based Requirements Engineering approach with Scenarios.. APSEC, Seite 25-32. IEEE Computer Society, (2005)Supporting Use Cases Based Requirements Simulation.. Software Engineering Research and Practice, Seite 381-386. CSREA Press, (2004)Generation of Test Scenarios from Use Cases.. Software Engineering Research and Practice, Seite 52-58. CSREA Press, (2006)A Formal Approach to Requirement Verification., und . SEDE, Seite 148-153. ISCA, (2006)Aspect-oriented use case modeling for software product lines., und . EA@AOSD, Seite 5:1-5:8. ACM, (2008)Modeling State Diagrams with And-Cross Transitions., , und . MoDeVVa@MoDELS, Volume 1713 von CEUR Workshop Proceedings, Seite 46-53. CEUR-WS.org, (2016)Generating a Domain Model from a Use Case Model., und . IASSE, Seite 278-. ISCA, (2005)A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120., , und . FORTE, Volume 43 von IFIP Conference Proceedings, Seite 287-294. Chapman & Hall, (1995)An approach for supporting system-level test scenarios generation from textual use cases., und . SAC, Seite 724-729. ACM, (2008)