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

ESEC '97/FSE-5最新文献

筛选
英文 中文
The use of program profiling for software maintenance with applications to the year 2000 problem 使用程序概要分析进行软件维护与应用程序到2000年的问题
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267925
T. Reps, T. Ball, Manuvir Das, J. Larus
{"title":"The use of program profiling for software maintenance with applications to the year 2000 problem","authors":"T. Reps, T. Ball, Manuvir Das, J. Larus","doi":"10.1145/267895.267925","DOIUrl":"https://doi.org/10.1145/267895.267925","url":null,"abstract":"This paper describes new techniques to help with testing and debugging, using information obtained from path profiling. A path profiler instruments a program so that the number of times each different loop-free path executes is accumulated during an execution run. With such an instrumented program, each run of the program generates a path spectrum for the execution—a distribution of the paths that were executed during that run. A path spectrum is a finite, easily obtainable characterization of a program's execution on a dataset, and provides a behavior signature for a run of the program.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115633320","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}
引用次数: 302
Formalizing software architectures: an industrial experience 形式化软件架构:一种工业经验
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267933
P. Dini, A. Belkhelladi, W. Melo
{"title":"Formalizing software architectures: an industrial experience","authors":"P. Dini, A. Belkhelladi, W. Melo","doi":"10.1145/267895.267933","DOIUrl":"https://doi.org/10.1145/267895.267933","url":null,"abstract":"A sofware architecture identifies collections of functional modules shared by a family of products, but does not analyze the specific algorithms used into such modules. The main purpose is to define a precise documentation, identify commonalities between similar products, and combine these commonalities to build a generic architecture. By doing so, we intend to enhance the reuse at the earlier phases of the software development lifecycle.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117344793","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 contextual approach for process-integrated tools 过程集成工具的上下文方法
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267910
K. Pohl, K. Weidenhaupt
{"title":"A contextual approach for process-integrated tools","authors":"K. Pohl, K. Weidenhaupt","doi":"10.1145/267895.267910","DOIUrl":"https://doi.org/10.1145/267895.267910","url":null,"abstract":"Research in process-centered environments (PCEs) has focused on project management support and has been dominated by the search for suitable process modelling languages and enactment mechanisms. The consequences of the process orientation on the tools used during process performance, and for offering fine-grained, method-based support to the engineers performing the process have been studied much less.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117012812","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}
引用次数: 20
Applying static analysis to software architectures 将静态分析应用于软件架构
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267904
G. Naumovich, G. Avrunin, L. Clarke, L. Osterweil
{"title":"Applying static analysis to software architectures","authors":"G. Naumovich, G. Avrunin, L. Clarke, L. Osterweil","doi":"10.1145/267895.267904","DOIUrl":"https://doi.org/10.1145/267895.267904","url":null,"abstract":"In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically, we use two concurrency analysis tools, INCA, a flow equation based tool, and FLAVERS, a data flow analysis based tool, to detect errors or prove properties of a WRIGHT architecture description of the gas station problem. Although both these tools are research prototypes, they illustrate the potential of static analysis for verifying that architecture descriptions adhere to important properties, for detecting problems early in the lifecycle, and for helping developers understand the changes that need to be made to satisfy the properties being analyzed.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128485174","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}
引用次数: 88
Model checking graphical user interfaces using abstractions 使用抽象对图形用户界面进行模型检查
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267914
Matthew B. Dwyer, Vicki Carr, Laura Hines
{"title":"Model checking graphical user interfaces using abstractions","authors":"Matthew B. Dwyer, Vicki Carr, Laura Hines","doi":"10.1145/267895.267914","DOIUrl":"https://doi.org/10.1145/267895.267914","url":null,"abstract":"Symbolic model checking techniques have been widely and successfully applied to statically analyze dynamic properties of hardware systems. Efforts to apply this same technology to the analysis of software systems has met with a number of obstacles, such as the existence of non-finite state-spaces. This paper investigates abstractions that make it possible to cost-effectively model check specifications of software for graphical user interface (GUI) systems. We identify useful abstractions for this domain and demonstrate that they can be incorporated into the analysis of a variety of systems with similar structural characteristics. The resulting domain-specific model checking yields fast verification of naturally occur ring specifications of intended GUI behavior.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117299003","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
Verification of liveness properties using compositional reachability analysis 使用成分可达性分析验证活性属性
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267913
S. Cheung, D. Giannakopoulou, J. Kramer
{"title":"Verification of liveness properties using compositional reachability analysis","authors":"S. Cheung, D. Giannakopoulou, J. Kramer","doi":"10.1145/267895.267913","DOIUrl":"https://doi.org/10.1145/267895.267913","url":null,"abstract":"The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional reachability analysis (CRA) is a promising state reduction technique which can be automated and used to derive in stages the overall behaviour of a distributed program based on its architecture. Conventional CRA however has a limitation. The properties available for analysis after composition and reduction are constrained by the set of actions that remain globally observable. The liveness properties which involve internal actions of subsystems may therefore not be analysed. In this paper, we extend compositional reachability analysis to check liveness properties which may involve actions that are not globally observable. In particular, our approach permits the hiding of actions independently of the liveness properties that are to be verified in the final graph. In addition, it supports the simultaneous checking of multiple properties (both liveness and safety), and identifies those properties that are violated. The effectiveness of the extended technique is illustrated using a case study of a Reliable Multicast Transport Protocol (RMTP) with over 96,000 states and 660,000 transitions.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123292379","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}
引用次数: 54
Reduction and slicing of hierarchical state machines 分层状态机的约简和切片
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267926
M. Heimdahl, M. Whalen
{"title":"Reduction and slicing of hierarchical state machines","authors":"M. Heimdahl, M. Whalen","doi":"10.1145/267895.267926","DOIUrl":"https://doi.org/10.1145/267895.267926","url":null,"abstract":"Formal specification languages are often criticized for being difficult to understand, difficult to use, and unacceptable by software practitioners. Notations based on state machines, such as, Statecharts, Requirements State Machine Language (RSML), and SCR, are suitable for modeling of embedded systems and eliminate many of the main drawbacks of formal specification languages. Although a specification language can help eliminate accidental complexity, the inherent complexity of many of today's systems inevitably leads to large and complex specifications. Thus, there is a need for mechanisms to simplify a formal specification and present information to analysts and reviewers in digestible chunks.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123626889","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
A view-oriented approach to system modelling based on graph transformation 基于图变换的面向视图的系统建模方法
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267919
G. Engels, R. Heckel, G. Taentzer, H. Ehrig
{"title":"A view-oriented approach to system modelling based on graph transformation","authors":"G. Engels, R. Heckel, G. Taentzer, H. Ehrig","doi":"10.1145/267895.267919","DOIUrl":"https://doi.org/10.1145/267895.267919","url":null,"abstract":"The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specification technique based on graph transformations which supports such a development approach. The use of graphs and graph transformations supports an intuitive understanding and an integration of static and dynamic aspects on a well-defined semantical base. On this background, formal notions of view and view relation are developed and the behaviour of views is described by a loose semantics. We define a construction for automatic view integration which assumes that the dependencies between different views are described by a reference model. The views and the reference model are kept consistent manually, which is the task of a model manager. All concepts and results are illustrated at the well-known example of a banking system.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124255219","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}
引用次数: 30
What we teach software engineers in the university: do we take engineering seriously? 我们在大学里教软件工程师的是:我们认真对待工程吗?
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267900
T. Maibaum
{"title":"What we teach software engineers in the university: do we take engineering seriously?","authors":"T. Maibaum","doi":"10.1145/267895.267900","DOIUrl":"https://doi.org/10.1145/267895.267900","url":null,"abstract":"Weighted bars may be pivotally connected at one end outward of the pedals on a stationary bicycle exerciser and provided with hand grips at the opposite end to permit the exercise of the upper body as well as exercise of the lower body on the bicycle.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122357751","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}
引用次数: 8
A design framework for Internet-scale event observation and notification internet级事件观测与通知的设计框架
ESEC '97/FSE-5 Pub Date : 1997-11-01 DOI: 10.1145/267895.267920
David S. Rosenblum, A. Wolf
{"title":"A design framework for Internet-scale event observation and notification","authors":"David S. Rosenblum, A. Wolf","doi":"10.1145/267895.267920","DOIUrl":"https://doi.org/10.1145/267895.267920","url":null,"abstract":"There is increasing interest in having software systems execute and interoperate over the Internet. Execution and interoperation at this scale imply a degree of loose coupling and heterogeneity among the components from which such systems will be built. One common architectural style for distributed, loosely-coupled, heterogeneous software systems is a structure based on event generation, observation and notification. The technology to support this approach is well-developed for local area networks, but it is ill-suited to networks on the scale of the Internet. Hence, new technologies are needed to support the construction of large-scale, event-based software systems for the Internet. We have begun to design a new facility for event observation and notification that better serves the needs of Internet-scale applications. In this paper we present results from our first step in this design process, in which we defined a framework that captures many of the relevant design dimensions. Our framework comprises seven models-an object model, an event model, a naming model, an observation model, a time model, a notification model, and a resource model. The paper discusses each of these models in detail and illustrates them using an example involving an update to a Web page. The paper also evaluates three existing technologies with respect to the seven models.","PeriodicalId":297962,"journal":{"name":"ESEC '97/FSE-5","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116653163","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}
引用次数: 223
下一页 尾页
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学术官方微信