Home

?????? ?????????? ???????????? ????????

????????? ?????

????, ??? ???????? ????????, ?????? : 4 ????, 3 ?????.

???? ?? ????????? : 7 ??????? ? 34,

8 ??????? ? 30.

???????? ? ????????? ????? (????) : 7 ??????? ? 34,

8 ??????? ? 30.

?????? : ?????????.

?????????? ????? .

?????? ?????.

????????? ????????????????: ???????????????, ??????? ? ?????????? ???????. ????? ?????????? ????? ??????????? ???????, ???? ???????????? ?? ????? ?????????? ?????. ?????? ? ???????? ?????????. ?????????? ?????? ?? ?????? ????? ?????????? ?????.

??????? ?????? ? ?????????????? ??????????? ????????? - RAISE ??????????? ? ???? RSL. ????, ???????, ????????. ?????????? ? ?????????. ??????????????. ????????????? ? L????????????????¦.

????????????: ???????????? ??????. ?????? L???????¦ ? L??????¦ ??????¦. ???????? ??????? ????????? ????????. ???????????? ???????? ???????. ???????????? ????????? ????????. Model checking (?????? ???????). ?????????? ???????????? ? ????????? ??????.

???????????? ??????????? ????????. ?????????????? ????????? ?????? ?? ?????? ?????????? ???????????? ????????. ?????? ????????? ????????. ????????? ???????? ?????????. ????????? ???????? ?????????. ????????? L????????¦. ????????? ???????? ???????????????????.

???????????? ???????????? . ???????????? ??????. ?????????? ?????????????. ?????? ???? ??????????????: ???????????? ?????????? ? ?????????????, ?????? ? ????????? ??????????, ???????????? ????????? ??????????.

??????????.

1. ??????????? ?.?., ???????? ?.?. ?????????? ???????????? ???????? ?? ????? RSL (???????????? ??????? ?? ??????????), ?????. ????? ?????????? ???? ???, (????????? ? ?????? ? 1999).
2. The RAISE specification language. Prentice Hall, 1992.
3. RAISE Tools Reference Manual. LACOS/CRI/DOC/13/1/V2, 1994.

?????? ?????.

(??. ????????? ?? ?????? ????? ?????)

??????????? ?????????: ?????? ?.?. ????????

???. ???.-???- ???? ?.?. ????????

Home