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

Data flow analysis for checking properties of concurrent Java programs 用于检查并发Java程序属性的数据流分析

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

G. Naumovich, G. Avrunin, L. Clarke

{"title":"Data flow analysis for checking properties of concurrent Java programs","authors":"G. Naumovich, G. Avrunin, L. Clarke","doi":"10.1145/302405.302663","DOIUrl":"https://doi.org/10.1145/302405.302663","url":null,"abstract":"In this paper we show how the FLAVERS data flow analysis technique, originally formulated for systems using a rendezvous concurrency model, can be applied to the various concurrency models used in Java programs. The general approach of FLAVERS is based on modeling a concurrent system as a flow graph and, using a data flow analysis algorithm over this graph, statically checking if a property holds on all (or no) executions of the program. The accuracy of this analysis can be iteratively improved, as needed, by supplying additional constraints, represented as finite state automata, to the data flow analysis algorithm. In this paper we present an approach for analyzing Java programs that uses the constraint mechanism to model the possible communications among threads in Java programs, instead of representing them directly in the flow graph model. We also discuss a number of error-prone thread communication patterns that can arise in Java and describe how FLAVERS can be used to check for the presence of these. A preliminary evaluation of this approach is carried out by analyzing some small concurrent Java programs for these error-prone communication patterns and other, program-specific, faults.","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":"130021478","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}

引用次数: 72

Product-line architectures in industry: a case study 工业中的产品线架构:一个案例研究

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

J. Bosch

引用次数: 128

Dynamic layout of distributed applications in FarGo FarGo中分布式应用程序的动态布局

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

O. Holder, I. Ben-Shaul, Hovav Gazit

{"title":"Dynamic layout of distributed applications in FarGo","authors":"O. Holder, I. Ben-Shaul, Hovav Gazit","doi":"10.1145/302405.302462","DOIUrl":"https://doi.org/10.1145/302405.302462","url":null,"abstract":"The design of efficient and reliable distributed applications that operate in large networks, over links with varying capacities and loads, demands new programming abstractions and mechanisms. The conventional static design-time determination of local-remote relationships between components implies that (dynamic) environmental changes are hard if not impossible to address without reengineering. The paper presents a novel programming model that is centered around the concept of \"dynamic application layout\", which permits the manipulation of component location at runtime. This leads to a clean separation between the programming of the application's logic and the programming of the layout, which can also be performed externally at runtime. The main abstraction vehicle for layout programming is a reflective inter-component reference, which embodies co- and re-location semantics. We describe an extensible set of reference types that drive and constrain the mapping of components to hosts, and show how this model elevates application performance and reliability yet requires minimal changes in programming the application's logic. The model was realized in the FarGo system, whose design and implementation in Java are presented, along with an event based scripting language and corresponding event monitoring service for managing the layout of FarGo applications.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"67 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113989226","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}

引用次数: 120

Defining families - Commonality analysis 定义家庭——共性分析

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

M. Ardis, David A. Cuka

引用次数: 22

Using off-the-shelf middleware to implement connectors in distributed software architectures 使用现成的中间件在分布式软件体系结构中实现连接器

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

Eric M. Dashofy, N. Medvidović, R. Taylor

{"title":"Using off-the-shelf middleware to implement connectors in distributed software architectures","authors":"Eric M. Dashofy, N. Medvidović, R. Taylor","doi":"10.1145/302405.302407","DOIUrl":"https://doi.org/10.1145/302405.302407","url":null,"abstract":"Software architectures promote development focused on modular building blocks and their interconnections. Since architecture-level components often contain complex functionality, it is reasonable to expect that their interactions will also be complex. Modeling and implementing software connectors thus becomes a key aspect of architecture-based development. Software interconnection and middleware technologies such as RMI, CORBA, ILU, and ActiveX provide a valuable service in building applications from components. The relation of such services to software connectors in the context of software architectures, however, is not well understood. To understand the tradeoffs among these technologies with respect to architectures, we have evaluated several off-the-shelf middleware technologies and identified key techniques for utilizing them in implementing software connectors. Our platform for investigation was C2, a component- and message-based architectural style. By encapsulating middleware functionality within software connectors, we have coupled C2's existing benefits such as component interchangeability, substrate independence and structural guidance with new capabilities of multi-lingual, multi-process and distributed application development in a manner that is transparent to architects.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"16 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":"126600400","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}

引用次数: 90

Residual test coverage monitoring 剩余测试覆盖率监控

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

C. Pavlopoulou, M. Young

引用次数: 154

Automatic verification of real-time designs 实时设计自动验证

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

V. Braberman

引用次数: 3

Assessing software libraries by browsing similar classes, functions and relationships 通过浏览相似的类、函数和关系来评估软件库

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

Amir Michail, D. Notkin

{"title":"Assessing software libraries by browsing similar classes, functions and relationships","authors":"Amir Michail, D. Notkin","doi":"10.1145/302405.302678","DOIUrl":"https://doi.org/10.1145/302405.302678","url":null,"abstract":"Comparing and contrasting a set of software libraries is useful for reuse related activities such as selecting a library from among several candidates or porting an application from one library to another. The current state of the art in assessing libraries relies on qualitative methods. To reduce costs and/or assess a large collection of libraries, automation is necessary. Although there are tools that help a developer examine an individual library in terms of architecture, style, etc., we know of no tools that help the developer directly compare several libraries. With existing tools, the user must manually integrate the knowledge learned about each library. Automation to help developers directly compare and contrast libraries requires matching of similar components (such as classes and functions) across libraries. This is different than the traditional component retrieval problem in which components are returned that best match a user's query. Rather, we need to find those components that are similar across the libraries under consideration. In this paper, we show how this kind of matching can be done.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"48 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":"114611203","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}

引用次数: 64

Risk management in software development: a technology overview and the riskit method 软件开发中的风险管理:技术概述和风险工具包方法

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

J. Kontio

引用次数: 23

A cooperative approach to support software deployment using the Software Dock 一种使用软件码头支持软件部署的协作方法

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

R. Hall, D. Heimbigner, A. Wolf

{"title":"A cooperative approach to support software deployment using the Software Dock","authors":"R. Hall, D. Heimbigner, A. Wolf","doi":"10.1145/302405.302463","DOIUrl":"https://doi.org/10.1145/302405.302463","url":null,"abstract":"Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connectivity of large networks, such as the Internet, is affecting how software deployment is performed. It is necessary to introduce new software deployment technologies that leverage this connectivity. The Software Dock framework creates a distributed, agent based deployment framework to support the ongoing cooperation and negotiation among software producers themselves and among software producers and software consumers. This deployment framework is enabled by the use of a standardized deployment schema for describing software systems, called the Deployable Software Description (DSD) format. The Software Dock also employs agents to traverse between software producers and consumers in order to perform software deployment activities by interpreting the descriptions of software systems. The Software Dock infrastructure allows software producers to offer their customers high level deployment services that were previously not possible.","PeriodicalId":359367,"journal":{"name":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)","volume":"14 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":"128267661","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}

引用次数: 189