Bernardo Ferreira Bastos Braga
Bernardo Ferreira Bastos Braga
Vahvistettu sähköpostiosoite verkkotunnuksessa inf.ufes.br
Nimike
Viittaukset
Viittaukset
Vuosi
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures.
AB Benevides, G Guizzardi, BFB Braga, JPA Almeida
J. UCS 16 (20), 2904-2933, 2010
582010
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
512010
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
232009
Menthor Editor: An Ontology-Driven Conceptual Modeling Platform.
JLR Moreira, TP Sales, J Guerson, BFB Braga, F Brasileiro, V Sobral
JOWO@ FOIS, 2016
222016
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 Validation
BFB Braga
Master Dissertation, Federal University of Espirito Santo, Brazil, 2016
22016
Modeling stories for conceptual model assessment
BFB Braga, JPA Almeida
International Conference on Conceptual Modeling, 293-303, 2015
22015
Menthor Editor
JL Moreira, TP Sales, J Guerson, BFB Braga, F Brasileiro, V Sobral
2016
Menthor Editor
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–13