TU Darmstadt / ULB / TUbiblio

Using Aspects for Enforcing Formal Architectural Invariants

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

Item Type: Conference or Workshop Item
Erschienen: 2008
Creators: Kallel, Slim and Charfi, Anis and Jmaiel, Mohamed
Title: Using Aspects for Enforcing Formal Architectural Invariants
Language: English
Title of Book: Proceedings of the 4th International Workshop on Formal Aspects of Component Software
Series Name: Electronic Notes in Theoretical Computer Science
Volume: 215
Uncontrolled Keywords: Software architecture; Z notation; Petri nets; Aspect-Oriented Programming
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Technology
Event Title: 4th International Workshop on Formal Aspects of Component Software (FACS 2007)
Event Location: Sophia-Antipolis, France
Event Dates: 29. Jun. 2008
Date Deposited: 30 Sep 2009 13:28
Identification Number: doi:10.1016/j.entcs.2008.06.018
Export:

Optionen (nur für Redakteure)

View Item View Item