Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(1)
Feature Interaction
Subscribe
Academic
Publications
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem: A multi-view approach
Edit
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem: A multi-view approach
(
Citations: 2
)
BibTex
|
RIS
|
RefWorks
Download
Paul Gibson
We report results of a joint project with France Telecom on the modelling of telephone services (features) using formal methodologies such as OO ACT ONE, B and TLA+. We show how we formalise the
feature interaction
problem in a multi-view model, and we examine issues such as animation, validation, proof and verification.
Cumulative
Annual
Citation Context
(1)
...Our idea is directed by our previous experiments on B and TLA + [22,23,
26
,24,33, 36], where we have effectively developed case studies, because a tool [40] was available and usable and we were able to manage complex proofs of developments...
Dominique Cansell
,
et al.
Playing with Abstraction and Refinement for Managing Features Interact...
References
(21)
Structured system analysis and design method
(
Citations: 10
)
Geoff Cutts
Published in 1991.
Safe combinations of services using B
(
Citations: 6
)
Bruno Mermet
,
Dominique Méry
Published in 1997.
Specifying telephone systems in LOTOS
(
Citations: 33
)
Rezki Boumezbeur
,
Luigi Logrippo
Journal:
IEEE Communications Magazine - IEEE Commun. Mag.
, vol. 31, no. 8, pp. 38-45, 1993
Formal Object-Based Design In LOTOS
(
Citations: 9
)
J. Paul Gibson
Published in 1993.
Formalisation of Requirements with Emphasis on Feature Interaction Detection
(
Citations: 17
)
Johan Blom
Conference:
Feature Interactions in Telecommunications and Software Systems - FIW
, pp. 61-77, 1997
Order by:
Citations
(2)
Playing with Abstraction and Refinement for Managing Features Interactions
(
Citations: 2
)
Dominique Cansell
,
Dominique Méry
Conference:
Z Users Conference - ZUM
, pp. 148-167, 2000
MOSEL project proposal Proof-oriented development of computer-based systems
Dominique Méry