Author of the publication

Linking UML Models of Design and Requirement.

, , , and . Australian Software Engineering Conference, page 329-338. IEEE Computer Society, (2004)

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

Editorial., and . Formal Asp. Comput., 29 (4): 581-582 (2017)Robust Face Recognition Using Color Information., and . ICB, volume 5558 of Lecture Notes in Computer Science, page 122-131. Springer, (2009)The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing., , , and . EuroS&P Workshops, page 145-152. IEEE, (2018)Transformation of Programs for Fault-Tolerance., and . Formal Aspects Comput., 4 (5): 442-469 (1992)Integrating Theories and Techniques for Program Modelling, Design and Verification., , , and . VSTTE, volume 4171 of Lecture Notes in Computer Science, page 291-300. Springer, (2005)Higher-Order Graph Convolutional Embedding for Temporal Networks., , and . WISE (1), volume 12342 of Lecture Notes in Computer Science, page 3-15. Springer, (2020)A Relational Model for Formal Object-Oriented Requirement Analysis in UML., , , and . ICFEM, volume 2885 of Lecture Notes in Computer Science, page 641-664. Springer, (2003)An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation., , , , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 467-490. Springer, (2021)Campus Learning Environment, The Influence of Psychological Emotions During Learning on Self-Learning Efficacy., , , and . ICDEL, page 226-230. ACM, (2023)Unifying Views of UML., , , and . CVUML, volume 101 of Electronic Notes in Theoretical Computer Science, page 95-127. Elsevier, (2003)