عنوان

Formal Methods for Open Object-Based Distributed Systems IV :

شابک

0387355200

شابک

9780387355207

شماره

b541898

عنوان اصلي

Formal Methods for Open Object-Based Distributed Systems IV :

نام عام مواد

[Book]

ساير اطلاعات عنواني

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

محل نشرو پخش و غیره

Boston

نام ناشر، پخش کننده و غيره

Springer US

تاریخ نشرو بخش و غیره

2000

نام خاص و کميت اثر

(408 pages)

متن يادداشت

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.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Scott F Smith

مستند نام اشخاص تاييد نشده

Carolyn L Talcott

مستند نام اشخاص تاييد نشده

Scott F Smith

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y