{"title":"为应用工程师(航空电子)自动生成代码","authors":"J.J. Turkovich","doi":"10.1109/DASC.1990.111358","DOIUrl":null,"url":null,"abstract":"An approach which generates code and documentation from specifications of application designs is described. This approach to code generation is realistic, realizable with current technology, and capable of dramatically increasing productivity and reliability in avionics systems. The ALS CASE system, which adheres to this approach, has been implemented and used to successfully generate approximately 3000 lines of Ada code from a specification of a Boeing 737 autoland flight control system.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Automated code generation for application engineers (avionics)\",\"authors\":\"J.J. Turkovich\",\"doi\":\"10.1109/DASC.1990.111358\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"An approach which generates code and documentation from specifications of application designs is described. This approach to code generation is realistic, realizable with current technology, and capable of dramatically increasing productivity and reliability in avionics systems. The ALS CASE system, which adheres to this approach, has been implemented and used to successfully generate approximately 3000 lines of Ada code from a specification of a Boeing 737 autoland flight control system.<<ETX>>\",\"PeriodicalId\":141205,\"journal\":{\"name\":\"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems\",\"volume\":\"22 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-10-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DASC.1990.111358\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.1990.111358","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Automated code generation for application engineers (avionics)
An approach which generates code and documentation from specifications of application designs is described. This approach to code generation is realistic, realizable with current technology, and capable of dramatically increasing productivity and reliability in avionics systems. The ALS CASE system, which adheres to this approach, has been implemented and used to successfully generate approximately 3000 lines of Ada code from a specification of a Boeing 737 autoland flight control system.<>