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

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001最新文献

筛选
英文 中文
Visualization and interpretation of analysis results within the context of formalized UML diagrams 在形式化UML图的上下文中可视化和解释分析结果
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919177
L. A. Campbell
{"title":"Visualization and interpretation of analysis results within the context of formalized UML diagrams","authors":"L. A. Campbell","doi":"10.1109/ICSE.2001.919177","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919177","url":null,"abstract":"This project complements and extends previous work that has focused on attaching formal semantics to informal graphical object-oriented modeling notations in order to automatically generate formal specifications for a number of target languages (Bourdeau and Cheng, 1995; Wang et al., 1997). My research (Campbell and Cheng, 2000; Campbell et al., 2000; Cheng et al., 2000) builds upon the informal and formal integration work by investigating how commonly used automated analysis techniques, such as simulators, model checkers, rewriting systems, and theorem provers can be combined and used in tandem. The main artifacts that are being analyzed are the formal specifications generated from the informal diagrams. The automated analysis enables a developer to check the system design for various properties, such as freedom from deadlock or constraint satisfaction (i.e, specific conditions are satisfied). The formal semantics for the diagrams also makes it possible to execute the graphical models, via the formal specifications, in order to validate the behavior of the system design.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122875247","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
Corrective maintenance maturity model (CM/sup 3/): maintainer's education and training 纠正性维护成熟度模型(CM/sup 3/):维护人员的教育和培训
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919135
M. Kajko-Mattsson, Stefan Forssander, U. Olsson
{"title":"Corrective maintenance maturity model (CM/sup 3/): maintainer's education and training","authors":"M. Kajko-Mattsson, Stefan Forssander, U. Olsson","doi":"10.1109/ICSE.2001.919135","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919135","url":null,"abstract":"What is the point of improving maintenance processes if the most important asset, people, is not properly utilised? Knowledge of the product(s) maintained, maintenance processes and communications skills is very important for achieving quality software and for improving maintenance and development processes. We present CM/sup 3/: Maintainer's Education and Training-a maturity model for educating and training maintenance engineers. This model is the result of a comparative study of two industrial processes utilised at ABB, and of process models such as IEEE 1219, ISO/IEC 12207, CMM, People CMM, and TickIT.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126568524","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}
引用次数: 52
A scenario-driven approach to traceability 一个场景驱动的可追溯性方法
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919087
Alexander Egyed
{"title":"A scenario-driven approach to traceability","authors":"Alexander Egyed","doi":"10.1109/ICSE.2001.919087","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919087","url":null,"abstract":"Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of legacy systems and COTS (commercial-off-the-shelf) components mixed with the growing use of elaborate \"upstream\" software modeling techniques such as the Unified Modeling Language (UML). The more intensive emphasis on upstream (non-programming) software development issues has, however, widened the gap between software components (e.g., subsystems, modules) and software models (e.g., class diagrams, data flow diagrams), creating the need for a better understanding of the intricacies and interrelationships between the two. This paper demonstrates how observable run-time information of software systems can be used to detect traceability information between software systems and their models. We do this by employing a technique that evaluates the \"footprints\" that usage scenarios (e.g., test cases) make during the execution of software systems. Those footprints can be compared, resulting in additional traceability information among modeling elements associated with those scenarios. Our approach is tool supported.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133919071","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}
引用次数: 124
Designing components versus objects: a transformational approach 设计组件与对象:一种转换方法
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919099
D. Lorenz, J. Vlissides
{"title":"Designing components versus objects: a transformational approach","authors":"D. Lorenz, J. Vlissides","doi":"10.1109/ICSE.2001.919099","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919099","url":null,"abstract":"A good object oriented design does not necessarily make a good component based design, and vice versa. What design principles do components introduce? The paper examines component based programming and how it expands the design space in the context of an event based component architecture. We present a conceptual model for addressing new design issues these components afford, and we identify fundamental design decisions in this model that are not a concern in conventional object oriented design. We use JavaBeans based examples to illustrate concretely how expertise in component based design, as embodied in a component taxonomy and implementation space, impacts both design and the process of design. The results are not exclusive to JavaBeans; they can apply to any comparable component architecture.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134433778","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}
引用次数: 24
The specification and testing of quantified progress properties in distributed systems 分布式系统中量化进度特性的规范和测试
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919094
P. Krishnamurthy, P. Sivilotti
{"title":"The specification and testing of quantified progress properties in distributed systems","authors":"P. Krishnamurthy, P. Sivilotti","doi":"10.1109/ICSE.2001.919094","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919094","url":null,"abstract":"There are two basic parts to the behavioral specification of distributed systems: safety and progress. In earlier work, we developed a tool to monitor progress properties of CORBA components specified using the temporal operator transient. In this paper, we address the specification and testing of transient properties that are quantified (over both bounded and unbounded domains). We categorize typical quantifications that arise in practical systems and discuss possible implementation strategies. We define functional transients, a subclass of quantified transient properties that can be monitored in constant space and time. We outline the design and implementation of a tool for testing these properties in CORBA components.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131936325","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
Conceptual modeling through linguistic analysis using LIDA 利用LIDA进行语言分析的概念建模
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919113
S. Overmyer, B. Lavoie, Owen Rambow
{"title":"Conceptual modeling through linguistic analysis using LIDA","authors":"S. Overmyer, B. Lavoie, Owen Rambow","doi":"10.1109/ICSE.2001.919113","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919113","url":null,"abstract":"Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, their attributes, and methods remain: it is a largely manual process driven by heuristics that analysts acquire through experience. While a number of methods exist for requirements development and specification, very few tools exist to assist analysts in making the transition from textual descriptions to other notations for object-oriented analysis and other conceptual models. We describe a methodology and a prototype tool. Linguistic Assistant for Domain Analysis (LIDA), which provide linguistic assistance in the model development process. We first present our methodology to conceptual modeling through linguistic analysis. We give an overview of LIDA's functionality and present its technical design and the functionality of its components. We also provide a comparison of LIDA's functionality with that of other research prototypes. Finally, we present an example of how LIDA is used in a conceptual modeling task.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"27 13","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133076134","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}
引用次数: 201
Supporting the deployment of object-oriented frameworks 支持面向对象框架的部署
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919180
Daqing Hou, H. Hoover, Eleni Stroulia
{"title":"Supporting the deployment of object-oriented frameworks","authors":"Daqing Hou, H. Hoover, Eleni Stroulia","doi":"10.1109/ICSE.2001.919180","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919180","url":null,"abstract":"Frameworks are usually large and complex, and typically reusers need to understand them well enough to effectively use them. This research concentrates on verifying applications built on top of OO frameworks. The idea is to get framework builders to specify a set of constraints for the correct usage of the framework and check them using static analysis techniques.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123313451","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}
引用次数: 2
Theory of software reliability based on components 基于组件的软件可靠性理论
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919109
R. Hamlet, David V. Mason, Denise M. Woit
{"title":"Theory of software reliability based on components","authors":"R. Hamlet, David V. Mason, Denise M. Woit","doi":"10.1109/ICSE.2001.919109","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919109","url":null,"abstract":"We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce measurements that are later used by system designers to calculate composite system reliability, without implementation and test of the system being designed. The theory describes how to make component measurements that are independent of operational profiles, and how to incorporate the overall system-level operational profile into the system reliability calculations. In principle, the theory resolves the central problem of assessing a component, which is: a component developer cannot know how the component will be used and so cannot certify it for an arbitrary use; but if the component buyer must certify each component before using it, component based development loses much of its appeal. This dilemma is resolved if the component developer does the certification and provides the results in such a way that the component buyer can factor in the usage information later without repeating the certification. Our theory addresses the basic technical problems inherent in certifying components to be released for later use in an arbitrary system. Most component research has been directed at functional specification of software components; our theory addresses the other equally important side of the coin: component quality.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124466656","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}
引用次数: 166
Workshop to consider global aspects of software engineering professionalism 研讨会，考虑软件工程专业的全局方面
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919169
J. B. Thompson, H. Edwards
{"title":"Workshop to consider global aspects of software engineering professionalism","authors":"J. B. Thompson, H. Edwards","doi":"10.1109/ICSE.2001.919169","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919169","url":null,"abstract":"The aim of the workshop is to gather information and opinions that will feed into discussion group meetings that are to be held during The International Federation of Information Processing (IFIP) 7th World Conference on Computers in Education [1]. The workshop also complements a panel discussion which was held at IEEECS 24th Computer Software & Applications Conference in October 2000 [2] and a workshop held at the IEEE-CS 14th Conference on Software Engineering Education & Training held in February 2001 [3].","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117206874","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
Evaluating the reverse engineering capabilities of Web tools for understanding site content and structure: a case study 评估Web工具的反向工程能力以理解站点内容和结构:一个案例研究
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919126
S. Tilley, Shihong Huang
{"title":"Evaluating the reverse engineering capabilities of Web tools for understanding site content and structure: a case study","authors":"S. Tilley, Shihong Huang","doi":"10.1109/ICSE.2001.919126","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919126","url":null,"abstract":"This paper describes an evaluation of the reverse engineering capabilities of three Web tools for understanding site content and structure. The evaluation is based on partitioning Web sites into three classes (static, interactive, and dynamic), and is structured using an existing reverse engineering environment framework (REEF). This case study also represents an initial evaluation of the applicability of the REEF in the related but qualitatively different domain of Web sites. The case study highlights several shortcomings of current Web tools in the context of aiding understanding to support evolution. For example, most Web tools are geared towards new page design and development, not to understanding detailed page content or overall site structure. The evaluation also identified some aspects of the REEF that might benefit from refinement to better reflect Web tool capabilities that support common evolution tasks. For example, Web server log file analysis as a specialized form of data gathering and subsequence information presentation.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130459060","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
首页 上一页 下一页 尾页
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学术官方微信