|
" Formal Methods for Open Object-Based Distributed Systems IV : "
Scott F Smith
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
722188
|
| Doc. No
|
:
|
b541898
|
| Main Entry
|
:
|
Scott F Smith
|
| Title & Author
|
:
|
Formal Methods for Open Object-Based Distributed Systems IV : : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA.\ Scott F Smith
|
| Publication Statement
|
:
|
Boston: Springer US, 2000
|
| Page. NO
|
:
|
(408 pages)
|
| ISBN
|
:
|
0387355200
|
|
|
:
|
: 9780387355207
|
| Contents
|
:
|
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV; Editor's page; Copyright ; Contents; Preface; Committee members and list of referees; I INVlTED TALK; ON THE SEMANTICS OF JAVASPACES; II MOBILITY; ELEMENTS OF AN OBJECT-BASED MODEL FOR DISTRIBUTED AND MOBILE COMPUTATION*; SPECIFICATION OF MOBILE CODE SYSTEMS USING GRAPH GRAMMARS * ; ATOMIC FAlLURE IN WIDE-AREA COMPUTATION; III INVITED TALK; REWRITING LOGIC AND MAUDE: A WIDE-SPECTRUM SEMANTIC FRAMEWORK FOR OBJECT-BASED DISTRIBUTED SYSTEMS; IV JAVA /UML; REQUIREMENTS-LEVEL SEMANTICS FOR UML STATECHARTS* A STEP TOWARD AUTOMATIC DISTRIBUTION OF JAVA PROGRAMSUSING RELATIONAL AND BEHAVIOURAL SEMANTICS IN THE VERIFICATION OF OBJECT MODELS; FORMALLY MODELING UML AND ITS EVOLUTION: A HOLISTIC APPROACH; V INVITED TALK; OBJECT-ORIENTED PROGRAMMING FOR WIDE-AREA COMPUTING; VI REFINEMENT AND SUBTYPING ; BEHAVIOURAL SUBTYPING AND PROPERTY PRESERVATION; A PRACTICAL APPROACH TO INCREMENTAL SPECIFICATION; REFINEMENT OF OBJECTS ANDOPERATIONS IN OBJECT-Z; VII INVITED TALK; E-SPEAK: THE TECHNOLOGY FOR UBIQUITOUS E-SERVICES; VIII TIME ; BEHAVIOR EXPRESSION AND OMDD; ON A TEMPORAL LOGIC FOR OBJECT-BASED SYSTEMS. STOCHASTICALLY ENHANCED TIMED AUTOMATAIX COMPONENTS; FAIL-STOP COMPONENTS BY PATTERN MATCHING; A FORMAL SPECIFICATION OF THE CORBA EVENT SERVICE; COMPONENTS AS PROCESSES: AN EXERCISE IN COALGEBRAIC MODELING.
|
| LC Classification
|
:
|
TK7895.M5S368 2000
|
| Added Entry
|
:
|
Carolyn L Talcott
|
|
|
:
|
Scott F Smith
|
| |