面向对象代数规范的语言、证明技术和方法论

AMAST Series in Computing Pub Date : 1998-07-02 DOI:10.1142/3831

R. Diaconescu, K. Futatsugi

{"title":"面向对象代数规范的语言、证明技术和方法论","authors":"R. Diaconescu, K. Futatsugi","doi":"10.1142/3831","DOIUrl":null,"url":null,"abstract":"Basic specifications - signatures models sentences satisfaction proof system structuring specifications - fundamental semantics concepts module imports views parameterized modules module expressions built-in modules proof technologies - rewriting induction coinduction methodologies - nondeterminism concurrent object composition dynamic systems of objects applications in rewriting logic general small methodological advises.","PeriodicalId":440882,"journal":{"name":"AMAST Series in Computing","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"259","resultStr":"{\"title\":\"Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification\",\"authors\":\"R. Diaconescu, K. Futatsugi\",\"doi\":\"10.1142/3831\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Basic specifications - signatures models sentences satisfaction proof system structuring specifications - fundamental semantics concepts module imports views parameterized modules module expressions built-in modules proof technologies - rewriting induction coinduction methodologies - nondeterminism concurrent object composition dynamic systems of objects applications in rewriting logic general small methodological advises.\",\"PeriodicalId\":440882,\"journal\":{\"name\":\"AMAST Series in Computing\",\"volume\":\"6 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-07-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"259\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"AMAST Series in Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1142/3831\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"AMAST Series in Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/3831","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 259

摘要

基本规范。签名模型句子满足证明系统结构规范。基本语义概念模块导入视图参数化模块模块表达式内置模块证明技术。重写归纳协归纳方法。非确定性并发对象组成对象动态系统在重写逻辑中的应用一般小方法建议。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

Basic specifications - signatures models sentences satisfaction proof system structuring specifications - fundamental semantics concepts module imports views parameterized modules module expressions built-in modules proof technologies - rewriting induction coinduction methodologies - nondeterminism concurrent object composition dynamic systems of objects applications in rewriting logic general small methodological advises.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

AMAST Series in Computing

自引率

0.00%

发文量