TU Darmstadt / ULB / TUbiblio

Using Aspects for Enforcing Formal Architectural Invariants

Kallel, Slim ; Charfi, Anis ; Jmaiel, Mohamed :
Using Aspects for Enforcing Formal Architectural Invariants.
In: 4th International Workshop on Formal Aspects of Component Software (FACS 2007), 29. Jun. 2008, Sophia-Antipolis, France. In: Electronic Notes in Theoretical Computer Science , 215 .
[Konferenz- oder Workshop-Beitrag], (2008)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2008
Autor(en): Kallel, Slim ; Charfi, Anis ; Jmaiel, Mohamed
Titel: Using Aspects for Enforcing Formal Architectural Invariants
Sprache: Englisch
Buchtitel: Proceedings of the 4th International Workshop on Formal Aspects of Component Software
Reihe: Electronic Notes in Theoretical Computer Science
Band: 215
Freie Schlagworte: Software architecture; Z notation; Petri nets; Aspect-Oriented Programming
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Softwaretechnik
Veranstaltungstitel: 4th International Workshop on Formal Aspects of Component Software (FACS 2007)
Veranstaltungsort: Sophia-Antipolis, France
Veranstaltungsdatum: 29. Jun. 2008
Hinterlegungsdatum: 30 Sep 2009 13:28
ID-Nummer: 10.1016/j.entcs.2008.06.018
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen