Object-oriented extension of VDM-sL. ["Object-Oriented specification in VDM++", in Object Oriented specification Case studies, K. Lano et al eds, P-H 1993].

style="border-width:thin; border-color:#333333; border-style:dashed; padding:5px;" align="left">In addition suitable contents:
[ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ b ] [ bj ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ D ] [ die ] [ du ] [ ec ] [ ed ] [ er ] [ es ] [ et ] [ extension ] [ fi ] [ file ] [ h ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ K ] [ Lex ] [ M ] [ mo ] [ mod ] [ module ] [ na ] [ no ] [ ns ] [ O ] [ pe ] [ ph ] [ query ] [ rc ] [ re ] [ s ] [ se ] [ si ] [ sL ] [ spec ] [ V ] [ VDM ] [ VDM-sL ]