Autor der Publikation

Alloy-Based Lightweight Verification for Aspect-Oriented Architecture.

, , , und . SERA, Seite 171-178. IEEE Computer Society, (2008)

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

Loosely Connected RPC: An Approach for Extendable Interface of Web Services., und . WSMAI, Seite 62-73. ICEIS Press, (2003)A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability., , und . International Journal of Software Engineering and Knowledge Engineering, 21 (2): 259-288 (2011)Selective method combination in mixin-based composition., und . SAC, Seite 1269-1273. ACM, (2005)Key Software Engineering Paradigms and Modeling Methods.. Handbook of Software Engineering, Springer, (2019)An interface mechanism for encapsulating weaving in class-based AOP., , und . SPLAT, Volume 217 von ACM International Conference Proceeding Series, Seite 8. ACM, (2007)An Evolutional Cooperative Computation Based on Adaptation to Environment., und . APSEC, Seite 334-. IEEE Computer Society, (1999)The Implementation and Execution Framework of a Role Model Based Language, EpsilonJ., und . SNPD, Seite 269-276. IEEE Computer Society, (2008)A context analysis method for embedded systems - Exploring a requirement boundary between a system and its context., , , und . RE, Seite 143-152. IEEE Computer Society, (2011)Contract-Based Verification for Aspect-Oriented Refactoring., , , und . ICST, Seite 180-189. IEEE Computer Society, (2008)Separation of Concerns in Mobile Agent Applications., und . Reflection, Volume 2192 von Lecture Notes in Computer Science, Seite 89-109. Springer, (2001)