資源描述：
《!!!!!!!Formal Concept Analysis And Formal Methods (2000)》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、FRACCETAAYSSADFRAETHDSThomasTilleyt.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
tii1ntrodu
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.3nterlingua.................................154Formaletho
7、ds174.1Ba
kground................................174.2FormalDes
riptionTe
hniques......................194.2.1Estelle...............................204.2.2TS..............................204.2.3SD................................21SC...............................214.3Z..
8、....................................214.4H........................
