Eric Dubois, Michael Petit  Home/Search
Context Related
| info.fundp.ac.be/pub/p...RP95029.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: info.fundp.ac.b...paper?RP95029 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Requirements Engineering is more and more considered as a central phase in the development and implementation of computer systems. Within the context of CIM, the CIMOSA project proposes a set of models based on adequate concepts for expressing requirements. In this paper, we suggest how these models can be supported by the use of a fully formal requirements specification language called ALBERT and based on an agent-oriented real-time temporal logic framework. (Update)
Context of citations to this paper: More
.... both removing and adding an object to a set at the same time) An example of how inputs and outputs are mapped onto Albert II is shown in [6] Michael Petit and Eric Dubois between the concepts in the domain and the ones provided by Albert II. Using CIMOSA first and later...
.... that time has been validated (and revised) through the specification of non trivial systems like Computer Integrated Manufacturing (CIM, see [7]) process control and telecommunications systems [43] Besides supporting the distinction made between optative and indicative...
Cited by: More
A Formal Framework for Managing Evolution in Manufacturing.. - Petit, Dubois (1996) (Correct)
Scenario-Based Techniques for Supporting the Elaboration and.. - Heymans, Dubois (1999) (Correct)
Defining an Ontology for the Formal Requirements Engineering.. - Petit, Dubois (Correct)
Similar documents (at the sentence level):
20.7%: The Formal Requirements Engineering of Manufacturing Systems - Dubois, Petit (1994) (Correct)
9.2%: Agent-Oriented Requirements Engineering: A Case Study Using.. - Dubois, Bois, al. (1994) (Correct)
Active bibliography (related documents): More All
0.3: Elicitating and Formalising Requirements for CIM Information .. - Dubois, Bois, Petit (1993) (Correct)
0.2: Contextual Help for Free With Formal Dialogue Design - Palanque (Correct)
0.2: Modeling a groupware editing tool with Cooperative Objects.. - Mi Bastide (Correct)
Similar documents based on text: More All
0.5: Integrating Semi-formal and Formal Requirements - Roel Wieringa Eric (1997) (Correct)
0.4: On the Inverse Shortest Path Problem - Burton (1993) (Correct)
0.4: Computer-Aided Window Identification In Trident - Bodart, Hennebert, Leheureux.. (1995) (Correct)
Related documents from co-citation: More All
2: A logic to specify real-time object behaviour (context) - Bohm, Sernadas - 1994
2: The Albert II Language: On the Design and the Use of a Formal Specification Lang.. (context) - Bois - 1995
2: CIMOSA: Open Systems Architecture for CIM (context) - AMICE - 1993
BibTeX entry: (Update)
Eric Dubois and Michael Petit. Using a formal declarative language for specifying requirements modelled in CIMOSA. In Fran¸cois Vernadat, editor, Proc. of the European workshop on Integrated Manufacturing Systems Engineering -- IMSE'94, pages 233--241, Grenoble (France), December 12-14, 1994. INRIA Rhone-Alpes. http://citeseer.ist.psu.edu/dubois95using.html More
@inproceedings{ dubois94using,
author = "E. Dubois and M. Petit",
title = "Using a formal declarative language for specifying requirements modelled
in CIMOSA",
editor = "Francois Vernadat",
booktitle = "Proc. of the European workshop on Integrated Manufacturing Systems Engineering
-- IMSE'94",
pages = "233--241",
address = "Grenoble (France)",
publisher = "INRIA Rhone-Alpes",
year = "1994",
url = "citeseer.ist.psu.edu/dubois95using.html" }
Citations (may not include all citations):27 Abstract object types: a temporal perspective (context) - Sernadas, Sernadas et al. - 1989
23 Ontologies for enterprise integration - Fox, Gruninger - 1994
14 CIMOSA: Open System Architecture for CIM (context) - AMICE - 1993
10 A formal language for the requirements engineering of comput.. (context) - Dubois, Hagelstein et al. - 1991
6 Structured analysis (context) - Ross - 1977
6 Modelling the world with semantic objects (context) - Brunet - 1991
6 Elicitating and formalising requirements for CIM information.. - Dubois, Bois et al. - 1993
5 Modelling a flexible manufacturing system by means of cooper.. (context) - Bastide, Sibertin-Blanc - 1991
1 Modelling with CIMOSA: A case study (context) - Lutherer, Ghroud et al. - 1994
1 Enterprise process integration model and infrastructure (context) - Bussler - 1993
1 The formal requirements engineering of manufacturing systems - Dubois, Petit
1 A requirements modelling language (context) - Greenspan, Borgida et al. - 1986
1 Flexible manufacturing system specification with object-orie.. (context) - Jaulent - 1990
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