P. du Bois, E. Dubois, and J-M. Zeippen. On the use of a formal requirements engineering language: The generalized railroad crossing problem. In Third IEEE International Symposium on Requirements Engineering. IEEE ICS Press, January 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Integrating Semi-Formal and Formal Software Specification.. - Wieringa, Dubois (1998) (3 citations) Self-citation (Dubois) (Correct)
....well defined way. TRADE has been combined with a formal specification language called LCM (Language for Conceptual Modeling) based upon dynamic logic [16, 34] To illustrate the general applicability of TRADE, in this paper, we combine TRADE with another formal specification language, Albert II [13], based upon real time temporal logic. Different combinations of TRADE with formal specification techniques allow one to emphasize different aspects of the system. We illustrate the techniques in this paper by means of a case study (a Video on Demand system) from the Esprit project 2RARE [1] The ....
....movies and movie categories are downloaded from the video server to the set top box. Billing data is maintained by the communication channel. A function decomposition table for this channel would show that it uses the services of the level one gateway for this. 5. ALBERT SPECIFICATION Albert II [13] (called Albert for short) is a formal requirements specification language based upon real time temporal logic [6, 5] It has been validated in the specification of non trivial systems like Computer Integrated Manufacturing [14] and telecommunications systems [15] The most essential ....
P. du Bois, E. Dubois, and J-M. Zeippen. On the use of a formal requirements engineering language: The generalized railroad crossing problem. In Third IEEE International Symposium on Requirements Engineering. IEEE ICS Press, January 1997.
From Early to Late Formal Requirements: a Process-Control.. - Dubois, Yu, Petit (1998) (4 citations) Self-citation (Dubois) (Correct)
....are the level of water percolating in the mine and the presence of methane. In any case, workers can only work safely in the mine if the levels of water and of methane are below critical values. Formal specification languages that we will use are: Kaos [5] for reasoning about the system s goals, [6] for specifying the system s requirements and Timed Automata for modelling the system s internals. Following our proposed specification process results in the production of three distinct products written in three different specification languages, each of them having its own merits for the ....
....with specific categories of requirements and which provide methodological guidelines to the analyst in the elicitation and the structuring of the requirements specifications. The interested reader can find more information about this real time distributed RE language and its applications in [6]. A specification in is made up of (i) a graphical part where the vocabulary is declared and (ii) a textual part where the logical formulae constraining the admissible behaviours are stated. Figures 5 and 6 illustrate the use of within the context of our case study. For the sake of brevity, only ....
P. du Bois, E. Dubois, and J-M. Zeippen. On the use of a formal requirements engineering language: The generalized railroad crossing problem. In Third IEEE International Symposium on Requirements Engineering. IEEE CS Press, January 1997.
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