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
(2)
Feature Interaction
Point of View
Related Publications
(4)
Feature Specification and Automatic Conflict Detection
Next Generation Service Creation: Process, Methodology, and Tool Integration
Plug-and-play Features
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
Subscribe
Academic
Publications
Towards a Feature Interaction Algebra
Edit
Towards a Feature Interaction Algebra
(
Citations: 7
)
BibTex
|
RIS
|
RefWorks
Download
J. Paul Gibson
.The composition (and configuration) of requirements is particularly importantin feature specification because the units of incrementation in system developmentare themselves features. Thus we have requirements models made up ofa large number of components, each of which is easy to specify and validateindividually, but whose complexity resides in the semantics of composition, andconfiguration.We approach the definition of feature composition from the
point of view
ofthe client. Through ...
Conference:
Feature Interactions in Telecommunications and Software Systems - FIW
, pp. 217-231, 1998
Cumulative
Annual
Citation Context
(5)
...The software in e-voting machines has not, in general, been well-engineered[
1
]...
...It has been proposed that a comprehensive domain analysis be carried out before standards are re-engineered [
1
]...
...Current research — based on the notion of a feature interaction algebra[
31
] — suggests that a correct-by-construction approach to guaranteeing the functionality of evoting systems[22,29] merits further investigation...
...Building an e-voting system has a high risk of failure due to unstable standards [
1
] and lack of understanding of the problem domain...
J. Paul Gibson
,
et al.
Feature Interactions in a Software Product Line for Evoting
...On the contrary, off-line techniques are often a combination of software engineering methodologies [9,26,25] and formal methods [11,17,1,23,12,
13
]...
Muzammil Shahbaz
,
et al.
Model Inference Approach for Detecting Feature Interactions in Integra...
...For example, the theorem prover PVS is employed in [
48
] and the model checker COSPAN is employed in [40]...
...[
48
] FOL & TLA Invariant violation, non-determinism...
Muffy Calder
,
et al.
Feature interaction: a critical review and considered forecast
...In [
23
], we have shown the importance of formalising different composition mechanisms in the domain of telephone requirements models and emphasised the need for different formal methods...
...In [
23
] we have shown that both these services can be specified as simple state refinements of the state where a user is already talking and an incoming call arrives...
...In [
23
], design techniques for resolving interactions are examined...
J. Paul Gibson
,
et al.
Integration Problems in Telephone Feature Requirements
...[
12
,19]) are based on the use of several composition constructs and on some verication techniques to detect interactions...
Karim Berkani
,
et al.
An incremental method for the design of feature-oriented systems
References
(10)
Object oriented design with applications
(
Citations: 130
)
Booch Grady
Published in 1991.
Feature Interactions: A Mixed Semantic Model Approach
(
Citations: 13
)
J. Paul Gibson
,
Bruno Mermet
,
Dominique Méry
Conference:
Irish Workshop in Formal Methods - IWFM
, 1997
Feature Requirements Models: Understanding Interactions
(
Citations: 38
)
J. Paul Gibson
Conference:
Feature Interactions in Telecommunications and Software Systems - FIW
, pp. 46-60, 1997
Object-oriented software coustruciion
(
Citations: 740
)
Bertrand Meyer
Published in 1988.
Structured analysis and system specification
(
Citations: 815
)
T. Demarco
Published in 1978.
Order by:
Citations
(7)
Feature Interactions in a Software Product Line for Evoting
(
Citations: 2
)
J. Paul Gibson
,
Eric Lallet
,
Jean-Luc Raffy
Conference:
Feature Interactions in Telecommunications and Software Systems - FIW
, pp. 91-106, 2009
Model Inference Approach for Detecting Feature Interactions in Integrated Systems
Muzammil Shahbaz
,
Benoît Parreaux
,
Francis Klay
Conference:
Feature Interactions in Telecommunications and Software Systems - FIW
, pp. 161-171, 2007
Feature interaction: a critical review and considered forecast
(
Citations: 128
)
Muffy Calder
,
Mario Kolberg
,
Evan H. Magill
,
Stephan Reiff-marganiec
Journal:
Computer Networks - COMPUT NETW
, vol. 41, no. 1, pp. 115-141, 2003
Formal Requirements Models: Simulation, Validation and Verification
(
Citations: 1
)
J. Paul Gibson
Published in 2001.
Formal object oriented requirements: simulation, validation and verification
(
Citations: 3
)
J. Paul Gibson
Published in 1999.