正式规范:一个工业案例研究

[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI:10.1109/CMPEUR.1988.4956

I. V. Horebeek, B. Vergauwen, J. Lewi

{"title":"正式规范:一个工业案例研究","authors":"I. V. Horebeek, B. Vergauwen, J. Lewi","doi":"10.1109/CMPEUR.1988.4956","DOIUrl":null,"url":null,"abstract":"The authors present an algebraic specification of two-party voice calls. Abstraction is made from technical details. Only relevant characteristics are specified. Emphasis is put on modularity and on a so-called object-oriented design methodology. As a vehicle for this exposition, the authors use a constructive algebraic specification language that allows rapid prototyping.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"69 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Formal specifications: an industrial case study\",\"authors\":\"I. V. Horebeek, B. Vergauwen, J. Lewi\",\"doi\":\"10.1109/CMPEUR.1988.4956\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors present an algebraic specification of two-party voice calls. Abstraction is made from technical details. Only relevant characteristics are specified. Emphasis is put on modularity and on a so-called object-oriented design methodology. As a vehicle for this exposition, the authors use a constructive algebraic specification language that allows rapid prototyping.<<ETX>>\",\"PeriodicalId\":415032,\"journal\":{\"name\":\"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools\",\"volume\":\"69 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-04-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPEUR.1988.4956\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPEUR.1988.4956","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

作者提出了双方语音呼叫的代数规范。抽象是由技术细节构成的。只指定了相关的特征。重点放在模块化和所谓的面向对象设计方法上。作为本论述的载体，作者使用了一种允许快速原型的建设性代数规范语言。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Formal specifications: an industrial case study

The authors present an algebraic specification of two-party voice calls. Abstraction is made from technical details. Only relevant characteristics are specified. Emphasis is put on modularity and on a so-called object-oriented design methodology. As a vehicle for this exposition, the authors use a constructive algebraic specification language that allows rapid prototyping.<>

求助全文

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

来源期刊

[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools

自引率

0.00%

发文量

期刊最新文献

The automatic generation of graphical user interfaces Software engineering environments Computer-aided design of self-testable VLSI circuits An executable system specification to support the JSD methodology Guided synthesis and formal verification techniques for parameterized hardware modules