原创力文档- 6
- 0
- 约2.59万字
- 约 8页
- 2017-05-08 发布于上海
- 举报
Verified System Development with the AutoFocus Tool Chain 英文论文文献
Veri?edSystemDevelopment
withtheAutoFocusToolChain
MariaSpichkova
FlorianH¨olzl
DavidTrachtenherz
Institutf¨urInformatik,TUM¨unchen,
Boltzmannstr.3,85748Garching,Germany
fortissGmbH,
Guerickestr.25,80805M¨unchen,Germany
spichkov@in.tum.de
{hoelzlf,trachten}@
Thisworkpresentsamodel-baseddevelopmentmethodology1forveri?edsoftwaresystemsaswell
asatoolsupportforit:anappliedAUTOFOCUS 3toolchainanditsbasicprinciplesemphasizingthe
veri?cationofthesystemunderdevelopmentaswellasthecheckmechanismsweusedtoraisethe
levelofcon?denceinthecorrectnessoftheimplementationoftheautomaticgenerators.
1 Introdu
您可能关注的文档
- VariVis a visualisation toolkit for variation databases 英文论文文献.doc
- Variations on a theme diversification of cuticular hydrocarbons in a clade of cactophilic Drosophila 英文论文文献.doc
- Varicella susceptibility and transmission dynamics in Slovenia 英文论文文献.doc
- Varicose a MAGUK required for the maturation and function of Drosophila septate junctions 英文论文文献.doc
- Variations in the NBNNBS1 gene and the risk of breast cancer in non-BRCA12 French Canadian families with high risk of breast cancer 英文论文文献.doc
- Varikozele Klinik und Therapie 英文论文文献.doc
- VASCo computation and visualization of annotated protein surface contacts 英文论文文献.doc
- VARIOUS SPACES FOR BANACH SPACE VALUED POTENTIAL HANKEL TRANSFORM 英文论文文献.doc
- Vasa vasorum in plaque angiogenesis, metabolic syndrome, type 2 diabetes mellitus, and atheroscleropathy a malignant transformation 英文论文文献.doc
- Vascular endothelial growth factor (VEGF) fails to improve blood flow and to promote collateralization in a diabetic mouse ischemic hindlimb model 英文论文文献.doc
文档评论（0）