Automated Synthesis of SEU Tolerant Architectures from OO Descriptions.
Silvia ChiusanoStefano Di CarloPaolo PrinettoPublished in: IOLTW (2002)
Keyphrases
- object oriented
- conceptual models
- programming language
- conceptual modeling
- data model
- computer assisted
- high level
- computer aided
- fully automated
- object oriented modeling
- object descriptions
- program synthesis
- semi automated
- general purpose
- artificial intelligence
- database schema
- context sensitive
- query language
- expert systems
- information systems
- database