J.-P. Gibson and D. Mry. A Unifying Model for Specification and Design. Rapport Interne CRIN-96-R110, CRIN, Linz (Austria), July 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Integration Problems in Telephone Feature Requirements - Gibson, Hamilton, Méry (1999) (1 citation) Self-citation (Gibson Mry) (Correct)
....and detect interactions as invariants which are broken. The success of this approach leads us to believe that it may be best to use a formal method which allows the object oriented concepts to co exist with the invariants in one single semantic framework. 5. 3 A unifying model of refinement In [20] we introduced a unifying model for expressing three different types of development step: specification refinement, program refinement and transformational refinement. The model is generally applicable to any pair of specification and implementation languages, and, furthermore, can be extended to ....
J.-P. Gibson and D. Mry. A Unifying Model for Specification and Design. Rapport Interne CRIN-96-R110, CRIN, Linz (Austria), July 1996.
Formal Requirements Models: Simulation, Validation and Verification - Gibson (2001) Self-citation (Gibson) (Correct)
....of liveness and fairness properties. No one model can treat each of these aspects, yet each of these aspects of the conceptualisation are necessary in the synthesis and analysis of formal requirements models. We are in the process of integrating the di erent semantics into one coherent model [14, 18, 20, 22]. 2.4 Why object oriented We advocate an object oriented approach to structuring our requirements models. Object oriented methods encompass a set of techniques which have been, and will continue to be, applied in the successful production of complex software systems [7, 8, 4, 28] The methods ....
J.-P. Gibson and D. Mry. A Unifying Model for Speci cation and Design. Rapport Interne CRIN-96-R-110, CRIN, Linz (Austria), July 1996.
Feature Interactions: A Mixed Semantic Model Approach - Gibson, Mermet, Méry (1997) (1 citation) Self-citation (Gibson Mry) (Correct)
....we use the OO LOTOS ffl Verifying invariant properties where we use B ffl Verifying liveness and fairness properties where we use TLA. ffl Performing verifiable refinements where we use TLA Currently, we are attempting to integrate the different semantics into one coherent model [15, 14, 18]. A mixed semantics approach is particularly important in telephone feature development. However, we believe our approach is also applicable in all other problem domains where functionality is distributed over concurrent resources. ....
J.-P. Gibson and D. Méry. A Unifying Model for Specification and Design. Rapport Interne CRIN96 -R-110, Linz (Austria), July 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC