VDM - PowerPoint PPT Presentation

barb
slide1 n.
Skip this Video
Loading SlideShow in 5 Seconds..
VDM PowerPoint Presentation
play fullscreen
1 / 31
Download Presentation
152 Views
Download Presentation

VDM

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

    1. 1 ????????????????????VDM++??? ?? ?? (??????) ?? ?? (??????) ?? ?? (??????) ?? ? (????????) ?? ?? (SEC) 2006?10?20?

    2. 2 ???? ???????? ??????????????????? VDM++????????????? ??????? ???

    3. 3 1.????????

    4. 4 ?????????? ?????????: ?????????????????????????????????????????????????????????? ????????????: ????????????????????????????????????????????????????????????????????????

    5. 5 ????? -????????

    6. 6 ????????????? ????????????

    7. 7 ????????????????? ? ????????? ??SW????????(1??)?????????????????????????? ????????????????????????SW??????????????????????????????????????????????????? ?: ????(1????) ???????????????(?????????????)

    8. 8 ????? ??????????: ??????????????????????????????????????????????????? ????????????????: ???????????????????????????????????? ???????????: ??2?????????????????????????????????????????????

    9. 9 ?????????

    10. 10 2.???????????????????

    11. 11 ???????????

    12. 12 ?????????????

    13. 13 3.VDM++?????????????

    14. 14 VDM++?????? VDM++?VDM-SL (The Vienna Development Method Specification Language)???????????? ???????????????????? VDM++ Toolbox: VDM++???????????????????????????????????????????

    15. 15 VDM++??? ?????????????

    16. 16 VDM++???????

    17. 17 ??????????????????

    18. 18 ????????

    19. 19 ??????

    20. 20 ???????(??????A)

    21. 21 ???????(??????B)

    22. 22 ????????? ???????????????????(??????????????????????????????)??????????????????? ??????B??????????(???????)??????????????????????????????

    23. 23 4.???????

    24. 24 ?????????? UML????VDM++???????? VDM++????????????????????????????????? ???????????????????? VDM++????Java????????????????????????????JML????? ESC/Java2??JML??????????????????????????????????VDM++????Java?????????(Refinement)?????????????

    25. 25 ??????? ???????????????????????????????????????????????????????? ????????????????????????????????????????????????????????????????????????????????????

    26. 26 ???????(?????) ????????????????????????????????? ?????????????????????????????????????????????????????????????????? ?????????????????????????????????????????VDM++?????????????????????????????????

    27. 27 ??????????

    28. 28 ???? ??????[M.Jackson, 2001]: ??(????)?????(??????)????????? KobrA[Atkinson et al., 2001]: ????????????????KobrA ?????????????????????????????????? ESIM?[?? ?, 2005]: ???????? ???????[?? ?, 2005]: ???????????

    29. 29 ????(????) Feature Algebra [P.Hofner, et al. FM06]

    30. 30 5.???

    31. 31 ??? ????????????????????????????????????????????????????????????? ????????????????????????? ???????????????????????????????????????