( en | de | ru )

 

Disambiguierung von "Monga, Mattia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Graph Transformation Systems to Specify and Verify Data Abstractions

, , , und . Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), Volume X von Electronic Communications of the EASST, Seite 277--290. EASST, European Association of Software Science and Technology, (März 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.

Mattia Mattioni

Mattia Broilo

Germain Monga-Pelami

Bondo Monga

Dolores Mattia

 

Weitere Publikationen von Autoren mit dem selben Namen

Carrying on the e-learning process with a workflow management engine., , und . SAC, Seite 940-945. ACM, (2004)Assessing data quality by a cross-layer approach., und . ICUMT, Seite 1-8. IEEE, (2009)An Experience on Verification of Aspect Properties., und . IWPSE, Seite 186-189. ACM, (2001)Software engineering for secure systems, , und . SIGSOFT Softw. Eng. Notes, 30 (4): 1--2 (2005)Supporting Nomadic Co-Workers: an Experience with a Peer-To-Peer Configuration Management Tool. Proceedings of the International Symposium on Towards Peta-Bit Ultra-Networks, Seite 79--87. IEEE, A & I Ltd., Tokyo, (September 2003)Invited paper.The 3rd International Workshop on Software Engineering for Secure Systems SESS07 --- Dependable and secure, , , und . ICSE COMPANION '07: Companion to the proceedings of the 29th International Conference on Software Engineering, Seite 111--112. ACM, IEEE Computer Society, (Mai 2007)Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting, , und . SEKE~'02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, Seite 507--511. ACM, ACM Press, (Juli 2002)Learning Objects and Tests, , und . Proceedings of the IASTED International Conference on Web-Based Education, IASTED, (Februar 2004)Slicing AspectJ Woven Code, , , und . Proceedings of the Foundations of Aspect-Oriented Languages workshop (FOAL2005), (März 2005)Using Graph Transformation Systems to Specify and Verify Data Abstractions, , , und . Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), Volume X von Electronic Communications of the EASST, Seite 277--290. EASST, European Association of Software Science and Technology, (März 2008)