Follow
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
722010
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
602010
Menthor Editor: an ontology driven conceptual modeling platform
JL Moreira, TP Sales, J Guerson, BFB Braga, F Brasileiro, V Sobral
272016
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
242009
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
122015
Modeling stories for conceptual model assessment
BFB Braga, JPA Almeida
Advances in Conceptual Modeling: ER 2015 Workshops AHA, CMS, EMoV, MoBID …, 2015
82015
Cognitive effective instance diagram design
BFB Braga
Graduation Thesis, Federal University of Espķrito Santo, 2011
62011
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