Formal methods at the crossroads: from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2757 : Festschrift |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | XIV, 453 S. Ill. |
| ISBN: | 3540205276 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV017718066 | ||
| 003 | DE-604 | ||
| 005 | 20040507 | ||
| 007 | t| | ||
| 008 | 031210s2003 xxua||| |||| 10||| eng d | ||
| 016 | 7 | |a 969192061 |2 DE-101 | |
| 020 | |a 3540205276 |9 3-540-20527-6 | ||
| 035 | |a (OCoLC)53796797 | ||
| 035 | |a (DE-599)BVBBV017718066 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-384 |a DE-91G |a DE-706 | ||
| 050 | 0 | |a QA76.758 | |
| 082 | 0 | |a 005.1 |2 22 | |
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods at the crossroads |b from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |c Bernhard K. Aichernig, Tom Maibaum (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2003 | |
| 300 | |a XIV, 453 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2757 : Festschrift | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Génie logiciel - Congrès | |
| 650 | 7 | |a Génie logiciel |2 rasuqam | |
| 650 | 7 | |a Méthode formelle |2 rasuqam | |
| 650 | 4 | |a Software engineering |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2002 |z Lissabon |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Aichernig, Bernhard K. |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2757 : Festschrift |w (DE-604)BV000000607 |9 2757 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010651219&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010651219 | |
Datensatz im Suchindex
| _version_ | 1820874930444566528 |
|---|---|
| adam_text |
TABLE OF CONTENTS
IN MEMORIAM ARMANDO MART´*N HAEBERER
.
1
TOM MAIBAUM
WORK AT UNU/IIST
UNU AND UNU/IIST
.
26
ZHOU CHAOCHEN
CONTRACT-BASED TESTING
.
34
BERNHARD K. AICHERNIG
THE DEVELOPMENT OF THE RAISE TOOLS
.
49
CHRIS GEORGE
AN ALGEBRAIC APPROACH TO THE VERILOG PROGRAMMING
.
65
HE JIFENG
REAL-TIME SYSTEMS DEVELOPMENT WITH DURATION CALCULI: AN OVERVIEW
.
81
DANG VAN HUNG
X2REL: AN XML RELATION LANGUAGE WITH FORMAL SEMANTICS
.
97
TOMASZ JANOWSKI
AT THE CROSSROADS
WHERE, EXACTLY, IS SOFTWARE DEVELOPMENT?
.
115
MICHAEL JACKSON
FROM FORMAL TECHNIQUES TO WELL-FOUNDED SOFTWARE
DEVELOPMENT METHODS
.
132
EGIDIO ASTESIANO, GIANNA REGGIO, AND MAURA CERIOLI
TOWARDS THE VERIFYING COMPILER
.
151
TONY HOARE
A GRAND CHALLENGE PROPOSAL FOR FORMAL METHODS: A VERIFIED STACK
.
161
J. STROTHER MOORE
*WHAT IS AN INFRASTRUCTURE?* * TOWARDS AN INFORMATICS ANSWER
.
173
DINES BJOERNER
A FORMAL BASIS FOR SOME DEPENDABILITY NOTIONS
.
191
CLIFF B. JONES
XIV TABLE OF CONTENTS
FROM MODELS TO SOFTWARE
MULTI-VIEW MODELING OF SOFTWARE SYSTEMS
.
207
MANFRED BROY
AN EXECUTABLE SPECIFICATION LANGUAGE BASED
ON MESSAGE SEQUENCE CHARTS
.
226
ABHIK ROYCHOUDHURY AND P.S. THIAGARAJAN
GRAPH-BASED MODELS OF INTERNETWORKING SYSTEMS
.
242
GIANLUIGI FERRARI, UGO MONTANARI, AND EMILIO TUOSTO
SOFTWARE DEVELOPMENT BY REFINEMENT
.
267
DUSKO PAVLOVIC AND DOUGLAS R. SMITH
FORMAL METHODS WITHIN A TOTALLY FUNCTIONAL APPROACH TO PROGRAMMING
.
287
PAUL A. BAILES AND COLIN J.M. KEMP
COORDINATION TECHNOLOGIES FOR JUST-IN-TIME INTEGRATION
.
308
JOS´E LUIZ FIADEIRO
REAL-TIME SYSTEMS
REAL-TIME PROCESS ALGEBRA AND ITS APPLICATIONS
.
322
YINGXU WANG
MAKING TIMED AUTOMATA COMMUNICATE
.
337
JING CHEN AND HUIMIN LIN
A TOOL ARCHITECTURE FOR THE NEXT GENERATION OF
UPPAAL
.
352
ALEXANDRE DAVID, GERD BEHRMANN, KIM G. LARSEN, AND WANG YI
VERIFICATION
VERIFICATION BY ABSTRACTION
.
367
NATARAJAN SHANKAR
COMBINING DECISION PROCEDURES
.
381
ZOHAR MANNA AND CALOGERO G. ZARBA
A THEORY OF HINTS IN MODEL CHECKING
.
423
MARKUS KALTENBACH AND JAYADEV MISRA
TYPE SYSTEMS FOR CONCURRENT PROGRAMS
.
439
NAOKI KOBAYASHI
AUTHOR INDEX
.
455 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV017718066 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 |
| callnumber-search | QA76.758 |
| callnumber-sort | QA 276.758 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)53796797 (DE-599)BVBBV017718066 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV017718066</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040507</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">031210s2003 xxua||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">969192061</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540205276</subfield><subfield code="9">3-540-20527-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53796797</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017718066</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.758</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods at the crossroads</subfield><subfield code="b">from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers</subfield><subfield code="c">Bernhard K. Aichernig, Tom Maibaum (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 453 S.</subfield><subfield code="b">Ill.</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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2757 : Festschrift</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Génie logiciel - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Génie logiciel</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Méthode formelle</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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">2002</subfield><subfield code="z">Lissabon</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Aichernig, Bernhard K.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2757 : Festschrift</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2757</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=010651219&sequence=000001&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-010651219</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Lissabon gnd-content |
| genre_facet | Konferenzschrift 2002 Lissabon |
| id | DE-604.BV017718066 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:34Z |
| institution | BVB |
| isbn | 3540205276 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010651219 |
| oclc_num | 53796797 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-706 |
| physical | XIV, 453 S. Ill. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.) Berlin u.a. Springer 2003 XIV, 453 S. Ill. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2757 : Festschrift Includes bibliographical references and index Génie logiciel - Congrès Génie logiciel rasuqam Méthode formelle rasuqam Software engineering Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Lissabon gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Aichernig, Bernhard K. Sonstige oth Lecture notes in computer science 2757 : Festschrift (DE-604)BV000000607 2757 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010651219&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Lecture notes in computer science Génie logiciel - Congrès Génie logiciel rasuqam Méthode formelle rasuqam Software engineering Congresses Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)1071861417 |
| title | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |
| title_auth | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |
| title_exact_search | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |
| title_full | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.) |
| title_fullStr | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.) |
| title_full_unstemmed | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.) |
| title_short | Formal methods at the crossroads |
| title_sort | formal methods at the crossroads from panacea to foundational support 10th anniversary colloquium of unu iist the international institute for software technology of the united nations university lisbon portugal march 18 20 2002 revised papers |
| title_sub | from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |
| topic | Génie logiciel - Congrès Génie logiciel rasuqam Méthode formelle rasuqam Software engineering Congresses Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Génie logiciel - Congrès Génie logiciel Méthode formelle Software engineering Congresses Formale Methode Softwareentwicklung Konferenzschrift 2002 Lissabon |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010651219&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT aichernigbernhardk formalmethodsatthecrossroadsfrompanaceatofoundationalsupport10thanniversarycolloquiumofunuiisttheinternationalinstituteforsoftwaretechnologyoftheunitednationsuniversitylisbonportugalmarch18202002revisedpapers |