Bernardo Ferreira Bastos Braga
Bernardo Ferreira Bastos Braga
Verified email at inf.ufes.br
Title
Cited by
Cited by
Year
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
602010
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
532010
Assessing modal aspects of ontouml conceptual models in alloy
AB Benevides, G Guizzardi, BFB Braga, JPA Almeida
International Conference on Conceptual Modeling, 55-64, 2009
242009
Menthor Editor: An Ontology-Driven Conceptual Modeling Platform.
JLR Moreira, TP Sales, J Guerson, BFB Braga, F Brasileiro, V Sobral
JOWO@ FOIS, 2016
232016
OntoEmergePlan: variability of emergency plans supported by a domain ontology.
MIGB Ferreira, JLR Moreira, MLM Campos, BFB Braga, TP Sales, ...
ISCRAM, 2015
62015
Cognitive effective instance diagram design
BFB Braga
Graduation Thesis, Federal University of Espķrito Santo, 2011
42011
Modeling stories for conceptual model assessment
BFB Braga, JPA Almeida
International Conference on Conceptual Modeling, 293-303, 2015
32015
Modeling Stories for Conceptual Model Validation
BFB Braga
Master Dissertation, Federal University of Espirito Santo, Brazil, 2016
22016
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
The system can't perform the operation now. Try again later.
Articles 1–12