| Typ des Eintrags: |
Konferenzveröffentlichung
|
| Erschienen: |
2008 |
| Autor(en): |
Kallel, Slim ; Charfi, Anis ; Jmaiel, Mohamed |
| Art des Eintrags: |
Bibliographie |
| Titel: |
Using Aspects for Enforcing Formal Architectural Invariants |
| Sprache: |
Englisch |
| Publikationsjahr: |
2008 |
| Buchtitel: |
Proceedings of the 4th International Workshop on Formal Aspects of Component Software |
| Reihe: |
Electronic Notes in Theoretical Computer Science |
| Band einer Reihe: |
215 |
| Veranstaltungstitel: |
4th International Workshop on Formal Aspects of Component Software (FACS 2007) |
| Veranstaltungsort: |
Sophia-Antipolis, France |
| Veranstaltungsdatum: |
29. Jun. 2008 |
| DOI: |
10.1016/j.entcs.2008.06.018 |
| Freie Schlagworte: |
Software architecture; Z notation; Petri nets; Aspect-Oriented Programming |
| Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik
20 Fachbereich Informatik > Softwaretechnik |
| Hinterlegungsdatum: |
30 Sep 2009 13:28 |
| Letzte Änderung: |
05 Mär 2013 09:19 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
 |
Redaktionelle Details anzeigen |
Drucken
Impressum