E. Dubois. ALBERT: A formal language and its supporting tools for requirements engineering. In Fundamental approaches to software engineering: second international conference, FASE 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Design of Collaborative Information Agents - Jonker, Klusch, Treur (2000) (2 citations) (Correct)
....and scenarios for this example domain are discussed in section 2. In section 3 design structures are discussed. Verification is the topic of section 4 while section 5 concludes with a brief discussion. 2 Specification of Requirements and Scenarios In Requirements Engineering (cf. 11] [13], 14] 15] 22] 28] 29] 32] the role of scenarios, in addition to requirements, has gained more importance; e.g. see [17] 34] Traditionally, scenarios or use cases are examples of interaction patterns between the users and a system; they are often used during the requirement ....
....on the type of properties to be expressed. For example, linear or branching time temporal logic are appropriate to specify various agent (system) behavioural properties. Examples of formal requirement specification languages based on such variants of temporal logic are described in [9] 10] [13], 14] 15] 16] 19] 30] However, for information agents, it might be necessary to specify adaptive properties such as exercise improves skill for which we have to explicitly express a comparison between different histories. This requires a form of temporal logic language which is more ....
Dubois, E. (1998). ALBERT: a Formal Language and its supporting Tools for Requirements Engineering.
U2: A Two-Level Temporal Logic For Evolving.. - Schobbens, Saake.. (Correct)
....of communicating objects for describing information systems to combine the need for behaviour specification with structuring mechanisms developed for object systems. The structuring of communicating objects has been understood in [17] and was used as the basis of the specification languages Albert [4], OBLOG [17] GNOME [12] TROLL [6] among others. This work was partially supported by the Portuguese FCT program PRAXIS XXI, and specially grant BPD 11851 97, projects SitCalc (2 2.1 MAT 262 94) LogComp (2 2.1 TIT 1658 95) ACL plus (PCEX P MAT 46 96) and by the European Commission Esprit WGs ....
E. Dubois. ALBERT: A formal language and its supporting tools for requirements engineering. Lecture Notes in Computer Science, 1382:322, 1998.
Specification of Behavioural Requirements within.. - Herlea, Jonker.. (1999) (2 citations) (Correct)
....informal, and activity diagrams seem too design specific and cannot express the necessary more complex temporal dependencies relevant to both requirements and scenarios. In the development of UML different representations of behavioural requirements and scenarios was not an issue [12] 15] In [7], 8] an approach is presented in which more complex behavioural properties can be specified. A difference to our work is that no compositionality is exploited in requirements specification and verification. In recent research in knowledge engineering, identification and formalisation of ....
Dubois, E. (1998). ALBERT: a Formal Language and its supporting Tools for Requirements Engineering.
Scenario-Based Techniques for Supporting the Elaboration and.. - Heymans, Dubois (1999) (10 citations) Self-citation (Dubois) (Correct)
....a high degree of certainty. In this paper, because we are concerned with application domains pertaining to real time composite systems [11] we will consider the Albert II language, a formal requirements language that we designed in 1992 and which is the topic of the development of several tools [10] and of practical realsize industrial experiences [43] Albert II was designed with naturalness in mind; i.e. it aims at preserving the structure of the informal requirements expressed by the stakeholders as far as compatible with a formal semantics. This helps in maintaining traceability links ....
Dubois E. Albert : A formal language and its supporting tools for requirements engineering. In: Formal Aspecs of Software Engineering (ETACS'98 Conference). LNCS. March 1998.
An algebraic approach to real-time specification - Aiguier, Beroff, Schobbens (Correct)
No context found.
E. Dubois. ALBERT: A formal language and its supporting tools for requirements engineering. In Fundamental approaches to software engineering: second international conference, FASE 1998.
An algebraic approach for Codesign - Marc Aiguier Stefan (Correct)
No context found.
E. Dubois. ALBERT: A formal language and its supporting tools for requirements engineering. In Fundamental approaches to software engineering: second international conference, FASE 1998.
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