化學抽象機論文參考文獻

化學抽象機論文參考文獻

參考文獻

[1]Medvidovic N,Taylor R N,A classification andcomparison framework for software architecturedescription languages[J].IEEE Trans.on SoftwareEngi.,2000,26(1):70-93.

[2]Inverardi P,Wolf A L.Formal specification andanalysis of software architectures using thechemical abstract machine model[J].IEEE Trans.on Software Engi.,1995,21(4):373-386.

[3]Berry G.,Boudol G.The Chemical Abstract Ma-chine[J].Theoretical Computer Science,1992,(96):217-248.

[4]Berry G,Boudol G.,The chemical abstract ma-chine[A].In conference record of the seventeenthannual ACM synmposium on principles of pro-gramming language[C].1990.

[5]Bertolino A,Corradini F,Inverardi P,etal.DerivingTest Plans from Architectural Descriptions[A].In:ACMProc.Int.Conf.on software Engineering

請繼續閱讀相關推薦：畢業論文    應屆生求職

畢業論文范文查看下載      查看的論文開題報告     查閱參考論文提綱

查閱更多的畢業論文致謝    相關畢業論文格式       查閱更多論文答辯

【化學抽象機論文參考文獻】相關文章：

壓縮機研究論文參考文獻10-19

化學教學論文參考文獻寫作規范03-28

脫粒機研發使用論文參考文獻11-14

脫粒機原理論文參考文獻11-14

盾構機刀具理論性論文參考文獻11-14

單片機參考文獻06-28

單片機的參考文獻12-07

論文參考文獻格式學位論文11-29

關于參考文獻單片機03-16