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

Software evolution and 'light' semantics 软件进化和“轻”语义

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-22 DOI: 10.1109/icse.1999.841049

D. Perry

{"title":"Software evolution and 'light' semantics","authors":"D. Perry","doi":"10.1109/icse.1999.841049","DOIUrl":"https://doi.org/10.1109/icse.1999.841049","url":null,"abstract":"The motivation for Inscape came from my experience as a programmer, designer and architect. There were two major (and inter-related) problems that I encountered while building software systems where I had to use components built by other people: the pieces often did not fit when I put them together and changing code often produced surprising and unexpected results. The first problem was due primarily to the informality and often incompleteness of component interfaces. The second problem was due ultimately to the complexity of the software and an inability to foresee or determine the consequences of changes. These problems result from three essential and intertwined properties of building software systems: composition, evolution and complexity. In coming to grips with the problem of composition, using formal interface specifications is the obvious choice. Enhancing the syntactic interfaces with semantic information is one way of expressing the intent of the interface provider and enabling the user to have all the information necessary to its correct and effective use. How to attack the problem of evolution is not as obvious. The approach I took in the Inscape experiment was to use the specifications constructively in order to determine and maintain semantic dependencies. Keeping track semantically as to how the interfaces are used is the analog of expressing the interface creator's intent: it is capturing the users intent. Given that both interfaces and implementations evolve, keeping track of the dependencies enables the environment to help in understanding the effects of changes and where those effects take place.","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-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133545805","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

Highly reliable upgrading of components 高度可靠的组件升级

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302466

J. Cook, Jeffrey A. Dage

引用次数: 127

Identifying objects using cluster and concept analysis 使用聚类和概念分析识别对象

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302629

A. Deursen, T. Kuipers

引用次数: 279

Research summary for dynamic detection of program invariants 程序不变量动态检测研究综述

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302992

Michael D. Ernst

引用次数: 1

WinWin: a system for negotiating requirements 双赢:协商要求的系统

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302915

E. Horowitz, J. Lee, June Sup Lee

引用次数: 5

Modeling and analyzing software architectures 建模和分析软件架构

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302960

Robert T. Monroe

引用次数: 1

An incremental flow- and context-sensitive pointer aliasing analysis 增量流和上下文敏感的指针混叠分析

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302676

Jyh-Shiarn Yur, B. Ryder, W. Landi

引用次数: 54

Investigating quality factors in object-oriented designs: an industrial case study 调查面向对象设计中的质量因素:一个工业案例研究

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302654

L. Briand, J. Wüst, S. V. Ikonomovski, H. Lounis

{"title":"Investigating quality factors in object-oriented designs: an industrial case study","authors":"L. Briand, J. Wüst, S. V. Ikonomovski, H. Lounis","doi":"10.1145/302405.302654","DOIUrl":"https://doi.org/10.1145/302405.302654","url":null,"abstract":"This paper aims at empirically exploring the relationships between most of the existing coupling and cohesion measures for object-oriented (OO) systems, and the fault-proneness of OO system classes. The underlying goal of such a study is to better understand the relationship between existing design measurement in OO systems and the quality of the software developed. The study described here is a replication of an analogous study conducted in an university environment with systems developed by students. In order to draw more general conclusions and to (dis)confirm the results obtained there, we now replicated the study using data collected on an industrial system developed by professionals. Results show that many of our findings are consistent across systems, despite the very disparate nature of the systems under study. Some of the strong dimensions captured by the measures in each data set are visible in both the university and industrial case study. For example, the frequency of method invocations appears to be the main driving factor of fault-proneness in all systems. However, there are also differences across studies which illustrate the fact that quality does not follow universal laws and that quality models must be developed locally, wherever needed.","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":"130095998","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}

引用次数: 264

Specification, analysis, and prototyping of mobile systems 移动系统的规范、分析和原型设计

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302996

C. Mascolo

引用次数: 4

Adding more "DL" to IDL: towards more knowledgeable component inter-operability 向IDL添加更多的“DL”:实现更有知识的组件互操作性

Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002) Pub Date : 1999-05-16 DOI: 10.1145/302405.302660

Alexander Borgida, Premkumar T. Devanbu

{"title":"Adding more \"DL\" to IDL: towards more knowledgeable component inter-operability","authors":"Alexander Borgida, Premkumar T. Devanbu","doi":"10.1145/302405.302660","DOIUrl":"https://doi.org/10.1145/302405.302660","url":null,"abstract":"In an open component market place, interface description languages (IDLs), such as CORBA's, provide for the consumer only a weak guarantee (concerning type signatures) that a software service will work in a particular context as anticipated. Stronger guarantees, regarding the intended semantics of the service, would help, especially if formalized in a language that allowed effective, automatic and static checking of compatibility between the server and the client's service descriptions. We propose an approach based on a family of formalisms called description logics (DLs), providing three examples of the use of DLs to augment IDL: (1) for the CORBA Cos Relationship service; (2) for capturing information models described using STEP Express, the ISO standard language used in the manufacturing domain (and a basis of the OMG PDM effort); and (3) constraints involving methods. While traditional formal specification techniques are more powerful, DLs offer certain advantages: they have decidable, even efficient reasoning algorithms, yet they still excel at modeling natural domains, and are thus well-suited for specifying application and domain-specific services.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"45 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":"131020095","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}

引用次数: 47