Search results for: Francesco Parisi Presicce
Journal of Visual Languages & Computing > 2017 > 38 > C > 84-96
IFIP — The International Federation for Information Processing > Research Directions in Data and Applications Security XVIII > Database Theory and Inference Control > 125-141
Lecture Notes in Computer Science > Advances in Information and Computer Security > Authentication > 179-195
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Formal Verification > 278-293
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 292-310
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Reuse and Integration > 220-235
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 223-238
Lecture Notes in Computer Science > ≪UML≫ 2000 — The Unified Modeling Language > OCL Tools > 294-308
Lecture Notes in Computer Science > CAAP '86 > 30-44
Lecture Notes in Computer Science > ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools > Graph Transformations > 257-271
Lecture Notes in Computer Science > TAPSOFT '87 > 217-231
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Theory and Applications > 304-318
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Distributed System Modelling > 63-78
Lecture Notes in Computer Science > CAAP '88 > 149-164