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

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

筛选
英文 中文
A framework for multi-valued reasoning over inconsistent viewpoints 不一致视点上的多值推理框架
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919114
S. Easterbrook, M. Chechik
{"title":"A framework for multi-valued reasoning over inconsistent viewpoints","authors":"S. Easterbrook, M. Chechik","doi":"10.1109/ICSE.2001.919114","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919114","url":null,"abstract":"In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Consensus may not be needed for every detail, but it can be hard to determine whether a particular disagreement affects the critical properties of the system. We describe the Xbel framework for merging and reasoning about multiple, inconsistent state machine models. Xbel permits the analyst to choose how to combine information from the multiple viewpoints, where each viewpoint is described using an underlying multi-valued logic. The different values of our logics typically represent different levels of agreement. Our multi-valued model checker, Xchek, allows us to check the merged model against properties expressed in a temporal logic. The resulting framework can be used as an exploration tool to support requirements negotiation, by determining what properties are preserved for various combinations of inconsistent viewpoints.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"16 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":"125261737","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}
引用次数: 180
Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering 科学严谨，一个实用问题的答案:软件工程的语言框架
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919119
A. Haeberer, T. Maibaum
{"title":"Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering","authors":"A. Haeberer, T. Maibaum","doi":"10.1109/ICSE.2001.919119","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919119","url":null,"abstract":"Discussions of the role of mathematics in software engineering are common and have probably not changed much over the last few decades. There is now much discussion about the \"intuitive\" nature of software construction and analogies are drawn (falsely) with graphic design, (conventional) architecture, etc. The conclusion is that mathematics is an unnecessary luxury and that, like these other disciplines, it is not needed in everyday practice. We attempt to refute these arguments by recourse to ideas from the philosophy of science developed over the past century. We demonstrate why these ideas are applicable, why they establish a framework (in the sense of Carnap) in which many central ideas in software engineering can be formalised and organised, why they refute the simplistic recourse to \"intuition\", and why they provide a scientific/engineering framework in which contributions to the theory and practice of software engineering can be judged.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"65 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":"122404279","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}
引用次数: 21
A general framework for formalizing UML with formal languages 用形式化语言形式化UML的通用框架
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919116
William E. McUmber, B. Cheng
{"title":"A general framework for formalizing UML with formal languages","authors":"William E. McUmber, B. Cheng","doi":"10.1109/ICSE.2001.919116","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919116","url":null,"abstract":"Informal and graphical modeling techniques enable developers to construct abstract representations of systems. Object-oriented modeling techniques further facilitate the development process. The Unified Modeling Language (UML), an object-oriented modeling approach, could be broad enough in scope to represent a variety of domains and gain widespread use. Currently, UML comprises several different notations with no formal semantics attached to the individual diagrams. Therefore, it is not possible to apply rigorous automated analysis or to execute a UML model in order to test its behavior: short of writing code and performing exhaustive testing. We introduce a general framework for formalizing a subset of UML diagrams in terms of different formal languages based on a homomorphic mapping between meta models describing UML and the formal language. This framework enables the construction of a consistent set of rules for transforming UML models into specifications in the formal language. The resulting specifications derived from UML diagrams enable either execution through simulation or analysis through model checking, using existing tools. This paper describes the use of this framework for formalisms UML to model and analyze embedded systems. A prototype system for generating the formal specifications and results from an industrial case study are also described.","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":"131540151","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}
引用次数: 212
Model checking distributed objects design 模型检查分布式对象设计
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919181
N. Kaveh
{"title":"Model checking distributed objects design","authors":"N. Kaveh","doi":"10.1109/ICSE.2001.919181","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919181","url":null,"abstract":"Potential advantages brought about by distributed system architectures has given rise to the number of applications being based around it. Advantages include an increase in fault tolerance due to replicated components and achieving cost effective scalability by distributing the execution of a task over several relatively cheap hosts rather than a central mainframe. The construction of distributed applications via the direct use of network operating system primitives is no longer feasible and middleware technologies are fast becoming the alternative approach. We note that amongst the different form of middleware, distributed object middleware offers the richest support to application designers and incorporates primitives for distributed transaction management and asynchronous message passing. From the set of distributed object middleware approaches, we concentrate on CORBA because it offers the richest set of synchronization and threading primitives.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"26 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":"134162414","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}
引用次数: 4
The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification 正确的算法在正确的时间:比较有限状态验证的数据流分析算法
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919079
J. M. Cobleigh, L. Clarke, L. Osterweil
{"title":"The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification","authors":"J. M. Cobleigh, L. Clarke, L. Osterweil","doi":"10.1109/ICSE.2001.919079","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919079","url":null,"abstract":"Finite-state verification is emerging as an important technology for proving properties about software. In our experience, we have found that analysts have different expectations at different times. When an analyst is in an exploratory mode, initially formulating and verifying properties, analyses usually find inconsistencies because of flaws in the properties or in the software artifacts being analyzed. Once an inconsistency is found, the analyst begins to operate in a fault-finding mode, during which meaningful counter-example traces are needed to help determine the cause of the inconsistency. Eventually, systems become relatively stable, but still require re-verification as evolution occurs. During such periods, the analyst is operating in a maintenance mode and would expect re-verification to usually report consistent results. Although it could be that one algorithm suits all three of these modes of use, the hypothesis explored in this paper is that each would be best served by an algorithm optimized for the expectations of the analyst.","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":"114274735","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
A Web-oriented architectural aspect for the emerging computational tapestry 新兴计算挂毯的面向web的体系结构方面
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919121
Kevin Sullivan, A. Saxena
{"title":"A Web-oriented architectural aspect for the emerging computational tapestry","authors":"Kevin Sullivan, A. Saxena","doi":"10.1109/ICSE.2001.919121","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919121","url":null,"abstract":"An emerging tapestry of computations will soon integrate systems around the globe. It will evolve without central control. Its complexity will be vast. We need new ideas, tools and methods to help map, understand and manage this tapestry. We contribute a light-weight architectural aspect that designers can use without compromising their own architectural preferences. Widespread use could help. The idea is for objects to provide Web-based interfaces to object-specific meta-data, state, and monitoring and control services. We discuss applications, implementation, scalability, performance, tradeoffs, and related work.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"1 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":"126302519","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
Specification and modeling: an industrial perspective 规范和建模:工业视角
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919153
B. Selić
{"title":"Specification and modeling: an industrial perspective","authors":"B. Selić","doi":"10.1109/ICSE.2001.919153","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919153","url":null,"abstract":"Modeling is an approach that is as old as engineering. The central idea is to produce a scaled-down version of the desired system to determine and evaluate its salient properties. This is typically done for one of the following reasons: • It is usually vastly less expensive and faster to construct a model than it is to construct the final product; this makes it possible to experiment with multiple design alternatives at much reduced cost.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"98 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":"126340639","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}
引用次数: 3
A formal approach to component-based software engineering: education and evaluation 基于组件的软件工程的正式方法:教育和评估
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919134
M. Sitaraman, T. Long, B. Weide, E. Harner, Liqing Wang
{"title":"A formal approach to component-based software engineering: education and evaluation","authors":"M. Sitaraman, T. Long, B. Weide, E. Harner, Liqing Wang","doi":"10.1109/ICSE.2001.919134","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919134","url":null,"abstract":"Summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate computer science curriculum, and an evaluation of the impact of the approach at two institutions. Principles taught include a modular style of software development, an emphasis on human understanding of component behavior even while using formal specifications, and the importance of maintainability, as well as classical issues such as efficiency analysis and reasoning. Qualitative and quantitative evaluations of student outcomes and end-to-end changes in student attitudes show mostly positive results that are statistically significant, confirming that: (1) it is possible to teach CBSE principles without displacing \"classical\" principles usually taught in introductory courses, (2) students can understand and reuse formally specified components without knowing their implementations, and (3) student attitudes towards software engineering can be altered in directions heretofore often assumed to be difficult to achieve.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"38 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":"128229692","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}
引用次数: 27
David L. Parnas symposium David L. Parnas研讨会
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919187
Daniel Hoffman, David M. Weiss
{"title":"David L. Parnas symposium","authors":"Daniel Hoffman, David M. Weiss","doi":"10.1109/ICSE.2001.919187","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919187","url":null,"abstract":"David L. Parnas is one of the grandmasters of software engineering. His academic research and industrial collaborations have exerted far-reaching influence on software design and development. His groundbreaking writings capture the essence of the innovations, controversies, challenges, and solutions of the software industry. Together, they constitute the foundation for modern software theory and practice. This symposium is being held in recognition of Parnas's work and in honour of his 60th birthday. It is an opportunity for everyone in the software engineering community to celebrate his contributions, and to think hard about where we are today and where we are going.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"36 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":"124981823","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
XAS: a system for accessing componentized, virtual XML documents XAS:用于访问组件化的虚拟XML文档的系统
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919122
Ming-Ling Lo, Shyh-Kwei Chen, S. Padmanabhan, Jen-Yao Chung
{"title":"XAS: a system for accessing componentized, virtual XML documents","authors":"Ming-Ling Lo, Shyh-Kwei Chen, S. Padmanabhan, Jen-Yao Chung","doi":"10.1109/ICSE.2001.919122","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919122","url":null,"abstract":"XML is emerging as an important format for describing the schema of documents and data to facilitate integration of applications in a variety of industry domains. An important issue that naturally arises is the requirement to generate, store and access XML documents. It is important to reuse existing data management systems and repositories for this purpose. We describe the XML Access Server (XAS), a general purpose XML based storage and retrieval system which provides the appearance of a large set of XML documents while retaining the data in underlying federated data sources that could be relational, object-oriented, or semi-structured. XAS automatically maps the underlying data into virtual XML components when mappings between DTDs and underlying schemas are established. The components can be presented as XML documents or assembled into larger components. XAS manages the relationship between XML components and the mapping in the form of document composition logic. The versatility in its ways to generate XML documents enables XAS to serve a large number of XML components and documents efficiently and expediently.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"54 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":"116423646","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}
引用次数: 7
首页 上一页 下一页 尾页
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学术官方微信