The MDArte experience: OrgAnizational aspects acquired from a successful partnership between government and academia using model-driven development
نویسنده:
, , ,ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/COMPSAC.2014.28
کلیدواژه(گان): object-oriented programming,n program verification,n system recovery,n CEGAR,n component based systems,n component-based systems,n component-based verification,n compositional abstraction,n counterexample-guided abstraction refinement,n deadlock freedom,n incompleteness problem,n invariant strengthening,n invariants compositional verification,n refinement approaches,n safety property,n semantics,n state explosion problem,n state partitioning
کالکشن
:
-
آمار بازدید
The MDArte experience: OrgAnizational aspects acquired from a successful partnership between government and academia using model-driven development
Show full item record
| contributor author | Monteiro, Rodrigo Salvador | |
| contributor author | Pinel, Roque Elias Assumpcao | |
| contributor author | Zimbrao, Geraldo | |
| contributor author | de Souza, Jano Moreira | |
| date accessioned | 2020-03-12T22:39:28Z | |
| date available | 2020-03-12T22:39:28Z | |
| date issued | 2014 | |
| identifier other | 7018523.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1090216?locale-attribute=fa | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | The MDArte experience: OrgAnizational aspects acquired from a successful partnership between government and academia using model-driven development | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8228600 | |
| subject keywords | object-oriented programming | |
| subject keywords | n program verification | |
| subject keywords | n system recovery | |
| subject keywords | n CEGAR | |
| subject keywords | n component based systems | |
| subject keywords | n component-based systems | |
| subject keywords | n component-based verification | |
| subject keywords | n compositional abstraction | |
| subject keywords | n counterexample-guided abstraction refinement | |
| subject keywords | n deadlock freedom | |
| subject keywords | n incompleteness problem | |
| subject keywords | n invariant strengthening | |
| subject keywords | n invariants compositional verification | |
| subject keywords | n refinement approaches | |
| subject keywords | n safety property | |
| subject keywords | n semantics | |
| subject keywords | n state explosion problem | |
| subject keywords | n state partitioning | |
| identifier doi | 10.1109/COMPSAC.2014.28 | |
| journal title | odel-Driven Engineering and Software Development (MODELSWARD), 2014 2nd International Conference on | |
| filesize | 424249 | |
| citations | 0 |