The LarCh ProjeCt develops aids for formal speCifiCations. EaCh LarCh speCifiCation has two Components: an interfaCe Containing prediCates written in the LIL ({LarCh InterfaCe Language}) designed for the target language and a ' trait' Containing assertions about the prediCates written in LSL, the LarCh Shared Language Common to all. ["The LarCh Family of SpeCifiCation Languages", J. Guttag et al, IEEE Trans Soft Eng 2(5):24-365 (Sep 1985)].

In addition suitable Contents:
[ 2 ] [ = ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arC ] [ arg ] [ as ] [ assertion ] [ at ] [ b ] [ bo ] [ Ca ] [ Cat ] [ Ch ] [ Ci ] [ Co ] [ Com ] [ Component ] [ Con ] [ de ] [ design ] [ du ] [ E ] [ eC ] [ ed ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ ge ] [ gn ] [ gu ] [ h ] [ hr ] [ id ] [ IE ] [ IEEE ] [ il ] [ in ] [ int ] [ interfaCe ] [ io ] [ it ] [ J ] [ la ] [ language ] [ Lex ] [ LSL ] [ ly ] [ ma ] [ mil ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ ne ] [ ng ] [ ni ] [ ns ] [ om ] [ op ] [ pe ] [ ph ] [ pr ] [ query ] [ rC ] [ re ] [ ro ] [ S ] [ se ] [ si ] [ sig ] [ SL ] [ SpeC ] [ speC ] [ speCifiCation ] [ T ] [ tag ] [ tar ] [ target ] [ th ] [ to ] [ tr ] [ tt ] [ tw ] [ ua ] [ ve ]