Using RECOCASE to Compare Use Cases from Multiple Viewpoints

Incomplete and inconsistent requirements are a major cause of the failure of computer- based projects. The capture of requirements from multiple viewpoints has been offered as a way of developing a more complete, consistent and representative set of requirements. Our viewpoint development approach, known as RECOCASE, includes a Computer Aided Software Engineering (CASE) tool to assist the capture and RECOncilation of viewpoints of functional requirements. This project seeks to offer three significant solutions to the problems of requirements elicitation, validation and reconciliation: requirements will be captured from multiple viewpoints, directly from stakeholders in natural language and then compared and reconciled through visualisation of the requirements

Using formal concept analysis for the verification of process-data matrices in conceptual domain models.

One of the first steps in a software engineering process is the elaboration of the conceptual domain model. In this paper, we investigate how Formal Concept Analysis can be used to formally underpin the construction of a conceptual domain model. In particular, we demonstrate that intuitive verification rules for process-data matrices can be formally grounded in FCA theory. As a case study, we show that the well-formedness rules from MERODE are isomorphic to the clustering rules in Formal Concept Analysis, and that the relationships in the class diagram are isomorphic to the subconcept-superconcept relationship in FCA.Formal concept analysis; MERODE; Conceptual domain modeling; OOSSADM; CRUD;

Spoken content retrieval: A survey of techniques and technologies

Speech media, that is, digital audio and video containing spoken content, has blossomed in recent years. Large collections are accruing on the Internet as well as in private and enterprise settings. This growth has motivated extensive research on techniques and technologies that facilitate reliable indexing and retrieval. Spoken content retrieval (SCR) requires the combination of audio and speech processing technologies with methods from information retrieval (IR). SCR research initially investigated planned speech structured in document-like units, but has subsequently shifted focus to more informal spoken content produced spontaneously, outside of the studio and in conversational settings. This survey provides an overview of the field of SCR encompassing component technologies, the relationship of SCR to text IR and automatic speech recognition and user interaction issues. It is aimed at researchers with backgrounds in speech technology or IR who are seeking deeper insight on how these fields are integrated to support research and development, thus addressing the core challenges of SCR

Ontology mapping: the state of the art

Ontology mapping is seen as a solution provider in today's landscape of ontology research. As the number of ontologies that are made publicly available and accessible on the Web increases steadily, so does the need for applications to use them. A single ontology is no longer enough to support the tasks envisaged by a distributed environment like the Semantic Web. Multiple ontologies need to be accessed from several applications. Mapping could provide a common layer from which several ontologies could be accessed and hence could exchange information in semantically sound manners. Developing such mapping has beeb the focus of a variety of works originating from diverse communities over a number of years. In this article we comprehensively review and present these works. We also provide insights on the pragmatics of ontology mapping and elaborate on a theoretical approach for defining ontology mapping

Third international workshop on Authoring of adaptive and adaptable educational hypermedia (A3EH), Amsterdam, 18-22 July, 2005

The A3EH follows a successful series of workshops on Adaptive and Adaptable Educational Hypermedia. This workshop focuses on models, design and authoring of AEH, on assessment of AEH, conversion between AEH and evaluation of AEH. The workshop has paper presentations, poster session and panel discussions

Technology for large space systems: A special bibliography with indexes (supplement 04)

This bibliography lists 259 reports, articles, and other documents introduced into the NASA scientific and technical information system between July 1, 1980 and December 31, 1980. Its purpose is to provide information to the researcher, manager, and designer in technology development and mission design in the area of the Large Space Systems Technology Program. Subject matter is grouped according to systems, interactive analysis and design. Structural concepts, control systems, electronics, advanced materials, assembly concepts, propulsion, solar power satellite systems, and flight experiments