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
(4)
Formal Verification
Object-oriented Model
Polymorphism
Software Systems
Subscribe
Academic
Publications
Always and Eventually in Object Requirements
Edit
Always and Eventually in Object Requirements
(
Citations: 3
)
BibTex
|
RIS
|
RefWorks
Download
Paul Gibson
,
Dominique Méry
Object oriented
models and methods encompass a set of techniques which have been,and will continue to be, applied in the successful production of complex software systems.The methods are based on the simple concepts of abstraction, encapsulation, classificationand polymorphism. The
formal verification
of logical properties of such models is difficultto integrate into the traditional operational view. Furthermore, most, if not all, of the objectoriented formalisms are based on the...
Conference:
Rigorous Object-Oriented Methods - ROOM
, 1998
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
)
(
www-public.int-evry.fr
)
Citation Context
(2)
...We have used TLA + to model the user’s point of view of services of the CS 1 [2,8,
9
,10,11], a list of telecommunication services defined by ITU...
Dominique Cansell
,
et al.
Abstract Animator for Temporal Specifications: Application to TLA
...This definition corresponds to the definition of may in [
6
]...
G. W. Hamilton
,
et al.
Composing Fair Objects
References
(29)
Detection of service interactions: An approach with b
(
Citations: 2
)
B. Mermet
,
D. Mery
Published in 1997.
Object-Oriented Design with Applications
(
Citations: 1002
)
Grady Booch
Published in 1990.
Programming with abstract data types
(
Citations: 384
)
Barbara Liskov
,
Stephen N. Zilles
Journal:
Sigplan Notices - SIGPLAN
, vol. 9, no. 4, pp. 50-59, 1974
Object oriented design with applications
(
Citations: 130
)
Booch Grady
Published in 1991.
Specification of services in a compositional temporal logic
(
Citations: 3
)
B Mermet P. Gibson
,
D. Méry
Published in 1997.
Order by:
Citations
(3)
Abstract Animator for Temporal Specifications: Application to TLA
(
Citations: 3
)
Dominique Cansell
,
Dominique Méry
Conference:
Static Analysis Symposium/Workshop on Static Analysis - SAS(WSA)
, pp. 284-299, 1999
Composing Fair Objects
(
Citations: 1
)
G. W. Hamilton
,
J. P. Gibson
,
D. Mery
,
Nancy France
MOSEL project proposal Proof-oriented development of computer-based systems
Dominique Méry