Publications des institutions partenaires

Designing and building a Web site aimed to interact with a database can be a demanding task. A way to accelerate this task is to use a declarative language for specifying hypertext views on databases. In this paper, we discuss hypertext concepts for viewing and acting on a database. While viewing a database through a hypertext view enables a user to navigate among interconnected…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1999

Formal development and validation of Java dependable distributed systems

The rapid expansion of Java programs into the software market is often not supported by a proper development methodology. We present a formal development methodology, well suited for Java dependable distributed applications. It is based on the stepwise refinement of model oriented formal specifications, and enables validation of the obtained system wrt the client's requirements…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1999

A Formal Developement and Validation Methodology for System Design

This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client's requirements. The methodology is based on the two languages framework: it advocates the joint use of a model-oriented specification and a logical language. Second, the paper describes development guidelines for system design within…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1999

Reusing Dynamic Document Fragment through Virtual Documents: Key Issues In Document Engineering

Electronic documents may obviously no more be considered as a simple representation of their paper counterpart. They become dynamic components whose content may be modified accordingly to users interaction but also in reaction to modifications in the user's environment (such as an update operation in a database). They not only include data but also behavior (Scripts, Applets,…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1999

Design and Implementation of a Teleteaching Environment

The ever increasing need for education combined with the recent advances in communication technologies, have encouraged the introduction of numerous remote learning systems and services. In this paper we describe a distance learning system we have developed at the University of Geneva. We also describe the experience we have gained by using the system for conducting telelectures…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1999

Active Business Objects (ABOs): A novel paradigm for building (and using!) Business Information System

The ABO project aims in the design and development an agent platform where mobile agents represent business processes. These agents encapsulate the policies, business practices and models of different business activities (like order management, payroll, warehouse and stock control). The aim of ABO is to provide a new paradigm of Business Information System design and use.