No abstract

Natural language requirements models are useful during the first stages of software development. Formal methods help to increase software quality and reliability. In order to take advantage of both of them, we propose a requirements definition strategy which integrates them. We present in this paper the formalisation of a semiautomatic strategy to derive the types of a first initial specification in the RAISE Specification Language (RSL) from the Language Extended Lexicon (LEL), a natural language oriented model which models the vocabulary of a domain. The strategy consists of a set of RSL-based derivation rules which provide a sistematic and consistent way of transforming the information contained in the LEL into abstract and concrete RSL types.

No abstract

This article describes collaborative web based architecture in terms of a collection of generic architectural pattem that define how the different components of the framework work and interact. Based on J2EE specification and on the EJB components, we detailed the implementation of this framework in a distributed web services environment. The main goal of the design and the implementation of the framework was to provide Information System designers with a collaborative web CASE adaptable to their requirements and easy to use and to access. We present the adopted solutions for team collaborative work conflict resolution in a distributed workspace.

No abstract