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

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)最新文献

筛选
英文 中文
Pattern-based reverse-engineering of design components 基于模式的设计组件逆向工程
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302622
R. Keller, R. Schauer, Sébastien Robitaille, Patrick Pagé
{"title":"Pattern-based reverse-engineering of design components","authors":"R. Keller, R. Schauer, Sébastien Robitaille, Patrick Pagé","doi":"10.1145/302405.302622","DOIUrl":"https://doi.org/10.1145/302405.302622","url":null,"abstract":"Many reverse-engineering tools have been developed to derive abstract representations from source code. Yet, most of these tools completely ignore recovery of the all-important rationale behind the design decisions that have lead to its physical shape. Design patterns capture the rationale behind proven design solutions and discuss the trade-offs among their alternatives. We argue that it is these patterns of thought that are at the root of many of the key elements of large-scale software systems, and that, in order to comprehend these systems, we need to recover and understand the patterns on which they were built. In this paper, we present our environment for the reverse engineering of design components based on the structural descriptions of design patterns. We give an overview of the environment, explain three case studies, and discuss how pattern-based reverse-engineering helped gain insight into the design rationale of some of the pieces of three large-scale C++ software systems.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128699153","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}
引用次数: 276
N degrees of separation: multi-dimensional separation of concerns N度分离:多维度的关注点分离
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302457
P. Tarr, H. Ossher, W. Harrison, S. Sutton
{"title":"N degrees of separation: multi-dimensional separation of concerns","authors":"P. Tarr, H. Ossher, W. Harrison, S. Sutton","doi":"10.1145/302405.302457","DOIUrl":"https://doi.org/10.1145/302405.302457","url":null,"abstract":"Done well, separation of concerns can provide many software engineering benefits, including reduced complexity, improved reusability, and simpler evolution. The choice of boundaries for separate concerns depends on both requirements on the system and on the kind(s) of decomposition and composition a given formalism supports. The predominant methodologies and formalisms available, however, support only orthogonal separations of concerns, along single dimensions of composition and decomposition. These characteristics lead to a number of well-known and difficult problems. The paper describes a new paradigm for modeling and implementing software artifacts, one that permits separation of overlapping concerns along multiple dimensions of composition and decomposition. This approach addresses numerous problems throughout the software lifecycle in achieving well-engineered, evolvable, flexible software artifacts and traceability across artifacts.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"56 50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125381060","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}
引用次数: 1651
Patterns in property specifications for finite-state verification 有限状态验证的属性规范中的模式
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302672
Matthew B. Dwyer, G. Avrunin, J. Corbett
{"title":"Patterns in property specifications for finite-state verification","authors":"Matthew B. Dwyer, G. Avrunin, J. Corbett","doi":"10.1145/302405.302672","DOIUrl":"https://doi.org/10.1145/302405.302672","url":null,"abstract":"Model checkers and other finite-state verification tools allow developers to detect certain kinds of errors automatically. Nevertheless, the transition of this technology from research to practice has been slow. While there are a number of potential causes for reluctance to adopt such formal methods, we believe that a primary cause is that practitioners are unfamiliar with specification processes, notations, and strategies. In a recent paper, we proposed a pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification. Since then, we have carried out a survey of available specifications, collecting over 500 examples of property specifications. We found that most are instances of our proposed patterns. Furthermore, we have updated our pattern system to accommodate new patterns and variations of existing patterns encountered in this survey. This paper reports the results of the survey and the current status of our pattern system.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126058059","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}
引用次数: 1585
Using subject-oriented programming to overcome common problems in object-oriented software development/evolution 使用面向主题的编程来克服面向对象软件开发/进化中的常见问题
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302958
H. Ossher, P. Tarr
{"title":"Using subject-oriented programming to overcome common problems in object-oriented software development/evolution","authors":"H. Ossher, P. Tarr","doi":"10.1145/302405.302958","DOIUrl":"https://doi.org/10.1145/302405.302958","url":null,"abstract":"This note presents an overview of this ICSE ‘99 tutorial.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127042576","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}
引用次数: 60
Software process support over the Internet 通过互联网提供软件过程支持
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302913
F. Maurer, G. Succi, Harald Holz, Boris Kötting, S. Goldmann, Barbara Dellen
{"title":"Software process support over the Internet","authors":"F. Maurer, G. Succi, Harald Holz, Boris Kötting, S. Goldmann, Barbara Dellen","doi":"10.1145/302405.302913","DOIUrl":"https://doi.org/10.1145/302405.302913","url":null,"abstract":"The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows refining and changing process models during project execution. The built-in traceability component supports change notifications and helps the project participants to ensure that the project plan as well as the state of the enactment engine reflect the \"real world\" development process. Tool integration is accomplished by using the built-in capabilities of Web browsers.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132030879","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}
引用次数: 66
Development of object oriented frameworks for spatio-temporal information systems 面向对象的时空信息系统框架的开发
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302993
A. Jacob
{"title":"Development of object oriented frameworks for spatio-temporal information systems","authors":"A. Jacob","doi":"10.1145/302405.302993","DOIUrl":"https://doi.org/10.1145/302405.302993","url":null,"abstract":"Domain specific Information Systems (IS) have traditionally been developed using conventional structured analysis and design. This investigation looks into the various aspects of designing and developing an Environmental Information System (EIS) using Object Technology and in the process identifying new, generic and specific design patterns which can be used in developing object oriented frameworks for the environment domain.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130183013","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
The Internet as a medium for software engineering experiments 互联网作为软件工程实验的媒介
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302994
A. Kotov
{"title":"The Internet as a medium for software engineering experiments","authors":"A. Kotov","doi":"10.1145/302405.302994","DOIUrl":"https://doi.org/10.1145/302405.302994","url":null,"abstract":"Empirical software engineering often faces the challenge of large variability of results among individual subjects. Variability can be reduced by using a larger group of subjects, but such group quickly becomes too expensive. Another challenge is finding a group of subjects that is representative of some relevant population of software engineers. This paper explores the potential of using the Internet as the medium for software engineering experiments to address the problems of sample size and representativeness.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130190009","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
Practical software measurement 实用软件测量
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302927
J. Statz
{"title":"Practical software measurement","authors":"J. Statz","doi":"10.1145/302405.302927","DOIUrl":"https://doi.org/10.1145/302405.302927","url":null,"abstract":"The one day tutorial on Practical Software Measurement (PSM) teaches students a method to select and apply software measures that directly support their project needs and address project-specific issues. In a workshop setting, students get experience using PSM on a case study.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"246 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115073063","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}
引用次数: 46
Explaining the cost of European space and military projects 解释欧洲太空和军事项目的成本
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302645
L. Briand, K. Emam, I. Wieczorek
{"title":"Explaining the cost of European space and military projects","authors":"L. Briand, K. Emam, I. Wieczorek","doi":"10.1145/302405.302645","DOIUrl":"https://doi.org/10.1145/302405.302645","url":null,"abstract":"There has been much controversy in the literature on several issues underlying the construction of parametric software development cost models. For example, it has been argued whether (dis)economies of scale exist in software production, what functional form should be assumed between effort and product size, whether COCOMO factors were useful, and whether the COCOMO factors are independent. Answers to such questions should help software organizations define suitable data collection programs and well-specified cost models. We use a data set collected by the European Space Agency to perform such an investigation. To ensure a certain degree of consistency in our data, we focus our analysis on a set of space and military projects that represent an important application domain and the largest subset in the database. These projects have been performed, however, by a variety of organizations. First, our results indicate that two functional forms are plausible between effort and product size: linear and log-linear. This also means that different project subpopulations are likely to follow different functional forms. Second, besides product size, the strongest factor influencing cost appears to be team size. Larger teams result in substantially lower productivity, which is interesting considering this attribute is rarely collected in software engineering cost databases. Third, although some COCOMO factors appear to be useful and significant covariates, they play a minor role in explaining project effort.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115092489","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
Using the ASTRAL model checker to analyze Mobile IP 使用ASTRAL模型检查器分析移动IP
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302459
Z. Dang, R. Kemmerer
{"title":"Using the ASTRAL model checker to analyze Mobile IP","authors":"Z. Dang, R. Kemmerer","doi":"10.1145/302405.302459","DOIUrl":"https://doi.org/10.1145/302405.302459","url":null,"abstract":"ASTRAL is a high level formal specification language for real time systems. It is provided with structuring mechanisms that allow one to build modularized specifications of complex real time systems with layering. The ASTRAL model checker checks the satisfiability of critical requirements of a specification by enumerating possible runs of transitions within a given time bound. The paper discusses the mechanism of the model checker and how it can be used to analyze encryption protocols. Several classic benchmarks have been investigated, including the Needham-Schroeder public-key authentication protocol (R.M. Needham and M.D. Schroeder, 1978) and the TMN protocol, and a number of attacks were uncovered. The paper focuses on using ASTRAL to specify Mobile IP (C. Perkins, 1996) and testing the specification using the model checker.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131910810","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}
引用次数: 26
首页 上一页 下一页 尾页
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学术官方微信