!!!!!!!Formal Concept Analysis And Formal Methods (2000)

《!!!!!!!Formal Concept Analysis And Formal Methods (2000)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、FRACCETAAYS
SADFRAETHDSThomasTilleyt.tilleymailbox.gu.edu.aufa ultyofengineeringandinformationandte hnologysubmittedinpartialfulfilmentoftherequirementsforhD andidature.De ember,2000Abstra tFormalCon eptAnalysis(FCA)isadataanalysiste hniquebasedonorderedlatti

2、etheory.
tprovidesgraph-basedvisualisationsoftabulardataandhassu essfullybeenappliedtoanumberofeldsin ludingTextDataining,sy hology,So ialS ien eandSoftwareEngineering.Thisresear hproposalsetsoutaframeworkfortheappli ationofFCAtoFormalethods.Formalethods anbebroadlyden

3、edastoolsandnotationsthatsupporttheunambiguousspe i ationof omputersystemsandsoftware.Whilethere anbesigni antadvantagesobtainedbyintegratingFormalethodsintotheprodu tionofsoftwareartifa tsthereisanasso iated ost.The omplexityofFormalethodsmeansthey anbediÆ ulttouseandhav

4、eanon-triviallearning urve.Theaimoftheresear hdes ribedinthisproposalistoin reasethea essibilityofFormalethodsbyprovidingalternativevisualrepresentationsofspe i ationsthroughtheappli ationofFormalCon eptAnalysis.iiContentsAbstra tii1
ntrodu tion11.1Aim.....................

5、...............11.2S ope...................................21.3verview..................................22FormalCon eptAnalysis42.1FormalContexts.............................42.2Aatti eofCon epts..........................62.3ulti-valuedContexts..........................62.

6、4TSCAAandAna onda........................92.5Appli ations................................113Con eptualGraphs123.1Ba kground................................123.2Con eptualGraphsandowerContextFamilies............143.3
nterlingua.................................154Formaletho

7、ds174.1Ba kground................................174.2FormalDes riptionTe hniques......................194.2.1Estelle...............................204.2.2TS..............................204.2.3SD................................21SC...............................214.3Z..

8、....................................214.4H........................