Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019. | 0 | 0.34 | 2021 |
PBLOntology: A Domain Ontology with Context Elements for Problem-based Learning. | 0 | 0.34 | 2018 |
Reporting an Experience on the Establishment of a Quality Model for Systems-of-Systems. | 0 | 0.34 | 2015 |
Uso de dispositivos móveis em sala de aula: uma análise qualitativa de um recorte do ensino superior baiano | 0 | 0.34 | 2014 |
An Exploratory Study on the Use of Collaborative Riding Based on Gamification as a Support to Public Transportation | 2 | 0.40 | 2012 |
Abstract specification and formalization of an operating system kernel in Z | 0 | 0.34 | 2011 |
An algebraic approach to the design of compilers for object-oriented languages | 3 | 0.39 | 2010 |
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding | 3 | 0.43 | 2003 |
Refinement Algebra for Formal Bytecode Generation | 2 | 0.40 | 2002 |