In this paper we present a method for the end-user specification of consistency rules for Web documents. Temporal description logic is used as the internal formalism. It is difficult for an author of a Web document to understand and use a formal logic. Therefore the goal is to develop an intuitive front-end allowing the authors of a document to specify their requirements and constraints at an a...

One of the critical activities when developing ontologies is to identify their requirements. Requirements included in the ORSD facilitates the ontology development in different ways: (1) allowing the identification of which particular knowledge should be represented in the ontology; (2) facilitating the reuse of knowledge resources by means of focusing the resource search towards the particular...

Requirements specification is the requirements engineering task during which analyzed requirements are properly documented for use by their intended audiences. Traditionally, this involved the requirements team using a word processing program to produce a single requirements specification document during an initial requirements phase of a project. However, trends in system development have made...

1 Francisco J. García, University of Salamanca, Computer Science Department, Faculty of Sciences, Salamanca, 37008, Spain [email protected] 2 María N. Moreno, University of Salamanca, Computer Science Department, Faculty of Sciences, Salamanca, 37008, Spain [email protected] Abstract Requirements elicitation, so directly related to the final success of a software project, is also a complex task. Requir...

The large gap in the levels at which requirements are specified results in inadequate means for ensuring that business goals are properly supported. Architecture-level requirements specifications help us reduce this problem by providing necessary constructs and traceability mechanisms. Enhancing traditional requirements engineering approaches by incorporating architecture-level requirement spec...

Specification exemplars are familiar to most software engineering researchers. For instance, many will have encountered the well known library and lift problem statements, and will have seen one or more published specifications. Exemplars may serve several purposes: to drive and communicate individual research advances; to establish research agendas and to compare and contrast alternative appro...

Page 12 meeting initiator. For instance, the meeting chair and secretary must be present; they have the highest participant importance. In a project meeting where specific tasks are discussed, task leaders would have a higher importance than normal project members and a lower importance than the meeting chair, the task speakers or the project reviewers. Meeting Significance. The meeting signifi...

frbrizing opacs is viewed from two different angles: the system approach and the user approach. the first deals with different requirements of a system to be frbrized automatically. the second regards the user as the integral element which any system attempts to serve. due to the very huge number of marc records stored in our opac databases, data mining marc records to find different frbr entit...