Autor der Publikation

Formally refining software architectures with "I€-ARL: a case study

. SIGSOFT Softw. Eng. Notes, 29 (5): 1--26 (September 2004)
DOI: 10.1145/1022494.1022518

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

On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL.. ICSOFT (1), Seite 208-217. INSTICC Press, (2009)Software architecture of self-organizing systems-of-systems for the Internet-of-Things with SosADL.. SoSE, Seite 1-6. IEEE, (2017)Algèbre des Objets Classes: une Algèbre d'Objets Complexes Fondée sur une Approche Méréologique., und . BDA, Seite 355-378. INRIA, (1993)Ark: a constraint-based method for architectural synthesis of smart systems., , und . Softw. Syst. Model., 19 (3): 741-762 (2020)OMEGA: a language and system for on-line monitoring of software-intensive processes., und . ACM SIGSOFT Softw. Eng. Notes, 25 (4): 62-68 (2000)A Comparative Review of Process-Centered Software Engineering Environments., , , und . Ann. Softw. Eng., 14 (1-4): 311-340 (2002)Perspectives and challenges of reference architectures in multi software product line., und . SPLC Workshops, Seite 100-103. ACM, (2013)A meta-process to construct software architectures for system of systems., , und . SAC, Seite 1411-1416. ACM, (2015)Representing Service-Oriented Architectural Models Using ������-ADL, , , , und . Software Architecture, 5292, Springer Berlin Heidelberg, Berlin, Heidelberg, (2008)Languages and Mechanisms for Software Processes and Manufacturing Enterprise Processes: Similarities and Differences., , , , und . ICEIS (3), Seite 474-482. (2003)