Formal description techniques VIII proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Chapman & Hall
1996
|
| Ausgabe: | 1. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010677463 | ||
| 003 | DE-604 | ||
| 005 | 20080718 | ||
| 007 | t| | ||
| 008 | 960325s1996 xx d||| |||| 10||| eng d | ||
| 020 | |a 041273270X |9 0-412-73270-X | ||
| 035 | |a (OCoLC)36461989 | ||
| 035 | |a (DE-599)BVBBV010677463 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-19 |a DE-384 | ||
| 082 | 0 | |a 004.62 |2 21 | |
| 084 | |a DAT 510f |2 stub | ||
| 245 | 1 | 0 | |a Formal description techniques VIII |b proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 |c ed. by Gregor v. Bochmann ... |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a London [u.a.] |b Chapman & Hall |c 1996 | |
| 300 | |a XIV, 452 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Distributed processing |v Congresses | |
| 650 | 4 | |a Electronic data processing |x Distributed processing |x Protocols |v Congresses | |
| 650 | 4 | |a Formal languages |v Congresses | |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Montréal |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bochmann, Gregor von |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Formal Description Techniques |n 8 |d 1995 |c Montréal |j Sonstige |0 (DE-588)5179702-1 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007125937&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007125937 | |
Datensatz im Suchindex
| DE-19_call_number | 1601/SD 1995 M811 F7 |
|---|---|
| DE-19_location | 95 |
| DE-BY-TUM_call_number | 0102 DAT 510f 2001 A 1041 |
| DE-BY-TUM_katkey | 732994 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020009532 |
| DE-BY-UBM_katkey | 1521657 |
| DE-BY-UBM_local_keycode | ko |
| DE-BY-UBM_media_number | 41602847540012 |
| _version_ | 1823051194360135680 |
| adam_text |
CONTENTS
Preface
ix
Conference Organizers, Program
Committee and Organization Committee
xi
List of Referees
xii
Invited Papers
Specification and verification of timed systems
J. Sifakis
3
Stabilizing client/server protocols without the tears
M.
G
Gouda
5
Part One Design Methodologies
1
Distributed system specification in VDM"1""1"
K.
Lano
23
2
OMT*, bridging the gap between analysis and design
V
Junckers,
К.
Verschaeve,
fi
Wydaeghe,
L.
CuypersandJ. Heirbaut
39
3
Formal support for design techniques: a timethreads-LOTOS approach
D. Amyot,
E
Bordeleau, R. J. A. Buhr and L. Logrippo
57
Part
ÏWo
Verification I
4
Using
PO
methods for verifying behavioural equivalences
M. Lara
de Souza
and
R.
de Simone 75
5 Formal
verification of a protocol for communications over faulty channels
B.
Chetali
and P. Lescanne
91
6
Specifying properties of basic LOTOS processes using temporal logic
С
Kirkwood
109
7
A reachability analysis of RT-LOTOS specifications
/.
-P. Courtiat and
R. C
de Oliveira
117
Part Three Algebraic Languages
8
Towards a mobile LOTOS
E. Najm, J.-B.
Stefani
and
A. Février
127
9
Type specifications with processes
F. Puntigam 143
vi
Contents
10
A
unified model for CSP-like languages with specifications
L. Lai
159
Part Four System Specification and
Z
11
Secrets of call forwarding: a specification case study
P. Zave
169
12
Formal method for event-triggered sequential systems
G
Petersohn 185
13
An extension of GDMO for formalizing managed objects behaviour
/.
Keller
201
Part Five Industrial Experiences
14
Experiences of using SDL collected in IskraTEL SDL methodology
A. Robnik
221
15
Development of broadband ISDN telecommunication services using SDL
'92,
ASN.l and automatic code generation
U. Behnke, M. GeipU G.
Kurzbach, R. Schröder, N. Fischbeck
and R.
Mundstock 237
16
Supporting evolution of SDL-based systems: industrial experience
B. Gulla
and
J.
Gorman
253
Part Six Applying Formal Methods
17
A LOTOS compiler generating multi-threaded object codes
K. Yasumoto, T. Higashino, K. Abe, T. Matsuura and K. Taniguchi
271
18
A comparision between the service addition language SAL and the ITU-T
recommendation Z.120
S.
Somé,
R.
Dssouli and
J.
Vaucher
287
19
Combining formal methods: an exercise in integration
J.-Ch.
Grégoire, M.
Ferguson and
L.
Pino
295
20
Formal specification of a framework for groupware development
A. Kerbrat and S. Ben Atallah
303
Part Seven Tools and Testing
21
SELEXPERT
-
a knowledge-based tool for test case selection
A. Guerrouat, H.
König
and A.
Ulrich 313
Contents
vii
22 Mutation
testing
applied to validate specifications based on
Petri
Nets
S.C.P.E
Fabbri,
J.
С.
Maldonado, P.
С.
Masiero,
M.
E.
Delamaro and
E.
Wong
329
23
A new approach for distributing
Estelle
specifications
E.
Lallet,
S.
Fischer and J.-F. Verdier
339
Part Eight Real-time and Stochastic Systems
24
Critical time distributed systems: qualitative and quantitative analysis based on
stochastic timed
Petri
Nets
G.
Juanole
and L. Gallon
351
25
Testing semantics for probabilistic LOTOS
M.
Núñez
and
D. de Frutos
367
26
Real-time LOTOS and timed observations
J. Davies, J. W. Bryans and S. A. Schneider
383
Part Nine Verification II
27
Assertional verification of a connection management protocol
A. L. Olah and S. M.
Heemstra de Groot
401
28
Sharing trees for "on-the-fly" verification
F. Gagnon, J.-Ch.
Grégoire
and D.
Zampuniéris
417
29
Verification of liveness property for communicating FSM's with conditional
transitions depending on state visiting numbers
T. Higashino, A.
Nakata,
T.
höh
and
К.
Taniguchi
433
30
A new approach for protocols performance evaluation using
Estelle
specifications
M
Hendaz and S. Budkowsld
441
Index of contributors
449
Keyword index
451 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010677463 |
| classification_rvk | SS 1995 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)36461989 (DE-599)BVBBV010677463 |
| dewey-full | 004.62 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.62 |
| dewey-search | 004.62 |
| dewey-sort | 14.62 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. ed. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010677463</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080718</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960325s1996 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">041273270X</subfield><subfield code="9">0-412-73270-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36461989</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010677463</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.62</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal description techniques VIII</subfield><subfield code="b">proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995</subfield><subfield code="c">ed. by Gregor v. Bochmann ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Chapman & Hall</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 452 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="x">Protocols</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">Montréal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bochmann, Gregor von</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Formal Description Techniques</subfield><subfield code="n">8</subfield><subfield code="d">1995</subfield><subfield code="c">Montréal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5179702-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007125937&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007125937</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Montréal gnd-content |
| genre_facet | Konferenzschrift 1996 Montréal |
| id | DE-604.BV010677463 |
| illustrated | Illustrated |
| indexdate | 2025-02-03T16:34:53Z |
| institution | BVB |
| institution_GND | (DE-588)5179702-1 |
| isbn | 041273270X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007125937 |
| oclc_num | 36461989 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-384 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-384 |
| physical | XIV, 452 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Chapman & Hall |
| record_format | marc |
| spellingShingle | Formal description techniques VIII proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 Datenverarbeitung Electronic data processing Distributed processing Congresses Electronic data processing Distributed processing Protocols Congresses Formal languages Congresses Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| subject_GND | (DE-588)4299725-2 (DE-588)1071861417 |
| title | Formal description techniques VIII proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 |
| title_auth | Formal description techniques VIII proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 |
| title_exact_search | Formal description techniques VIII proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 |
| title_full | Formal description techniques VIII proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 ed. by Gregor v. Bochmann ... |
| title_fullStr | Formal description techniques VIII proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 ed. by Gregor v. Bochmann ... |
| title_full_unstemmed | Formal description techniques VIII proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 ed. by Gregor v. Bochmann ... |
| title_short | Formal description techniques VIII |
| title_sort | formal description techniques viii proceedings of the ifip tc6 eighth international conference on formal description techniques montreal canada october 1995 |
| title_sub | proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 |
| topic | Datenverarbeitung Electronic data processing Distributed processing Congresses Electronic data processing Distributed processing Protocols Congresses Formal languages Congresses Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| topic_facet | Datenverarbeitung Electronic data processing Distributed processing Congresses Electronic data processing Distributed processing Protocols Congresses Formal languages Congresses Formale Spezifikationstechnik Konferenzschrift 1996 Montréal |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007125937&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bochmanngregorvon formaldescriptiontechniquesviiiproceedingsoftheifiptc6eighthinternationalconferenceonformaldescriptiontechniquesmontrealcanadaoctober1995 AT internationalconferenceonformaldescriptiontechniquesmontreal formaldescriptiontechniquesviiiproceedingsoftheifiptc6eighthinternationalconferenceonformaldescriptiontechniquesmontrealcanadaoctober1995 |