BagL简介

Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI:10.1109/SEKE.1992.227914

Denise E. Cooke, A. Gutierrez

{"title":"BagL简介","authors":"Denise E. Cooke, A. Gutierrez","doi":"10.1109/SEKE.1992.227914","DOIUrl":null,"url":null,"abstract":"Introduces a compilable program specification language, BagL. BagL is the result of a formal study to ascertain how data/control structure interaction can be abstracted. BagL meets the accepted properties of a 'good' language. BagL maintains a consistent level of abstraction; is extensible, orthogonal, concise, and unambiguous; and addresses software evolutionary issues. A visual interface for the formal BagL language is presented, as well as the syntax and informal semantics of BagL.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"46 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"An introduction to BagL\",\"authors\":\"Denise E. Cooke, A. Gutierrez\",\"doi\":\"10.1109/SEKE.1992.227914\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Introduces a compilable program specification language, BagL. BagL is the result of a formal study to ascertain how data/control structure interaction can be abstracted. BagL meets the accepted properties of a 'good' language. BagL maintains a consistent level of abstraction; is extensible, orthogonal, concise, and unambiguous; and addresses software evolutionary issues. A visual interface for the formal BagL language is presented, as well as the syntax and informal semantics of BagL.<<ETX>>\",\"PeriodicalId\":191866,\"journal\":{\"name\":\"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering\",\"volume\":\"46 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-06-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEKE.1992.227914\",\"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 Fourth International Conference on Software Engineering and Knowledge Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEKE.1992.227914","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

介绍了一种可编译程序规范语言BagL。BagL是确定如何抽象数据/控制结构交互的正式研究的结果。BagL符合公认的“好”语言的属性。BagL保持一致的抽象级别;是可扩展的、正交的、简洁的和明确的;并解决了软件进化问题。给出了正式BagL语言的可视化界面，以及BagL的语法和非正式语义。

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

查看原文本刊更多论文

An introduction to BagL

Introduces a compilable program specification language, BagL. BagL is the result of a formal study to ascertain how data/control structure interaction can be abstracted. BagL meets the accepted properties of a 'good' language. BagL maintains a consistent level of abstraction; is extensible, orthogonal, concise, and unambiguous; and addresses software evolutionary issues. A visual interface for the formal BagL language is presented, as well as the syntax and informal semantics of BagL.<>

求助全文

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

来源期刊

Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering

自引率

0.00%

发文量