Reliability is a key concern in the current state of software industry. Producing software without defects is still very difficult. Therefore it is crucial to benefit from high-level language mechanisms such cis asser...
详细信息
ISBN:
(纸本)0769512518
Reliability is a key concern in the current state of software industry. Producing software without defects is still very difficult. Therefore it is crucial to benefit from high-level language mechanisms such cis assertions. Nevertheless contracts are mostly a specificity of the Eiffel language. This observation convinced ISE to build a new product, tile Contract Wizard, which aims at providing NET developers with the ability to add contracts to a NET assembly independently from the NET language it it-as initially written in. This paper first gives an overview of the existing implementation of Design by Contract in various programming languages. It then explains how the new ISE Contract Wizard works by providing a guided tour of the product.
The proceedings contains 27 papers. Topics discussed include databases, mobile computing, distributed programming, information exploration tool, objectorientedtechnology, e-commerce and software evolution.
The proceedings contains 27 papers. Topics discussed include databases, mobile computing, distributed programming, information exploration tool, objectorientedtechnology, e-commerce and software evolution.
In this study, we extend the concept of distance education and our Virtual Classroom (VC) with adding a new service, that we call Virtual Laboratory (YZ). While the VC represents an interface between the students and ...
详细信息
ISBN:
(纸本)0769512518
In this study, we extend the concept of distance education and our Virtual Classroom (VC) with adding a new service, that we call Virtual Laboratory (YZ). While the VC represents an interface between the students and a virtual professor and provides personalized learning materials to the users, the VL offers a possibility to the attendees to share different resources out of time and space boundaries. It enables geographically separated users to effectively facilitate remote access to various, presumably diverse, (real) resources. The VL is implemented with three key points in mind: modularity, reusability and common interface handling. Using object-oriented approach in the development of the PT service, we made a modular system, capable of managing various resources that can possibly be shared through VL. By using common interfaces that each resource-specific agent must implement, many different resources that possibly have nothing in common can be shared through the same VL service. The first experiments show that users are satisfied with the VL usability. They found VL as a very convenient service within the Distance Education systems.
In the Unified Modeling Language (UML), a use case describes a particular functionality a system can perform by interacting with outside actors. A realization of a use case can be given as a set of sequence diagrams, ...
详细信息
ISBN:
(纸本)0769512518
In the Unified Modeling Language (UML), a use case describes a particular functionality a system can perform by interacting with outside actors. A realization of a use case can be given as a set of sequence diagrams, This paper discusses how to generate structured implementation schemes represented as pseudocode from a set of sequence diagrams in UML. The proposed approach can be applied to any set of sequence diagrams, allowing the user to view the implementations of operation bodies as implied by this set of sequence diagrams, and to merge the different views into a single implementation scheme that can be used as a starting point for the actual implementation. We show how these techniques can be exploited in a UML-based CASE environment by augmenting an automatically generated class diagram with UML notes describing implementation schemes for individual operations. The described techniques have been implemented in a real CASE environment.
Metrics (quantitative estimates of product and project properties) can, if defined from sound engineering principles, be a precious tool for both project management and software development. We have recently developed...
详细信息
ISBN:
(纸本)0769512518
Metrics (quantitative estimates of product and project properties) can, if defined from sound engineering principles, be a precious tool for both project management and software development. We have recently developed an extensive set of metrics facilities for the EiffelStudio development environment. We will describe the principles on which it is based, the facilities it provides, and how to use them. The metrics workbench is closely integrated with the rest of the environment. Among other capabilities, it allows users to: apply predefined metrics to components of a system at various levels (feature, class, cluster, entire system);define new metrics, through mathematical formulae or boolean selection, and apply them to projects;store measurement results, as well as metric definitions, into an XML archive that can be stored locally or made available on the Web for future reference;compare the measurements on a system to those on record locally or on a Web site. ISE has released on its own site an archive recording the metric properties of its basic libraries, available to any other project for comparison.
The proceedings contains 41 papers from the 39th International Conference and Exhibition on technology of object-oriented Language and systems. The topics discussed included: Design by contract;the net contract wizard...
详细信息
The proceedings contains 41 papers from the 39th International Conference and Exhibition on technology of object-oriented Language and systems. The topics discussed included: Design by contract;the net contract wizard design using language other then eiffel;component based development;e-commerce;frameworks and patterns;languages;metrics and quality;object-oriented concepts;specification and requirements and distributed computing.
This paper describes a three-view model for developing object-oriented frameworks, Ve propose a new methodology based on this model, and demonstrate its effectiveness using an example of practical industrial applicati...
详细信息
ISBN:
(纸本)0769512518
This paper describes a three-view model for developing object-oriented frameworks, Ve propose a new methodology based on this model, and demonstrate its effectiveness using an example of practical industrial applications. This model can lead software engineers to a framework that has high reusability, portability, and maintainability. These quality factors of applications are especially important in a domain that has high repeatability and changeability of hardware and software environment. The three-view model consists of a domain analysis view, a layer view, and a mechanism view. The domain analysis view is used to clarify all information and domain knowledge by using a new concept that ive call Domain Reference Models (DRM), which is reference models for modeling domain-specific objects, so that a framework, has high reusability. The layer view is used to divide a framework into three layers that are piled zip vertically: an infrastructure layer, a generic layer, and a domain layer. Because software engineers can replace a part of the framework for restriction oil implementation, the framework has high portability. The mechanism view is used to decide which mechanism of whitebox frame works or blackbox frameworks. By using this guideline, the framework has high maintainability. We applied our approach to the framework development for an industrial monitoring applications. By developing a prototype, ive have a prospect of withdrawing the development costs of the framework, by five or six times of application deployment. In this application, ive estimate several ten times of application deployment. Therefore, it is effective for software engineers to develop a framework based on the three-view model.
Distributed object Computing (DOC) is an increasingly important computing paradigm exploiting the benefits of object-orientedtechnology and using the internet and its communications infrastructure as a vehicle for th...
详细信息
ISBN:
(纸本)0769511651
Distributed object Computing (DOC) is an increasingly important computing paradigm exploiting the benefits of object-orientedtechnology and using the internet and its communications infrastructure as a vehicle for the delivery of a wide range of sophisticated value-added distributed services. ne integration of the Common object Request Broker Architecture (CORBA) and object-oriented programming languages facilitates the introduction and deployment of such applications in a platform-independent open distributed environment. In this paper, we introduce both CORBA and Java as tools to facilitate the development of distributed object computing-based applications, and we present a prototype electronic commerce application using the DOC paradigm.
The proceedings contains 46 papers from the conference on the technology of object-orientedlanguages and systemstools 34. The topics discussed include: agent-mediated E-commerce:agents, components, services, workflo...
详细信息
The proceedings contains 46 papers from the conference on the technology of object-orientedlanguages and systemstools 34. The topics discussed include: agent-mediated E-commerce:agents, components, services, workflow, UML, Java, XML and games;reusable integrated components of patterns;semantics of (business) specifications theme of the workshop:relating business needs to IT;developing evolvable, embedded, time-critical systems;the use case pattern language;agent-based programming in Eiffel and an introduction to knowledge binding.
暂无评论