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

Proceedings of the (19th) International Conference on Software Engineering最新文献

筛选
英文 中文
Automatic Monitoring of Software Requirements 软件需求的自动监控
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253493
D. Cohen, M. Feather, K. Narayanaswamy, S. Fickas
{"title":"Automatic Monitoring of Software Requirements","authors":"D. Cohen, M. Feather, K. Narayanaswamy, S. Fickas","doi":"10.1145/253228.253493","DOIUrl":"https://doi.org/10.1145/253228.253493","url":null,"abstract":"Automatic run-time monitoring of software systems’ design/ purchase/ installationtime requirements and assumptions is a key step towards making those systems more robust, maintainable, and self-evolving. A concise language has been designed to permit the convenient expression of a wide range of requirements and assumptions. A compiler automatically converts these expressions into run-time monitors to watch for, and report, all requirement and assumption violations. The mechanism is applicable to systems which have not necessarily been designed with monitoring in mind, permits addition of further requirements and assumption monitoring on-the-fly, and emphasizes usability by a wide range of end-users.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129556675","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}
引用次数: 68
Reuse of Off-the-Shelf Components in C2-Style Architectures c2风格体系结构中现成组件的重用
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/258366.258421
N. Medvidović, P. Oreizy, R. Taylor
{"title":"Reuse of Off-the-Shelf Components in C2-Style Architectures","authors":"N. Medvidović, P. Oreizy, R. Taylor","doi":"10.1145/258366.258421","DOIUrl":"https://doi.org/10.1145/258366.258421","url":null,"abstract":"A motion translating mechanism comprising a driven member. A base engages the driven member and has a stop rising therefrom. An actuation head is disposed above the stop and interconnects with the base by the helical spring assembly. When the actuation head is struck, it will be depressed and the helical coil springs will cause the head to rotate. When the head is released, the base will rotate also rotating the driven member to a new predetermined position.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134411744","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}
引用次数: 38
Code Reviews Enhance Software Quality 代码审查提高软件质量
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253461
Richard A. Baker
{"title":"Code Reviews Enhance Software Quality","authors":"Richard A. Baker","doi":"10.1145/253228.253461","DOIUrl":"https://doi.org/10.1145/253228.253461","url":null,"abstract":"This paper discusses a procedure for reviewing code changes that are made to a software product as it moves through its life cycle. In this procedure the technical manager reviews each change made to the code. The procedure succeeded in improving in product quality by 40% at a cost of 1-2% of the project effort.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134523699","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}
引用次数: 43
Measuring Requirements Testing Experience Report 测量需求测试经验报告
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253358
Theodore Hammer, L. Rosenberg, Lenore Huffman, L. Hyatt
{"title":"Measuring Requirements Testing Experience Report","authors":"Theodore Hammer, L. Rosenberg, Lenore Huffman, L. Hyatt","doi":"10.1145/253228.253358","DOIUrl":"https://doi.org/10.1145/253228.253358","url":null,"abstract":"Requirements are written to completed software system. Linda Rosenberg, Ph.D. Unisys Federal Systems Code 300.1 Greenbelt, h4D 207712 spec@ the functionality of a Software systems are often released in segments called builds, each one adding new functionality and satisfying an additional set of requirements. New software requirements tools are allowing quality assurance engineers to develop and use new metrics to assist them in evaluating the relationships of requirements to tests, thus ensuring the required functionality in the new system. NASA‘s Goddard Space Flight Center is applying new tools and technology to measure the effectiveness of requirements testing. This paper discusses an effort that uses project data to demonstrate metrics effectiveness.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"13 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114124128","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
Lessons on Converting Batch Systems to Support Interaction 将批处理系统转换为支持交互的课程
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253267
R. Deline, G. Zelesnik, M. Shaw
{"title":"Lessons on Converting Batch Systems to Support Interaction","authors":"R. Deline, G. Zelesnik, M. Shaw","doi":"10.1145/253228.253267","DOIUrl":"https://doi.org/10.1145/253228.253267","url":null,"abstract":"Software often evolves from batch to interactive use. Because these two usage styles are so different, batch systems usually require substantial changes to support interactive use. Specific issues that arise during conversion include assumptions about duration of system execution, incremental and partial processing, scope of processing, unordered and repeated processing, and error handling. Addressing these issues affects the implementation in the areas of memory management, assumptions and invariants, computational organization, and error handling. We use as a working example our conversion of the batch processor for the UniCon architecture description tool into an interactive architecture development tool. To capture the lessons for practitioners undertaking this type of conversion, we summarize with a checklist of design and implementation considerations.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133407186","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
On the Economics of Mass-Marketed Software 论大众化软件的经济学
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253385
R. Botting
{"title":"On the Economics of Mass-Marketed Software","authors":"R. Botting","doi":"10.1145/253228.253385","DOIUrl":"https://doi.org/10.1145/253228.253385","url":null,"abstract":"This paper looks at the assumptions driving mass marketed software. These assumptions explain why traditional software engineering methods and processes appear to have less economic value in a mass market. The assumptions lead to a model that predicts observed patterns such as (1) rapid development, (2)lower quality, and (3) an initially dominant product that is eclipsed later","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129982103","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}
引用次数: 4
Re-estimation of Software Reliability After Maintenance 软件维护后可靠性的再评估
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253245
Andy Podgurski, E. Weyuker
{"title":"Re-estimation of Software Reliability After Maintenance","authors":"Andy Podgurski, E. Weyuker","doi":"10.1145/253228.253245","DOIUrl":"https://doi.org/10.1145/253228.253245","url":null,"abstract":"The common practice of reusing test cases for regression testing is incompatible with estimating the reliability of modified software, because dependencies between software changes and previous test results lead to estimation bias. Statistical testing with random operational inputs can produce valid reliability estimates, but its cost may be excessive unless the nature of software changes is considered. We propose an economical way of estimating the reliability of modified software under certain common circumstances. It calls for updatzng a previous reliability estimate by estimating differences in the behavior of successive software versions. The older version is used as a relatzve oracle to reduce the number of executions that must be checked manually for conformance to requirements. Our approach is justified using only elementary probability and does not require reliability growth assumptions.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130037209","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
Introducing Formal Specification Methods in Industrial Practice 在工业实践中引入形式化规范方法
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253241
L. Baresi, A. Orso, M. Pezzè
{"title":"Introducing Formal Specification Methods in Industrial Practice","authors":"L. Baresi, A. Orso, M. Pezzè","doi":"10.1145/253228.253241","DOIUrl":"https://doi.org/10.1145/253228.253241","url":null,"abstract":"Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners with formal notations and the difficulties of their use are main causes of the limited success of formal specification methods. Approaches based on the use of popular front-end notations formally defined with mappings on formal models can solve practical problems. However the absence of flexibility of the mappings proposed so far limits the applicability of such approaches to the few environments that match exactly these solutions. This paper presents an original solution based on formalisms to define mappings from front-end notations to formal models. The proposed framework works with different front-end notations and formal models and supports mappings of analysis results obtained on the formal model to the front-end notation chosen by the practitioners. The approach described in this paper has been validated in industrial environments using pilot applications. The paper presents some of the industrial results obtained so far and ongoing experimentations.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115725442","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}
引用次数: 41
Prioritizing Software Requirements In An Industrial Setting 工业环境中软件需求的优先级排序
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253453
K. Ryan, Joachim Karlsson
{"title":"Prioritizing Software Requirements In An Industrial Setting","authors":"K. Ryan, Joachim Karlsson","doi":"10.1145/253228.253453","DOIUrl":"https://doi.org/10.1145/253228.253453","url":null,"abstract":"The planning of additional features and releases is a major concern for commercial software companies. We describe how, in collaboration with Ericsson Radio Systems, we developed and tested an industrially useful approach to software requirements prioritization.","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121505040","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}
引用次数: 32
The Criticality of Modeling Formalisms in Software Design Method Comparison 建模形式化在软件设计方法比较中的重要性
Proceedings of the (19th) International Conference on Software Engineering Pub Date : 1997-05-01 DOI: 10.1145/253228.253295
R. Podorozhny, L. Osterweil
{"title":"The Criticality of Modeling Formalisms in Software Design Method Comparison","authors":"R. Podorozhny, L. Osterweil","doi":"10.1145/253228.253295","DOIUrl":"https://doi.org/10.1145/253228.253295","url":null,"abstract":"This paper describes experimentation aimed at making the comparison of software design methodologies SDM s more of an exact science Our aim is to lay the foundations for this more exact science by establishing xed methods and conceptual frameworks that are able to assure that comparison e orts will yield predictable reproducible results Earlier papers have proposed the use of a systematic process to compare SDM s This process assumes that the comparison will be done relative to a xed standard SDM feature classi cation schema and with the use of a xed formalism for modeling the SDM s Early experiments with this approach have yielded interesting SDM comparisons but have raised questions about how sensitive these results might be to the choice of modeling formalism In this paper we study this sensitivity by varying the choice of modeling formalism We describe an experiment in which we x a pair of SDM s and then use two di erent formalisms to obtain two di erent comparisons of that pair of SDM s We then compare the comparisons Our results suggest that comparison results may be relatively insensitive to di erences in modeling formalisms This paper also suggests an approach to further experimentation","PeriodicalId":127923,"journal":{"name":"Proceedings of the (19th) International Conference on Software Engineering","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121764651","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}
引用次数: 10
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书