- M. Gandhi, Edward L. Robertson, D. V. Gucht
Computer Science
ER
- 1994
This work states that a refinement (abstraction) step adds (deletes) encroaching relationships and thus cascades changes to the schema beyond the current entity being refined (entity cluster being abstracted).
- View 1 excerpt, cites methods
- John Paul Gibson, Loria-Umr
Computer Science
- 1998
This paper addresses many of the problems inherent in providing a general purpose formal object oriented requirements capture tool set.
- Remigijus Gustas, Prima Gustiené
Computer Science
BMSD 2016
- 2016
This paper presents semantically integrated conceptual modelling method, which provides possibility of integration of business processes and business data and graphically described as classification, inheritance or composition of organizational and technical system components.
- View 1 excerpt, cites methods
- F. Meziane, S. Vadera
Business
ICEIS
- 2004
The main phases of the semi-automatic approach to obtaining entity relationship models from natural language specifications are described and a summary of the results obtained when it is applied to a case study is presented.
- View 1 excerpt, cites background
- John Paul Gibson
Computer Science
FIW
- 1997
This paper states that many of the problems which arise when features combine are due to badly developed requirements models for individual features, and shows how good requirements models could resolve the problems that arise when combining features.
- John Paul Gibson, B. Mermet, D. Méry
Computer Science
IWFM
- 1997
It is discovered that no one semantic framework is suitable for the synthesis and analysis of formal feature requirements models, so this work advocates a mixed-model approach.
- View 1 excerpt, cites methods
- John Paul Gibson
Computer Science
- 1999
The overall theme of this paper is the triangle of integration in the authors' simulations — this work integrates user-friendly (graphical) animation of operational requirements during validation, together with proof of logical properties during verification, along with the structural object oriented concepts which support formal incremental development techniques.
- View 1 excerpt, cites methods
- M. Bajec
Computer Science
- 2017
Questions regarding business rule manipulation within ISD remain unresolved and present challenges for future research, and where possible, some directions for potential solutions are pointed out.
- View 1 excerpt, cites methods
- John Paul Gibson
Computer Science
- 2001
These models are, of course, abstractions of the real world and their operational semantics can be executed to provide a simulation model for validation: to show that the behaviour actually corresponds to what exists or what is required.
- View 2 excerpts, cites background