×

None_Expressive_Symbolic-Execution_Contract_Proving_for_the_DSLTrans_Transf_Lky5uCT.pdf

Home / Discover /www.cs.mcgill.ca/media/tech_reports/

  Parent Folder


None_Expressive_Symbolic-Execution_Contract_Proving_for_the_DSLTrans_Transf_Lky5uCT.pdf
PDF 2 years ago 1.34 MB
Copy Link   
39_Explicit_Type_Instance_Relations.pdf
PDF 2 years ago 248.18 kB
Copy Link   
28_Design_and_Challenges_of_a_Lightweight_Container-Based_Architecture_for__kRUasXn.pdf
PDF 2 years ago 303.33 kB
Copy Link   
None_SDN_based_performance_monitoring_for_cloud-scale_applications.pdf
PDF 2 years ago 672.49 kB
Copy Link   
14_Concern-Driven_Software_Development.pdf
PDF 2 years ago 134.21 kB
Copy Link   
4_Design-Space_Exploration_in_Model_Driven_Engineering_An_Initial_Pattern_Catalogue.pdf
PDF 2 years ago 361.88 kB
Copy Link   
42_Lessons_Learned_in_Migrating_from_Swing_to_JavaFX_LzXl9Xv.pdf
PDF 2 years ago 194.46 kB
Copy Link   
37_Optimizing_Simulink_Models.pdf
PDF 2 years ago 663.30 kB
Copy Link   
2_Search-Based_Model_Optimization_using_Model_Transformations.pdf
PDF 2 years ago 726.93 kB
Copy Link   
6_Model-Driven_Engineering_Approaches_to_Design_Space_Exploration.pdf
PDF 2 years ago 451.46 kB
Copy Link   
12_Implementing_Graph_Transformation_Languages_using_RDF_Storage_and_SPARQL_Queries.pdf
PDF 2 years ago 1.57 MB
Copy Link   
10_The_Formalism_Transformation_Graph_as_a_Guide_to_Model_Driven_Engineering.pdf
PDF 2 years ago 1.11 MB
Copy Link   
11_An_Overview_of_Model_Transformations_for_a_Simple_Automotive_Power_Window.pdf
PDF 2 years ago Get Size
Copy Link   

Join FilePursuit on FilePursuit Discord Server chat for discussions and more information.