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
(6)
Formal Language
Formal Method
Formal Semantics
Software Development
Software Development Process
Unified Model
Related Publications
(1)
Telephone feature verification: Translating SDL to TLA
Subscribe
Academic
Publications
A Unifying Model for Specification and Design
Edit
A Unifying Model for Specification and Design
(
Citations: 5
)
BibTex
|
RIS
|
RefWorks
Download
J. Paul Gibson
,
CRIN-CNRS URA
The application of formal languages in the
software development process
is becoming more and more evident. Providing
formal semantics
and tools for the synthesis, analysis and transformation of behavioural models is usually the first step in the process of formal methods development. Many formal methods exist but, as yet, there is an absence of a meta-theory of formal methods. Such a meta-theory is the subject of this paper: we call it a unifying framework. We present a generalisation of the
software development
model which reflects the standard approach of using different languages at different stages of development. A unifying model will give a better understanding of why and how this happens; together with strengthening the rigour of such standard multi-semantic approaches to software development.
Published in 1996.
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.it-sudparis.eu
)
Citation Context
(5)
...Of course, this poses the problem of how to ensure that the different models are consistent and how to integrate them into a coherent whole [
11
]...
J. Paul Gibson
,
et al.
Analysis of a Distributed eVoting System Architecture against Quality ...
...In [
20
] we introduced a unifying model for expressing three different types of development step: specification refinement, program refinement and transformational refinement...
J. Paul Gibson
,
et al.
Integration Problems in Telephone Feature Requirements
...The formal interpretation of this statement is founded on the notion of predicate transformers [
4
, 5] and the choice of a language for specifying properties such as invariance or eventuality...
Raphaël Couturier
,
et al.
An Experiment in Parallelizing an Application Using Formal Methods
...Currently, we are attempting to integrate the different semantics into one coherent model [
15
, 14, 18]...
J. Paul Gibson
,
et al.
Feature Interactions: A Mixed Semantic Model Approach
...Currently, we are attempting to integrate the different semantics into one coherent model [
16
, 15, 17]...
Gerard O'Regan
,
et al.
Feature Interactions: A Mixed Semantic Model Approach
References
(16)
Old Isabelle Reference Manual
(
Citations: 88
)
Lawrence C. Paulson
Published in 1995.
Crocos: An Integrated Environment for Interactive Verification of SDL Specifications
(
Citations: 6
)
Dominique Méry
,
Abdelillah Mokkedem
Conference:
Computer Aided Verification - CAV
, pp. 343-356, 1992
The temporal logic of actions" acm transactions on programming languages and systems
(
Citations: 117
)
L. Lamport
Published in 1994.
Fundamentals of algebraic specification
(
Citations: 432
)
H. Ehrig
,
B. Mahr
Published in 1985.
Formal Object-Based Design In LOTOS
(
Citations: 9
)
J. Paul Gibson
Published in 1993.
Order by:
Citations
(5)
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
Integration Problems in Telephone Feature Requirements
(
Citations: 5
)
J. Paul Gibson
,
Geoff Hamilton
,
Dominique Méry
Conference:
Integrated Formal Methods - IFM
, pp. 129-148, 1999
An Experiment in Parallelizing an Application Using Formal Methods
(
Citations: 5
)
Raphaël Couturier
,
Dominique Méry
Conference:
Computer Aided Verification - CAV
, pp. 345-356, 1998
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 Interactions: A Mixed Semantic Model Approach
Gerard O'Regan
,
Sharon Flynn