i Abstract Formal methods are necessary in achieving correct software: that is, software that can be proven to fulll its requirements. Formal speciications are unambiguous and analysable. Building a formal model improves understanding. The modelling of nondeterminism, and its subsequent removal in formal steps, allows design and implementation decisions to be made when most suitable. Formal mod...

The data warehousing approach intends to exploit a very large volume of data to make relevant decisions. In this paper, we deal with objectoriented data warehouse design. More precisely, we present an object-oriented data warehouse model, integrating temporal and archive data. We provide functions allowing the administrator to specify a data warehouse from a global source schema.

The evolution of object-oriented databases (OODBs) has not been accompanied by an equivalent evolution of theoretical models, leaving the foundations for OODBs ill-defined. Design of OODBs has been hampered by the lack of design techniques/tools which correspond to the theoretical model. This paper defines a core conceptual object oriented database (COODB) model providing a foundation and frame...

Changeability has a direct relation to software maintainability and has a major role in providing high quality maintainable and trustworthy software. The concept of Changeability is a major factor when we design and develop software and its constituents. Developing programs and its constituent components with good changeability continually improves and simplifies test operations and maintenance...

We study the application of object-oriented programming techniques in developing parallel software for the numerical solution of partial diierent equations. In this context, we discuss a simulator-parallel programming model that has overlapping Schwarz methods as its numerical foundation. Using object-oriented programming techniques, a generic implementation framework is devised. This paper giv...

1 Introduction

Most Web applications are still developed ad hoc.

The need for creating content repository stores for e-learning systems grows as the number of available materials increases. Moreover, along with the number of courses, the problem of describing them in a unified form appears. While there are standards used for strict classification of elearning content, the store model still seems to be based on preservative relational databases approach. In t...