化学抽象机论文参考文献

化学抽象机论文参考文献

参考文献

[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

请继续阅读相关推荐：毕业论文    应届生求职

毕业论文范文查看下载      查看的论文开题报告     查阅参考论文提纲

查阅更多的毕业论文致谢    相关毕业论文格式       查阅更多论文答辩

【化学抽象机论文参考文献】相关文章：

javaweb论文的参考文献04-12

审计论文的参考文献10-18

单片机的参考文献内容04-13

论文中参考文献的类型08-15

论文英文参考文献格式04-26

论文参考文献标注技巧04-25

论文参考文献的标准格式01-02

数据挖掘论文的参考文献04-15

学位论文参考文献的格式04-26

微电影论文参考文献04-16