Show simple item record

The MDArte experience: OrgAnizational aspects acquired from a successful partnership between government and academia using model-driven development

contributor authorMonteiro, Rodrigo Salvador
contributor authorPinel, Roque Elias Assumpcao
contributor authorZimbrao, Geraldo
contributor authorde Souza, Jano Moreira
date accessioned2020-03-12T22:39:28Z
date available2020-03-12T22:39:28Z
date issued2014
identifier other7018523.pdf
identifier urihttp://libsearch.um.ac.ir:80/fum/handle/fum/1090216?show=full
formatgeneral
languageEnglish
publisherIEEE
titleThe MDArte experience: OrgAnizational aspects acquired from a successful partnership between government and academia using model-driven development
typeConference Paper
contenttypeMetadata Only
identifier padid8228600
subject keywordsobject-oriented programming
subject keywordsn program verification
subject keywordsn system recovery
subject keywordsn CEGAR
subject keywordsn component based systems
subject keywordsn component-based systems
subject keywordsn component-based verification
subject keywordsn compositional abstraction
subject keywordsn counterexample-guided abstraction refinement
subject keywordsn deadlock freedom
subject keywordsn incompleteness problem
subject keywordsn invariant strengthening
subject keywordsn invariants compositional verification
subject keywordsn refinement approaches
subject keywordsn safety property
subject keywordsn semantics
subject keywordsn state explosion problem
subject keywordsn state partitioning
identifier doi10.1109/COMPSAC.2014.28
journal titleodel-Driven Engineering and Software Development (MODELSWARD), 2014 2nd International Conference on
filesize424249
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record