{"title":"软件技术:现在与未来","authors":"B. Hodges","doi":"10.1145/503561.503599","DOIUrl":null,"url":null,"abstract":"This paper provides an examination of current software techniques and practices. Special attention is given to established methods for software production and management of software development activities. Present software development tools and their relationships to the development process are presented. In addition, other basic software technology areas for future research and development are discussed. These areas include: specialized language applications, generalized support software system, automated code verification/validation techniques and high order language computer.","PeriodicalId":151957,"journal":{"name":"ACM-SE 14","volume":"30 7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1976-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Software technology: present and future\",\"authors\":\"B. Hodges\",\"doi\":\"10.1145/503561.503599\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper provides an examination of current software techniques and practices. Special attention is given to established methods for software production and management of software development activities. Present software development tools and their relationships to the development process are presented. In addition, other basic software technology areas for future research and development are discussed. These areas include: specialized language applications, generalized support software system, automated code verification/validation techniques and high order language computer.\",\"PeriodicalId\":151957,\"journal\":{\"name\":\"ACM-SE 14\",\"volume\":\"30 7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1976-04-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM-SE 14\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/503561.503599\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM-SE 14","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/503561.503599","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This paper provides an examination of current software techniques and practices. Special attention is given to established methods for software production and management of software development activities. Present software development tools and their relationships to the development process are presented. In addition, other basic software technology areas for future research and development are discussed. These areas include: specialized language applications, generalized support software system, automated code verification/validation techniques and high order language computer.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
