Search results for: Christiano Braga
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part III: Applications and Tools > 667-693
Lecture Notes in Computer Science > Models in Software Engineering > Non-Functional System Properties in Domain Specific Modeling Languages (NFPin DSML) > 243-256
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 364-378
Science of Computer Programming > 2015 > 107-108 > Complete > 64-92
Expert Systems With Applications > 2015 > 42 > 3 > 1652-1664
Science of Computer Programming > 2014 > 92 > Part B > 86-104
Software & Systems Modeling > 2011 > 10 > 3 > 395-409
Innovations in Systems and Software Engineering > 2010 > 6 > 1-2 > 115-123
Electronic Notes in Theoretical Computer Science > 2009 > 203 > 7 > 103-120
Electronic Notes in Theoretical Computer Science > 2007 > 176 > 4 > 133-146
Electronic Notes in Theoretical Computer Science > 2007 > 175 > 1 > 3-17
Electronic Notes in Theoretical Computer Science > 2005 > 130 > Complete > 345-377
Electronic Notes in Theoretical Computer Science > 2005 > 117 > Complete > 393-416
Electronic Notes in Theoretical Computer Science > 2004 > 95 > Complete > 149-168