发布求助
文献互助 智能选刊 最新文献

Proceedings 1993 Software Engineering Standards Symposium最新文献

筛选
英文 中文
A rigorous review technique: using formal notations within conventional development methods 严格的审查技术:在常规开发方法中使用正式符号
Proceedings 1993 Software Engineering Standards Symposium Pub Date : 1993-08-30 DOI: 10.1109/SESS.1993.263945
S. Aujla, T. Bryant, L. Semmens
{"title":"A rigorous review technique: using formal notations within conventional development methods","authors":"S. Aujla, T. Bryant, L. Semmens","doi":"10.1109/SESS.1993.263945","DOIUrl":"https://doi.org/10.1109/SESS.1993.263945","url":null,"abstract":"The introduction and use of formal (mathematically based) specification in substantial systems development has been hampered by the additional burdens it places on practitioners. BT and Leeds Metropolitan University, have developed a framework for the gradual introduction of formal specification starting with its use as a review technique, applied to a standard range of systems development deliverables such as data and process models. The benefits of this approach are immediate and can also be more extensive. The paper describes the philosophy behind the general approach; offers an example of applying the rigorous review technique; and summarises the benefits that can accrue.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"309 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121686358","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
Towards the evaluation of software engineering standards 对软件工程标准的评价
Proceedings 1993 Software Engineering Standards Symposium Pub Date : 1993-08-30 DOI: 10.1109/SESS.1993.263960
Norman Fenton, S. Page
{"title":"Towards the evaluation of software engineering standards","authors":"Norman Fenton, S. Page","doi":"10.1109/SESS.1993.263960","DOIUrl":"https://doi.org/10.1109/SESS.1993.263960","url":null,"abstract":"The paper presents the results of work undertaken during the first half of a project whose aim is to develop a measurement based approach for assessing software engineering standards. Using a simple model of a standard as a set of requirements the authors found that it is impossible to make an objective assessment of conformance to the majority of requirements. They make recommendations for improving standards. These include the restriction of individual requirements to a specific product, process or resource, with conformance able to be assessed objectively; the restriction of standards to cohesive collections of requirements; a clear statement of benefit. The approach to evaluation of a specific standard has two stages: firstly the rationalisation and decomposition into mini-standards and secondly the (ideal) measurement-based assessment. The initial stages of a major industrial case study being used to assess the approach are described. They show, by the example of the evaluation of a specific mini-standard, that data the company already collects, and which are similar to the type of data collected by other companies, can be used to form the basis of the assessment.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"50 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123206541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Standardization of software reliability estimation and prediction: application to space systems 软件可靠性估计与预测的标准化:在航天系统中的应用
Proceedings 1993 Software Engineering Standards Symposium Pub Date : 1993-08-30 DOI: 10.1109/SESS.1993.263961
N. Schneidewind
{"title":"Standardization of software reliability estimation and prediction: application to space systems","authors":"N. Schneidewind","doi":"10.1109/SESS.1993.263961","DOIUrl":"https://doi.org/10.1109/SESS.1993.263961","url":null,"abstract":"The American Institute of Aeronautics and Astronautics, through its Software Reliability Working Group, and the American National Standards institute have produced a Recommended Practice for Software Reliability, (ANSI/AIAA R-013-1992) for software reliability estimation and prediction. By ballot this document was approved by AIAA and ANSI as a recommended practice on February 23, 1993. The paper presents 'Appendix F Software Reliability Measurement Case Studies: Using Software Reliability Models for Developing Test Strategies' from the Recommended Practice.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123118663","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Information systems engineering 信息系统工程
Proceedings 1993 Software Engineering Standards Symposium Pub Date : 1993-08-30 DOI: 10.1109/SESS.1993.263956
B. Myburgh, G. Olivier
{"title":"Information systems engineering","authors":"B. Myburgh, G. Olivier","doi":"10.1109/SESS.1993.263956","DOIUrl":"https://doi.org/10.1109/SESS.1993.263956","url":null,"abstract":"The development and implementation of significant information systems is today no less of a challenge than it was when the software crisis was first recognized -and the crisis is still with us. Information engineering developments have made a significant impact by developing a business orientation that recognizes the realities of the end-user environment. The modeling techniques of information engineering are well recognized in this regard. Systems and software engineering practice is recognized as the answer to the engineering challenge. The process and associated standards are internationally applied. The paper presents information systems engineering as a blend of the two environments, showing how established standards, methods and techniques can harmonize to define a process which significantly addresses many of the causes of the continuing crisis.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133891788","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A method for selecting standards for software engineering 一种选择软件工程标准的方法
Proceedings 1993 Software Engineering Standards Symposium Pub Date : 1993-08-30 DOI: 10.1109/SESS.1993.263951
J. Thornton, A. Bytheway
{"title":"A method for selecting standards for software engineering","authors":"J. Thornton, A. Bytheway","doi":"10.1109/SESS.1993.263951","DOIUrl":"https://doi.org/10.1109/SESS.1993.263951","url":null,"abstract":"The paper describes early experience with the Standardization Framework for Software Engineering, developed for use in the international and European software engineering communities. The paper introduces the application of the Framework as part of a method for the evaluation and selection of existing standards, the identification of requirements for new standards, the planning of standards development in a complex international environment, and the control and assessment of quality during standards development.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134109746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Applying ISO 9001 to small scale software development projects 在小型软件开发项目中应用ISO 9001
Proceedings 1993 Software Engineering Standards Symposium Pub Date : 1993-08-30 DOI: 10.1109/SESS.1993.263970
R. Jack, Napier
{"title":"Applying ISO 9001 to small scale software development projects","authors":"R. Jack, Napier","doi":"10.1109/SESS.1993.263970","DOIUrl":"https://doi.org/10.1109/SESS.1993.263970","url":null,"abstract":"The application of ISO 9001 to the development of software products has been assisted by the production of guidance documents such as ISO 9003 and the DTi TickIT scheme. The translation of these documents into an organisational quality management system requires time and effort, and an understanding of both the requirements of the standards and the organisations' method of working. The paper examines how this can be undertaken in small development organisations.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134166886","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Experience of implementing software measurement programmes in industry 在工业中实施软件测量程序的经验
Proceedings 1993 Software Engineering Standards Symposium Pub Date : 1993-08-30 DOI: 10.1109/SESS.1993.263964
C. Shelley
{"title":"Experience of implementing software measurement programmes in industry","authors":"C. Shelley","doi":"10.1109/SESS.1993.263964","DOIUrl":"https://doi.org/10.1109/SESS.1993.263964","url":null,"abstract":"Software measurement will be the catalyst for the transition of software development from a craft to an engineering discipline. For two years a major UK Electronics Group has been developing and implementing a strategy to promote and encourage the use of software measurement as part of its software development activities. The strategy has been designed to encourage the Group's operating companies to implement software measurement programmes relevant to their business needs and to ensure that these programmes deliver useful information to both manager and developers. An overview of the strategy is given and progress in its implementation described. This includes an explanation and justification for a change in emphasis from software measurement for process improvement to software measurement for project management. Recommendations are made for others undertaking similar work.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124772919","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Automated tool support for ANSI/IEEE STD: 829-1983 software test documentation 自动化工具支持ANSI/IEEE STD: 829-1983软件测试文档
Proceedings 1993 Software Engineering Standards Symposium Pub Date : 1993-08-30 DOI: 10.1109/SESS.1993.263938
H. Sneed
{"title":"Automated tool support for ANSI/IEEE STD: 829-1983 software test documentation","authors":"H. Sneed","doi":"10.1109/SESS.1993.263938","DOIUrl":"https://doi.org/10.1109/SESS.1993.263938","url":null,"abstract":"The ANSI/IEEE standard for software test documentation calls for the production of a series of documents to verify that the testing process has been carried out properly and that the test objectives have been met. Without automated tool support the costs of such test documentation are prohibitive in all but the most trivial projects. The paper describes a test system which provides such a service. It begins with a test plan frame as a master class, from which the class test design is then derived. From it various test procedure classes are generated which serve to generate the individual objects -test cases specified in the form of pre- and post condition assertions to be executed in test suites.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131745066","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
SDL: the standard for engineering telecommunications software SDL:工程通信软件标准
Proceedings 1993 Software Engineering Standards Symposium Pub Date : 1993-08-30 DOI: 10.1109/SESS.1993.263967
O. Faergemand, R. Reed
{"title":"SDL: the standard for engineering telecommunications software","authors":"O. Faergemand, R. Reed","doi":"10.1109/SESS.1993.263967","DOIUrl":"https://doi.org/10.1109/SESS.1993.263967","url":null,"abstract":"The paper gives the standardisation background, an overview and usage of information on CCITT SDL which is the formal description technique standardised by CCITT for the specification of the behaviour of real time (telecommunications) systems. Although it has been standardised since 1976 and is widely used in the telecommunications industry and standards work, it has not been widely used elsewhere. Despite its age, SDL is evolving in a controlled way to meet present requirements. The standardisation work and available support is described. Key features of the language are described in an overview. The current industrial usage is briefly reported, and is supported by references.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116087179","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
An approach to software assessment 一种软件评估方法
Proceedings 1993 Software Engineering Standards Symposium Pub Date : 1993-08-30 DOI: 10.1109/SESS.1993.263962
T. Denvir, F. Maclennan, M. Cooke
{"title":"An approach to software assessment","authors":"T. Denvir, F. Maclennan, M. Cooke","doi":"10.1109/SESS.1993.263962","DOIUrl":"https://doi.org/10.1109/SESS.1993.263962","url":null,"abstract":"Many engineering systems, especially those required to be dependable, undergo inspections and assessments of safeness and fitness for purpose. Often some form of certificate is provided by the assessment authority. To an increasing degree these systems are beginning to contain software components. The paper explores the feasibility and limitations of software assessment and outlines an approach to software assessment that is being developed by Lloyd's Register.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123428607","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信