| Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures. AB Benevides, G Guizzardi, BFB Braga, JPA Almeida J. Univers. Comput. Sci. 16 (20), 2904-2933, 2010 | 74 | 2010 |
| Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method BFB Braga, JPA Almeida, G Guizzardi, AB Benevides Innovations in Systems and Software Engineering 6 (1), 55-63, 2010 | 64 | 2010 |
| Assessing modal aspects of ontouml conceptual models in alloy AB Benevides, G Guizzardi, BFB Braga, JPA Almeida Advances in Conceptual Modeling-Challenging Perspectives: ER 2009 Workshops …, 2009 | 27 | 2009 |
| Menthor Editor: an ontology driven conceptual modeling platform JL Moreira, TP Sales, J Guerson, BFB Braga, F Brasileiro, V Sobral | 26 | 2016 |
| OntoEmergePlan: variability of emergency plans supported by a domain ontology MIGB Ferreira, J Moreira, MLM Campos, BFB Braga, TP Sales, ... 12th International Conference on Information Systems for Crisis Response and …, 2015 | 13 | 2015 |
| Modeling stories for conceptual model assessment BFB Braga, JPA Almeida Advances in Conceptual Modeling: ER 2015 Workshops AHA, CMS, EMoV, MoBID …, 2015 | 8 | 2015 |
| Cognitive effective instance diagram design BFB Braga Graduation Thesis, Federal University of Espírito Santo, 2011 | 6 | 2011 |
| Modeling Stories for Conceptual Model Validation BFB Braga Master Dissertation, Federal University of Espirito Santo, Brazil, 2016 | 2 | 2016 |
| Menthor Editor JL Moreira, TP Sales, J Guerson, BFB Braga, F Brasileiro, V Sobral | | 2016 |
| Transforming OntoUML into BFB Braga | | |
| Transforming OntoUML into Alloy BFB Braga, JPA Almeida, G Guizzardi, AB Benevides | | |
| Transforming OntoUML into Alloy: Towards Conceptual Model Validation using a Lightweight Formal Method | | |
João Paulo A. AlmeidaFederal University of Espirito Santo, BrazilE-mail confirmado em inf.ufes.br
