Protocol specification, testing and verification XIV:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
London [u.a.]
Chapman & Hall
1995
|
| Edition: | 1. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VII, 402 S. graph. Darst. |
| ISBN: | 0412636409 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010838129 | ||
| 003 | DE-604 | ||
| 005 | 19960829 | ||
| 007 | t| | ||
| 008 | 960709s1995 xx d||| |||| 10||| engod | ||
| 020 | |a 0412636409 |9 0-412-63640-9 | ||
| 035 | |a (OCoLC)33070731 | ||
| 035 | |a (DE-599)BVBBV010838129 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 | ||
| 050 | 0 | |a TK5105.55 | |
| 082 | 0 | |a 004.62 |b If52p, 1994 |2 20 | |
| 084 | |a DAT 252f |2 stub | ||
| 245 | 1 | 0 | |a Protocol specification, testing and verification XIV |c ed. by Son T. Vuong ... |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a London [u.a.] |b Chapman & Hall |c 1995 | |
| 300 | |a VII, 402 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Protocoles de réseaux d'ordinateurs - Congrès |2 ram | |
| 650 | 4 | |a Computer network protocols |v Congresses | |
| 650 | 0 | 7 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Vuong, Son T. |e Sonstige |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=007244777&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007244777 | |
Record in the Search Index
| _version_ | 1820882559372886016 |
|---|---|
| adam_text |
CONTENTS
Preface
viii
Committee Members and Invited Speakers
ix
List of Referees
χ
FULL PAPERS
SESSION ONE FDTs and Enhancements
1
A refinement logic for the fork calculus
5
K. Havelund
and K.G. Larsen
2
Specialization in
Estelle
21
R.
Gotzhein and G.v. Bochmann
3
About time nondeterminism and exception handling in a temporal
extension of LOTOS
37
J.P. Courtiat and R.C.
de Oliveira
Invited Address I
Cache consistency by design
53
E. Brìnksma
SESSION TWO Verification Methodology Based on FDTs
1
Feature interaction detection using backward reasoning with LOTOS
71
B. Stepien and L. Logrippo
2
Verification of the ISO ROSE protocol specified in
Estelle
87
A. Jirachiefpattana and R. Lai
3
Protocol conformance test case verification using timed-transitions
103
K. Naik and B. Sarikaya
SESSION THREE Testing- Architecture, Fault Coverage and Interoperability
1
Design of reliable architecture for testing timed behavior of
OSI
protocols
121
K. Naik
2
Towards evaluating fault coverage of protocol test sequences
137
J. Zhu and
5.7!
Chanson
3
Verification by abstraction as a preamble for interoperability test suite generation
152
P.
de
Saqui-Sannes, J.-P. Courtiat and R. Casadessus
vi
Contents
SESSION
FOUR Protocol Specification and Design Methodology
1
Protocol synchronization with sparse timestamps
169
JA.
Cobb, M.G.
Gouda
and P. Agrawal
2
On specifying services and synthesizing protocols for real-time applications
185
A. Khoumsi, G.v. Bochmann andR. Dssouli
3
Structural decomposition
201
At.
Hultström
Invited Address
Π
-
Abstract
ATM Networks: Issues and Challenges Ahead
217
R. Jain
SESSION FIVE Testing
-
Theoretical Issues
1
Abstract testing and concrete testers
221
M. Phalippou
2
On finite covering of infinite spaces for protocol test selection
237
M. Mori and S.T. Vuong
3
Failure-based congruences, unfair divergences and new testing theory
252
G. Leduc
SESSION SIX Verification Methods
1
Generalized fair reachability analysis for cyclic protocols: part
1 271
H. Liu and R.E. Miller
2
A method for verifying liveness of protocols modeled as a class of ECFSM
287
M. Higuchi, S. Sugawa and M. Fuijii
3
Specifying and verifying conditional progress
303
K.L Calvert
SHORT PAPERS
SESSION SEVEN Modelling and Verification of Realtime Systems
1
Automatic verification of real-time systems using
epsilon
323
J.C.
Godskesen, K.G. Larsen and A. Skou
2
Validation of timing properties for interoperability in distributed
real-time applications
331
Y. Benkhellat and J.-P. Thomesse
3
Compositional specification and verification of high-speed transfer protocols
339
P. Herrmann and H.
Krumm
Contents
Invited Address
III
-
Abstract
Putting information infrastructure on the technology curve
347
D.L Tennenhouse
SESSION EIGHT Testing
-
Tools and Methods
1
Computer supported test generation from SDL specifications
351
A. Ek, J. Ellsberger and A. Wiles
2
Automatic ASN.
1
constraint generation for testing purposes
359
E. Kwast
3
A methodology for conformance testing of managed objects
367
B. Baer and A. Mann
SESSION NINE FDT-Based Design, Specification and Implementation
1
Hardware synthesis from a restricted class of LOTOS expressions
379
T. Higashino, K. Yasumoto, J. Kitamichi and K. Taniguchi
2
Increasing the efficiency of computer-aided protocol implementations
387
T. Held and H. Koenig
3
Functional approach to protocols specification
395
/.
Bojanowski, M. Iglewski, J. Madey and A. Obaid
Index of contributors
403
Keyword index
404 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010838129 |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.55 |
| callnumber-search | TK5105.55 |
| callnumber-sort | TK 45105.55 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | SS 1994 |
| classification_tum | DAT 252f |
| ctrlnum | (OCoLC)33070731 (DE-599)BVBBV010838129 |
| 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 | 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">BV010838129</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960829</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960709s1995 xx d||| |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0412636409</subfield><subfield code="9">0-412-63640-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33070731</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010838129</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></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK5105.55</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.62</subfield><subfield code="b">If52p, 1994</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 252f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Protocol specification, testing and verification XIV</subfield><subfield code="c">ed. by Son T. Vuong ...</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">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 402 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="7"><subfield code="a">Protocoles de réseaux d'ordinateurs - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</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">Vuong, Son T.</subfield><subfield code="e">Sonstige</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=007244777&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-007244777</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV010838129 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:50Z |
| institution | BVB |
| isbn | 0412636409 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007244777 |
| oclc_num | 33070731 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 |
| owner_facet | DE-91G DE-BY-TUM DE-739 |
| physical | VII, 402 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Chapman & Hall |
| record_format | marc |
| spelling | Protocol specification, testing and verification XIV ed. by Son T. Vuong ... 1. ed. London [u.a.] Chapman & Hall 1995 VII, 402 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Protocoles de réseaux d'ordinateurs - Congrès ram Computer network protocols Congresses Kommunikationsprotokoll (DE-588)4128252-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Kommunikationsprotokoll (DE-588)4128252-8 s DE-604 Vuong, Son T. Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007244777&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Protocol specification, testing and verification XIV Protocoles de réseaux d'ordinateurs - Congrès ram Computer network protocols Congresses Kommunikationsprotokoll (DE-588)4128252-8 gnd |
| subject_GND | (DE-588)4128252-8 (DE-588)1071861417 |
| title | Protocol specification, testing and verification XIV |
| title_auth | Protocol specification, testing and verification XIV |
| title_exact_search | Protocol specification, testing and verification XIV |
| title_full | Protocol specification, testing and verification XIV ed. by Son T. Vuong ... |
| title_fullStr | Protocol specification, testing and verification XIV ed. by Son T. Vuong ... |
| title_full_unstemmed | Protocol specification, testing and verification XIV ed. by Son T. Vuong ... |
| title_short | Protocol specification, testing and verification XIV |
| title_sort | protocol specification testing and verification xiv |
| topic | Protocoles de réseaux d'ordinateurs - Congrès ram Computer network protocols Congresses Kommunikationsprotokoll (DE-588)4128252-8 gnd |
| topic_facet | Protocoles de réseaux d'ordinateurs - Congrès Computer network protocols Congresses Kommunikationsprotokoll Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007244777&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT vuongsont protocolspecificationtestingandverificationxiv |