化學(xué)抽象機(jī)論文參考文獻(xiàn)
參考文獻(xiàn)
[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
請(qǐng)繼續(xù)閱讀相關(guān)推薦：畢業(yè)論文 應(yīng)屆生求職
畢業(yè)論文范文查看下載 查看的論文開(kāi)題報(bào)告 查閱參考論文提綱
查閱更多的畢業(yè)論文致謝 相關(guān)畢業(yè)論文格式 查閱更多論文答辯
【化學(xué)抽象機(jī)論文參考文獻(xiàn)】相關(guān)文章：
化學(xué)教學(xué)論文參考文獻(xiàn)寫(xiě)作規(guī)范03-28
脫粒機(jī)研發(fā)使用論文參考文獻(xiàn)11-14
盾構(gòu)機(jī)刀具理論性論文參考文獻(xiàn)11-14
單片機(jī)參考文獻(xiàn)06-28
單片機(jī)的參考文獻(xiàn)12-07
關(guān)于參考文獻(xiàn)單片機(jī)03-16
- 相關(guān)推薦