Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice March 4 - 5, Clearwater Beach, Florida, USA
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York
ACM
1998
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012037503 | ||
| 003 | DE-604 | ||
| 005 | 19981102 | ||
| 007 | t| | ||
| 008 | 980702s1998 xx d||| |||| 10||| eng d | ||
| 020 | |a 0897919548 |9 0-89791-954-8 | ||
| 035 | |a (OCoLC)246470597 | ||
| 035 | |a (DE-599)BVBBV012037503 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 | ||
| 084 | |a DAT 510f |2 stub | ||
| 111 | 2 | |a Workshop on Formal Methods in Software Practice |n 2 |d 1998 |c Clearwater Beach, Fla. |j Verfasser |0 (DE-588)1402483-4 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice |b March 4 - 5, Clearwater Beach, Florida, USA |c ed. by Mark Ardis |
| 264 | 1 | |a New York |b ACM |c 1998 | |
| 300 | |a V, 109 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Ardis, Mark |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=008145517&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008145517 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 510f 2001 B 3540 |
|---|---|
| DE-BY-TUM_katkey | 948862 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020244695 |
| _version_ | 1822410257968660480 |
| adam_text |
Table
of
Contents
Organizing Committee
.iv
Foreward
.
v
Verification Techniques
Automatic Verification of Railway Interlocking Systems: A Case Study
.1
Jakob Lyng Petersen
Property Specification Patterns for Finite-State Verification
.7
Matthew B. Dwyer, George S. Avrunin, and James C. Corbett
Experiences in Verifying Parallel Simulation Algorithms
.16
John Penix, Dale Martin, Peter
Frey,
Ramanan
Radharkrishna, Perry Alexander, and Philip A. Wilsey
Control Systems
Controller Synthesis for the Production Cell Case Study
.24
Helmut Melcher and Klaus
Winkelmann
Checking Properties of Safety Critical Specifications Using Efficient Decision Procedures
.34
David Y.W. Park, Jens U. Skakkebaek, Mats
P.E.
Heimdahl, Barbara J. Czemy, and David L· Dill
Specifying the Mode Logic of a Flight Guidance System in CoRE and SCR
.44
Steven P. Miller
Communication Services and Protocols
The experimental
Estelle
Compiler—Automatic Generation of Implementations from Formal Specifications
.54
Joachim
Thees
and
Reinhard Gotzhein
Service specifications to B, or not to
В
.62
Bruno Mermet and Dominique
Мету
Verification of an Audio Control Protocol within Real Time Process Algebra
.70
Liang Chen
Technology Transfer
Formal Specification and Validation at Work: A Case Study using VDM-SL
.78
Sten
Agerholm, Pierre-Jean Lecoeur, and
Etienne
Reichert
Low-Cost Pathways Towards Formal Methods Use
.85
Martin S. Feather
Applying the SCR Requirements Method to a Weapons Control Panel: An Experience Report
.92
Constance Heitmeyer, James Kirby, and Bruce Labaw
Keynote Address
Designing executable abstractions
.103
Gerard Holz/nann
Author Index
.109
Ш |
| any_adam_object | 1 |
| author_corporate | Workshop on Formal Methods in Software Practice Clearwater Beach, Fla |
| author_corporate_role | aut |
| author_facet | Workshop on Formal Methods in Software Practice Clearwater Beach, Fla |
| author_sort | Workshop on Formal Methods in Software Practice Clearwater Beach, Fla |
| building | Verbundindex |
| bvnumber | BV012037503 |
| classification_rvk | SS 1998 |
| classification_tum | DAT 510f |
| ctrlnum | (OCoLC)246470597 (DE-599)BVBBV012037503 |
| discipline | Informatik |
| 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">BV012037503</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981102</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980702s1998 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897919548</subfield><subfield code="9">0-89791-954-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246470597</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012037503</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="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Workshop on Formal Methods in Software Practice</subfield><subfield code="n">2</subfield><subfield code="d">1998</subfield><subfield code="c">Clearwater Beach, Fla.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1402483-4</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice</subfield><subfield code="b">March 4 - 5, Clearwater Beach, Florida, USA</subfield><subfield code="c">ed. by Mark Ardis</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">ACM</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 109 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="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="700" ind1="1" ind2=" "><subfield code="a">Ardis, Mark</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=008145517&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-008145517</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV012037503 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:50:56Z |
| institution | BVB |
| institution_GND | (DE-588)1402483-4 |
| isbn | 0897919548 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008145517 |
| oclc_num | 246470597 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 |
| owner_facet | DE-91G DE-BY-TUM DE-739 |
| physical | V, 109 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | ACM |
| record_format | marc |
| spelling | Workshop on Formal Methods in Software Practice 2 1998 Clearwater Beach, Fla. Verfasser (DE-588)1402483-4 aut Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice March 4 - 5, Clearwater Beach, Florida, USA ed. by Mark Ardis New York ACM 1998 V, 109 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier (DE-588)1071861417 Konferenzschrift gnd-content Ardis, Mark Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008145517&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice March 4 - 5, Clearwater Beach, Florida, USA |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice March 4 - 5, Clearwater Beach, Florida, USA |
| title_auth | Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice March 4 - 5, Clearwater Beach, Florida, USA |
| title_exact_search | Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice March 4 - 5, Clearwater Beach, Florida, USA |
| title_full | Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice March 4 - 5, Clearwater Beach, Florida, USA ed. by Mark Ardis |
| title_fullStr | Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice March 4 - 5, Clearwater Beach, Florida, USA ed. by Mark Ardis |
| title_full_unstemmed | Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice March 4 - 5, Clearwater Beach, Florida, USA ed. by Mark Ardis |
| title_short | Proceedings of FMSP '98, the Second Workshop on Formal Methods in Software Practice |
| title_sort | proceedings of fmsp 98 the second workshop on formal methods in software practice march 4 5 clearwater beach florida usa |
| title_sub | March 4 - 5, Clearwater Beach, Florida, USA |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008145517&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT workshoponformalmethodsinsoftwarepracticeclearwaterbeachfla proceedingsoffmsp98thesecondworkshoponformalmethodsinsoftwarepracticemarch45clearwaterbeachfloridausa AT ardismark proceedingsoffmsp98thesecondworkshoponformalmethodsinsoftwarepracticemarch45clearwaterbeachfloridausa |