An introduction to the UMTA specification language

E. Ziegler
{"title":"An introduction to the UMTA specification language","authors":"E. Ziegler","doi":"10.1145/942572.807054","DOIUrl":null,"url":null,"abstract":"Many of the problems in the implementation and maintenance of computer programs occur during the transition from detailed functional specifications to reliable computer code (i.e., in the detailed design, coding, testing, and integration of the computer program). A study for the U.S. Air Force found that approximately 65 percent of the software effort in several large systems went into these transitional activities.(1) In other words, about twice as much software effort went into getting the computer programs to work reliably as went into determining what functions the programs should perform. This paper describes a tool to improve that ratio.\n The Urban Mass Transportation Administration (UMTA) is employing a highly systematic approach to the management of computer software development. Part of this approach is the documentation and review of detailed technical specifications for computer programs. This review helps assure that the computer programs, when implemented, will do the job they are intended to do. The review takes place prior to any coding of the computer programs to reduce the amount of redesign and recoding during programming.","PeriodicalId":265634,"journal":{"name":"SIGPLAN Symposium on Very High Level Languages","volume":"37 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1974-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"SIGPLAN Symposium on Very High Level Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/942572.807054","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 6

Abstract

Many of the problems in the implementation and maintenance of computer programs occur during the transition from detailed functional specifications to reliable computer code (i.e., in the detailed design, coding, testing, and integration of the computer program). A study for the U.S. Air Force found that approximately 65 percent of the software effort in several large systems went into these transitional activities.(1) In other words, about twice as much software effort went into getting the computer programs to work reliably as went into determining what functions the programs should perform. This paper describes a tool to improve that ratio. The Urban Mass Transportation Administration (UMTA) is employing a highly systematic approach to the management of computer software development. Part of this approach is the documentation and review of detailed technical specifications for computer programs. This review helps assure that the computer programs, when implemented, will do the job they are intended to do. The review takes place prior to any coding of the computer programs to reduce the amount of redesign and recoding during programming.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
介绍UMTA规范语言
计算机程序的实现和维护中的许多问题发生在从详细的功能规范到可靠的计算机代码的过渡过程中(即,在计算机程序的详细设计、编码、测试和集成过程中)。一项针对美国空军的研究发现,在几个大型系统中,大约65%的软件工作用于这些过渡活动。(1)换句话说,用于使计算机程序可靠地工作的软件工作大约是用于确定程序应该执行什么功能的软件工作的两倍。本文介绍了一种提高这一比率的工具。城市公共交通管理局(UMTA)正在采用一种高度系统化的方法来管理计算机软件开发。这种方法的一部分是记录和审查计算机程序的详细技术规范。这种审查有助于确保计算机程序在实施时能够完成它们打算做的工作。审查发生在任何计算机程序编码之前,以减少编程期间重新设计和重新编码的数量。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
An overview of nonprocedural languages Continuous system simulation languages: Design principles and implementation techniques The design and implementation of a very high level language for literary scholars An introduction to the UMTA specification language Automatic and semiautomatic optimization of SETL
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1