Följ
Bernardo Ferreira Bastos Braga
Bernardo Ferreira Bastos Braga
Verifierad e-postadress på inf.ufes.br
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–12