Silvio Cesare. Ph.D. Student at Deakin University Book Author This talk covers some of my Ph.D. research.
Verification of DSMLs Using Graph Transformation: A Case Study with Alloy Zekai Demirezen 1, Marjan Mernik 1,2, Jeff Gray 1, Barrett Bryant 1 1 Department.
Eugene Syriani and Huseyin Ergin University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College of Engineering.
Automated Validation of Internet Security Protocols and Applications Shared cost RTD (FET open) project IST-2001-39252 The AVISPA Project: Automated Validation.
1. Scala 2. Traffic DSL in Scala 3. Comparison AToM3 4. Conclusion & Future work.
Tool Support for Refactoring Functional Programs Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent
SWSC F2F; Innsbruck December 16, 2002 Bringing Services to the Semantic Web and Semantics to Web Services Michael Kifer SUNY-SB David Martin SRI International.
Traversing Graph Databases with Gremlin
Gremlin
T3 Agent oriented programming languages
RDFa-deployed Multimedia Metadata - Tutorial, Part 3
Norms Brmas08 V2