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
(9)
Case Study
Formal Model
Formal Specification
meta analysis
Object Oriented
Object Oriented Approach
Object-oriented Language
Software Architecture
Plain Old Telephone Service
Subscribe
Academic
Publications
ANIMATING FORMAL SPECIFICATIONS: A TELEPHONE SIMULATION CASE STUDY
Edit
ANIMATING FORMAL SPECIFICATIONS: A TELEPHONE SIMULATION CASE STUDY
(
Citations: 2
)
BibTex
|
RIS
|
RefWorks
Download
J. Paul Gibson
,
Dominique Mery
,
Yassine Mokhtari
We believe that a more rigorous method of specification and validation can be achieved by first developing a specification architecture whose high-level semantics are based on
object oriented
concepts. This architecture promotes the construc- tion of new functionality in a formal manner using rigorous notions of composition and inheritance. An
object oriented approach
will also facilitate incremental approaches to val- idation and verification. We present our first steps towards producing such an architecture for the
Plain Old Telephone Service
(POTS), which is specified and validated using a for- mal
object oriented
language based on LOTOS. The method by which the
formal model
is derived from the informal un- derstanding of the requirements is examined. Validation based on meta-analysis of the problem structure is elucidated.
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www-public.int-evry.fr
)
(
www-public.it-sudparis.eu
)
Citation Context
(1)
...Secondly, the method must offer a means of specifying operational requirements for animation during validation, where it is important to be able to control execution of a subset of system behaviour whilst a simulator controls the other parts in a manner which corresponds to how the system behaves, or should behave, in the real world [
12
]...
J. Paul Gibson
,
et al.
Analysis of a Distributed eVoting System Architecture against Quality ...
References
(20)
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
Algebraic Specification Techniques in Object Oriented Programming Environments
(
Citations: 42
)
Ruth Breu
Published in 1991.
A feature interaction benchmark for IN and beyond
(
Citations: 140
)
Jane Cameron
,
Nancy D. Griffeth
,
Yow-jian Lin
,
Margaret E. Nilson
,
William K. Schnure
,
Hugo Velthuijsen
Conference:
Feature Interactions in Telecommunications and Software Systems - FIW
, pp. 1-23, 1994
Object-Oriented Programming: Inheritance To Adoption
(
Citations: 5
)
T. b. Dinesh
Published in 1992.
Formal Object Oriented Development of Software Systems using LOTOS
(
Citations: 24
)
J. Paul Gibson
Published in 1993.
Order by:
Citations
(2)
Analysis of a Distributed eVoting System Architecture against Quality of Service Requirements
(
Citations: 2
)
J. Paul Gibson
,
Eric Lallet
,
Jean-luc Raffy
Conference:
International Conference on Software Engineering Advances - ICSEA
, pp. 58-64, 2008
MOSEL project proposal Proof-oriented development of computer-based systems
Dominique Méry