Searching for authors named "Christine Choppy" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Towards a Formally Grounded Software Development Method
- …One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of successful developments. This goal was addressed both from informal approaches (providing in particular visual languages…
- Add To MetaCart
-
Views for the Integration of Datatypes and Control Specifications (Extended Abstract)
- …Christine Choppy 1 , Pascal Poizat 2 , and Jean-Claude Royer 2 1 LIPN, Institut Galil'ee - Universit'e Paris XIII, Avenue Jean-Baptiste Cl'ement, F-93430 Villetaneuse, France Christine.Choppy@lipn.univ-paris13.fr 2 IRIN, Universit'e de Nantes 2 rue de la Houssini`ere, B.P. 92208, F-44322…
- Add To MetaCart
-
Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation
- …Our Korrigan formalism is devoted to the structured formal specification of mixed systems through a model based on a hierarchy of views [4, 20]. In our unifying approach, views are used to describe the di#erent aspects of a component (both internal and external structuring) . We propose a semi-f…
- Cited by 6 (6 self) – Add To MetaCart
-
From Informal Requirements to COOP: a Concurrent Automata Approach
- …Methods are needed to help using formal specifications in a practical way. We herein present a method for the development of mixed systems, i.e. systems with both a static and a dynamic part. Our method helps the specifier providing means to structure the system in terms of communicating subcomp…
- Cited by 10 (7 self) – Add To MetaCart
-
Control and Datatypes using the View Formalism
- …. We herein deal with mixed specification formalisms, i.e. formalisms with both a static (data types) and a dynamic (behaviour) part. Our formalism is based on symbolic transition systems (STS) [9], that allow one to specify systems at an abstract level and to avoid state explosion. STS are a kind o…
- Cited by 2 (2 self) – Add To MetaCart
-
Formal Specification of Mixed Components with Korrigan
- …Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furthermore, in order to be able to design complex architectures and communication patterns, we need a structured approach whi…
- Cited by 8 (7 self) – Add To MetaCart
-
The KORRIGAN Environment
- …This paper presents an environment to support the use of specification for mixed systems, i.e. systems with both dynamic (behaviour, communication, concurrency) and static (data type) aspects. We provide an open and extensible environment based on the Korrigan specification model. This model uses a …
- Cited by 11 (8 self) – Add To MetaCart
-
Concurrency and Data Types: a Specification Method - An Example with LOTOS
- …Methods are needed to help using formal specifications in a practical way. We present a specification method that takes into account both the specification of concurrent activity and the specification of the data types involved. It is applied here to LOTOS specification, but it may be used for o…
- Cited by 7 (5 self) – Add To MetaCart
-
A Global Semantics for Views
- …We focus on the specification of mixed systems that contain static and dynamic aspects. Our approach aims at keeping advantage of the languages dedicated to both aspects (algebraic specifications for data types, and state transition diagrams for dynamic behaviour) while providing an underlying u…
- Cited by 17 (14 self) – Add To MetaCart
Showing 1 through 9.
