软件和固件工程中翻译、验证和综合的对比

MICRO 14 Pub Date : 1981-12-01 DOI:10.1145/1014192.802432

R. A. Mueller, G. Johnson

{"title":"软件和固件工程中翻译、验证和综合的对比","authors":"R. A. Mueller, G. Johnson","doi":"10.1145/1014192.802432","DOIUrl":null,"url":null,"abstract":"Translation, verification and synthesis are commonly used terms in the software field, yet these terms seem to be misunderstood by many which may inhibit progress. This paper attempts, through the use of definitions and examples, to clarify these concepts and their significance in both software and firmware engineering.","PeriodicalId":130913,"journal":{"name":"MICRO 14","volume":"16 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1981-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Contrasting translation, verification and synthesis in software and firmware engineering\",\"authors\":\"R. A. Mueller, G. Johnson\",\"doi\":\"10.1145/1014192.802432\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Translation, verification and synthesis are commonly used terms in the software field, yet these terms seem to be misunderstood by many which may inhibit progress. This paper attempts, through the use of definitions and examples, to clarify these concepts and their significance in both software and firmware engineering.\",\"PeriodicalId\":130913,\"journal\":{\"name\":\"MICRO 14\",\"volume\":\"16 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1981-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"MICRO 14\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/1014192.802432\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"MICRO 14","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1014192.802432","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

翻译、验证和合成是软件领域中常用的术语，然而这些术语似乎被许多人误解了，这可能会阻碍进展。本文试图通过定义和实例来阐明这些概念及其在软件和固件工程中的意义。

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

查看原文本刊更多论文

Contrasting translation, verification and synthesis in software and firmware engineering

Translation, verification and synthesis are commonly used terms in the software field, yet these terms seem to be misunderstood by many which may inhibit progress. This paper attempts, through the use of definitions and examples, to clarify these concepts and their significance in both software and firmware engineering.

求助全文

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

来源期刊

MICRO 14

自引率

0.00%

发文量