首页    期刊浏览 2025年03月01日 星期六
登录注册

文章基本信息

  • 标题:From Algebras to Objects: Generation and Composition
  • 本地全文:下载
  • 作者:A.M. Cruz ; L.S. Barbosa ; J.N. Oliveira
  • 期刊名称:Journal of Universal Computer Science
  • 印刷版ISSN:0948-6968
  • 出版年度:2005
  • 卷号:11
  • 期号:10
  • 页码:1580-1580
  • 出版社:Graz University of Technology and Know-Center
  • 摘要:This paper addresses objectification, a formal specification technique which inspects the potential for object-orientation of a declarative model and brings the 'implicit objects' explicit. Criteria for such objectification are formalized and implemented in a runnable prototype tool which embeds Vdm-sl into Vdm++. The paper also includes a quick presentation of a (coinductive) calculus of such generated objects, framed as generalised Moore machines.
  • 关键词:object composition, object­orientation, software formal specification
国家哲学社会科学文献中心版权所有