Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)最新文献_第2页

Applied software engineering principles for UML UML的应用软件工程原则

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779099

Bernhard Rumpe, R. Breu, Ingolf Krüger

引用次数: 1

Robust dynamic exchange of implementation aspects 实现方面的健壮动态交换

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779066

Welf Löwe, R. Neumann, M. Trapp, W. Zimmermann

引用次数: 16

Visual programming: Tips and techniques - Using VisuAlage for Java Visual programming: Tips and techniques - Using VisuAlage for Java

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779102

Steve Edwards

引用次数: 0

Dynamic reuse of services in distributed systems 分布式系统中服务的动态重用

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779061

Gautier Koscielny, Salah Sadou

引用次数: 0

Lessons learned introducing an object-oriented database in the telecom industry 在电信行业中引入面向对象数据库的经验教训

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779014

A. Ishaq

引用次数: 2

Trusted components - 2nd Workshop on Trusted Components 可信组件-第二次可信组件研讨会

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779108

J. Jézéquel

{"title":"Trusted components - 2nd Workshop on Trusted Components","authors":"J. Jézéquel","doi":"10.1109/TOOLS.1999.779108","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779108","url":null,"abstract":"Summary form only given, as follows. Using ¿off-the-shelf¿ software components in mission-critical applications is not yet as commonplace as in desktop applications. Opposite to electronic components, there is a lack of methods and quality estimates in the software domain which makes it difficult to build trust into software components. While electronic devices have sets of measures characterizing their quality (reliability, performances, use-domain, speed scale), no real consensus exists to measure such quality characteristics for software components. A second problem is the software component expected capability to evolve (addition of new functionality, implementation change) and to be adapted to various environments. Trusted components are reusable software elements equipped with a strong presumption of high quality, based on a combination of convincing arguments of various kinds: technical (e.g. Design by Contract, thorough and meaningful testing, appropriate programming language, formal proofs), managerial (e.g. systematic process based on CMM or similar), social (e.g. reputation of the components¿ authors). The idea of trusted components was introduced in an IEEE Computer article of May 1998 and earlier presentations in the same journal (Object Technology column). A first Trusted Components workshop was held at Monash University (Melbourne, Australia) at the end of TOOLS PACIFIC 1998 on November 28, 1998. The purpose of this workshop is to set up a forum where interested people can share their point of view on the idea of trusted components and identify research directions to help the industry move towards this goal.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131888227","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

Self-testable components: from pragmatic tests to design-for-testability methodology 自测试组件:从实用测试到为可测试性而设计的方法

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779003

Yves Le Traon, D. Deveaux, J. Jézéquel

{"title":"Self-testable components: from pragmatic tests to design-for-testability methodology","authors":"Yves Le Traon, D. Deveaux, J. Jézéquel","doi":"10.1109/TOOLS.1999.779003","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779003","url":null,"abstract":"Testing is a key aspect of software development, because of its cost and impact on final product reliability. Classical views on testing and their associated testing models, based on the waterfall model, are not well-suited to an OO development process. The standardization of semi-formal modeling methods, such as UML, reveals this trend: testing can no longer be separated from specification/design/code stages. A test approach integrated with the OO process must be defined with an associated testing philosophy. The approach presented in the paper aims at providing a consistent framework for building trust into components. By measuring the quality of test cases, we seek to build trust in a component passing those test cases. We present a pragmatic approach for linking design and test of classes, seen as basic unit test components. Components are self-testable by enhancing them with embedded test sequences and test oracles. Self-testable components serve as building blocks for performing systematic integration and non-regression testing. The main contribution presented in the paper consists of using component self-tests to systematically exercise main system structural dependencies. This approach has been implemented in the Eiffel, Java, Perl and C++ languages. Since it is simpler, due to the direct support for Design-by-Contract(TM) in the language, the Eiffel implementation is detailed.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125761453","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}

引用次数: 45

Understanding software component technologies: JavaBeans and ActiveX 了解软件组件技术:JavaBeans和ActiveX

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.10018

G. Pour

引用次数: 6

Analysis by contract: UML with attitude! 契约分析:带态度的UML !

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.10015

R. Mitchell

{"title":"Analysis by contract: UML with attitude!","authors":"R. Mitchell","doi":"10.1109/TOOLS.1999.10015","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.10015","url":null,"abstract":"Summary form only given, as follows. At the heart of the Unified Modeling Language (UML) are a number of visual modeling notations for describing classes, states, and so on. The UML also contains an Object Constraint Language, OCL, for adding precision to models. OCL can be used to add preconditions, postconditions and invariants to classes or types, allowing the precision of design by contract to be applied at any level of abstraction. This tutorial will introduce OCL, and show it in action on a small case study. It will emphasize how abstraction need not lead to a loss of precision, and how precision can allow powerful cross-checking of models, thereby improving the analysis process. Precision will be increasingly important as the software industry moves further towards component-based development. The case study will emphasize: why types are a suitable analysis-level abstraction; how type models can provide a vocabulary for behavior modeling; how type models can be improved with invariants; how state modeling can support analysis-level modeling; how state models and type models can be cross-checked; how behavior can be expressed using preconditions and postconditions.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127832359","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

Designing reusable object-oriented architectures - challenges, methods & tools 设计可重用的面向对象架构——挑战、方法和工具

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) Pub Date : 1999-06-07 DOI: 10.1109/TOOLS.1999.779107

K. Koskimies, J. Bosch, W. Pree, G. Hedin

{"title":"Designing reusable object-oriented architectures - challenges, methods & tools","authors":"K. Koskimies, J. Bosch, W. Pree, G. Hedin","doi":"10.1109/TOOLS.1999.779107","DOIUrl":"https://doi.org/10.1109/TOOLS.1999.779107","url":null,"abstract":"Summary form only given, as follows. More and more software developers are recognizing the need for solutions that make it possible to share code between different applications in the same domain. Reusing code increases not only the productivity of the developers but also the reliability and maintainability of the software products. Many software companies have ended up with a repository of enterprise components modelling the core business of the company, or with a product-line architecture that captures the common aspects of a family of software products. In both cases, object-orientation (OO) offers a technology that enables these solutions. The workshop studies the problems in designing reuse-oriented architectures (ROA) within the OO paradigm and the OO techniques that support this. The design of such systems is much harder than the design of individual applications, because ROAs need to be valid for unforeseen applications. Instead of a closed world of application concepts, the designer must analyze the variable aspects of a domain. The workshop covers a wide range of topics related to the development of ROAs, including: Design methods for OO product-lines/frameworks; Case studies of existing ROAs; Patterns and architectural styles supporting ROAs; Component-based ROAs; Evaluation of ROAs; Tools supporting the creation and reuse of product-line platforms and frameworks; Documentation of product-line platforms and frameworks; Practical experiences with reuse in OO; and Re-engineering legacy systems into ROAs.","PeriodicalId":434404,"journal":{"name":"Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114877647","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