Author of the publication

Abstract Operational Semantics for Use Case Maps.

, , and . FORTE, volume 3731 of Lecture Notes in Computer Science, page 366-380. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Abstract Operational Semantics for Use Case Maps., , and . FORTE, volume 3731 of Lecture Notes in Computer Science, page 366-380. Springer, (2005)Automatic retrieval and analysis of high availability scenarios from system execution traces: A case study on hot standby router protocol., and . J. Syst. Softw., (2020)Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps., , , and . SDL Forum, volume 7916 of Lecture Notes in Computer Science, page 54-71. Springer, (2013)A Game-theoretic approach to analyze interacting actors in GRL goal models., , and . Requir. Eng., 26 (3): 399-422 (2021)Modification analysis support at the requirements level., , and . IWPSE, page 43-50. ACM, (2007)Detection of Linguistic Bad Smells in GRL Models: An NLP Approach., and . MoDELS (Companion), page 318-327. IEEE, (2023)An Automated Change Impact Analysis Approach to GRL Models., , , and . SDL Forum, volume 10567 of Lecture Notes in Computer Science, page 157-172. Springer, (2017)Early modeling and validation of timed system requirements using Timed Use Case Maps.. Requir. Eng., 20 (2): 181-211 (2015)Applying Reduction Techniques to Software Functional Requirement Specifications., , and . SAM, volume 3319 of Lecture Notes in Computer Science, page 138-153. Springer, (2004)Formal Verification of Use Case Maps with Real Time Extensions., , and . SDL Forum, volume 4745 of Lecture Notes in Computer Science, page 225-241. Springer, (2007)