Formal deSign kernel language for deScribing (Sequential) Software SyStemS in intermediate StageS of their deSign. ["An Introduction to COLD-K", H.B.M. JonkerS in Algebraic MethodS: Theory, ToolS and ApplicationS, M. WirSing et al edS, LNCS 394, Springer 1989, pp. 139-205]. (1995-01-04)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ B ] [ b ] [ bi ] [ br ] [ C ] [ ca ] [ cat ] [ ch ] [ COLD ] [ cr ] [ D ] [ de ] [ deSign ] [ du ] [ ed ] [ er ] [ eS ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gn ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ io ] [ ir ] [ J ] [ K ] [ ke ] [ kernel ] [ la ] [ language ] [ Lex ] [ li ] [ lS ] [ M ] [ ma ] [ MethodS ] [ mo ] [ mod ] [ module ] [ mS ] [ N ] [ na ] [ NC ] [ NCS ] [ ne ] [ ng ] [ nS ] [ O ] [ ph ] [ pl ] [ pr ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ Sc ] [ Se ] [ Si ] [ Sig ] [ So ] [ Software ] [ St ] [ Sy ] [ SyStem ] [ T ] [ tag ] [ th ] [ to ] [ tr ] [ tw ] [ ua ]