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

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

引用次数: 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

引用次数: 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

引用次数: 4

Using software component generators to construct a meta-weaver framework 使用软件组件生成器构建元编织框架

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919179

J. Gray

引用次数: 9

An efficient set of software degree programs for one domain 一套有效的软件学位课程为一个领域

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919136

T. Shepard

{"title":"An efficient set of software degree programs for one domain","authors":"T. Shepard","doi":"10.1109/ICSE.2001.919136","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919136","url":null,"abstract":"There is increasing urgency to put software engineering (SE) programs in place at universities in North America. For years, the computer science and professional engineering communities neglected the area, but both are now paying serious attention. There is creative tension as efforts accelerate to define the field faster than is possible. This paper discusses a set of four software degree programs that have evolved over 14 years at a small university with close ties to one software community. The context is computer engineering in a department of electrical and computer engineering, so the natural domain is software that is close to the hardware. This means an emphasis on real-time, embedded, and, to a lesser extent, safety critical issues. The newest of the four programs is a Ph.D. program. It demonstrates that Ph.D. programs can be created with limited resources, given the right circumstances. If similar circumstances exist in other small universities, the rate of Ph.D. production in software engineering may be able to be increased, while maintaining quality. This paper describes the four degree programs, how they are related to each other, and how the programs have evolved. It makes limited comparisons to programs at other universities.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"46 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":"132184756","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

Incorporating varying test costs and fault severities into test case prioritization 将不同的测试成本和故障严重程度合并到测试用例优先级中

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919106

Sebastian G. Elbaum, Alexey G. Malishevsky, G. Rothermel

引用次数: 398

Analysis and testing of Web applications Web应用程序的分析和测试

Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Pub Date : 2001-07-01 DOI: 10.1109/ICSE.2001.919078

F. Ricca, P. Tonella

{"title":"Analysis and testing of Web applications","authors":"F. Ricca, P. Tonella","doi":"10.1109/ICSE.2001.919078","DOIUrl":"https://doi.org/10.1109/ICSE.2001.919078","url":null,"abstract":"The economic relevance of Web applications increases the importance of controlling and improving their quality. Moreover, the newly available technologies for their development allow the insertion of sophisticated functions, but often leave the developers responsible for their organization and evolution. As a consequence, a high demand is emerging for methodologies and tools for the quality assurance of Web-based systems. In this paper, a UML model of Web applications is proposed for their high-level representation. Such a model is the starting point for several analyses, which can help in the assessment of the static site structure. Moreover, it drives Web application testing, in that it can be exploited to define white-box testing criteria and to semi-automatically generate the associated test cases. The proposed techniques were applied to several real-world Web applications. The results suggest that automatic support for verification and validation activities can be extremely beneficial. In fact, it guarantees that all paths in the site which satisfy a selected criterion are properly exercised before delivery. The high level of automation that is achieved in test case generation and execution increases the number of tests that are conducted and simplifies the regression checks.","PeriodicalId":374824,"journal":{"name":"Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001","volume":"64 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":"132796080","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}

引用次数: 551

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

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

引用次数: 27