Formal methods and software engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Schriftenreihe: | Lecture Notes in Computer Science
3785 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 496 S. Ill., graph. Darst. |
| ISBN: | 9783540297970 3540297979 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV020873485 | ||
| 003 | DE-604 | ||
| 005 | 20220117 | ||
| 007 | t | ||
| 008 | 051117s2005 gw ad|| |||| 10||| eng d | ||
| 015 | |a 05,N44,0015 |2 dnb | ||
| 016 | 7 | |a 976632691 |2 DE-101 | |
| 020 | |a 9783540297970 |9 978-3-540-29797-0 | ||
| 020 | |a 3540297979 |c : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.) |9 3-540-29797-9 | ||
| 024 | 3 | |a 9783540297970 | |
| 028 | 5 | 2 | |a 11576280 |
| 035 | |a (OCoLC)633884993 | ||
| 035 | |a (DE-599)BVBBV020873485 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-739 |a DE-91G |a DE-83 |a DE-11 |a DE-706 | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 510 |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310 |2 stub | ||
| 245 | 1 | 0 | |a Formal methods and software engineering |b 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings |c Kung-Kiu Lau ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a XIV, 496 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 3785 | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a UML |0 (DE-588)4469781-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2005 |z Manchester |2 gnd-content | |
| 689 | 0 | 0 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 2 | 1 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a UML |0 (DE-588)4469781-8 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 4 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Lau, Kung-Kiu |d 1953- |e Sonstige |0 (DE-588)122952502 |4 oth | |
| 711 | 2 | |a International Conference on Formal Engineering Methods |n 7 |d 2005 |c Manchester |j Sonstige |0 (DE-588)10120133-3 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 3785 |w (DE-604)BV000000607 |9 3785 | |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014195196&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014195196 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804134601178742784 |
|---|---|
| adam_text | Table of Contents
Invited Talks
Realising the Benefits of Formal Methods
Anthony Hall
A Compositional Framework for Service Interaction Patterns and
Interaction Flows
Alistair
An Evidential Tool Bus
John Rushby
Specification
Derivation of UML Class Diagrams as Static Views of Formal B
Developments
Akram Idani,
29
Harald Fecher, Jens Schönborn,
Wülem-Paul de Roever......................................... 52
The Semantics and Tool Support of OZTA
Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang
Modelling
An Abstract Model for Process Mediation
Michael Altenhofen,
How Symbolic Animation Can Help Designing an Efficient Formal Model
Fabrice
Security
A Theory of Secure Control Flow
Martin
Game Semantics Model for Security Protocols
Mourad Debbabi,
XII Table of Contents
Communication
Towards Dynamically Communicating Abstract Machines in the B
Method
Nazareno Aguirre, Marcelo
Tom Maibaum
Sweep-Line Analysis of TCP Connection Management
Guy Edward Gallasch, Bing Han, Jonathan Billington
2/3
Yanjun Wen, Ji Wang, Zhichang Qi
Development
Formal Model-Driven Development of Communicating Systems
Linas
Malik
Jahuel:
/.
S. Yovine
Modelling and Refinement of an On-Chip Communication Architecture
Juha Plosüa,
Testing
Finding Bugs in Network Protocols Using Simulation Code and
Protocol-Specific Heuristics
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov,
Jennifer C. Hou
Adaptive Random Testing by Bisection with Restriction
Johannes Mayer
Testing Real-Time
Laura
Verification
Formal Verification of a Memory Model for C-Like Imperative
Languages
Sandrine Blazy, Xavier
Table of Contents XIII
Symbolic Verification of Distributed Real-Time Systems with Complex
Synchronizations
Farn
An Improved Rule for While Loops in Deductive Program Verification
Bernhard Bechert, Steffen Schlager, Peter
Using
Byron Cook, Georges Gonthier
Automatic Refinement Checking for B
Michael Leuschel, Michael Butler
Slicing an Integrated Formal Method for Verification
Ingo
A Static Communication Elimination Algorithm for Distributed System
Verification
Francese
Incremental Verification of Owicki/Gries Proof Outlines Using PVS
Arjan J. Mooij, Wieger Wesselink
Using Three-Valued Logic to Specify and Verify Algorithms of
Computational Geometry
Jens Brandt, Klaus Schneider
Tools
An Automated Approach to Specification-Based Program Inspection
Shaoying Liu, Furniko Nagoya, Yuting Chen, Masashi Goya,
John A. McDermid
Visualizing and Simulating Semantic Web Services Ontologies
Jun Sun, Yuan Fang
A Model-to-Implementation Mapping Tool for Automated Model-Based
GUI Testing
Ana C.R. Paiva,
Raul A.M.
ClawZ: Cost-Bffective Formal Verification for Control Systems
MM. Adams, P.B. Clayton
SVG Web Environment for Z Specification Language
Jing Sun,
Author Index
|
| adam_txt |
Table of Contents
Invited Talks
Realising the Benefits of Formal Methods
Anthony Hall
A Compositional Framework for Service Interaction Patterns and
Interaction Flows
Alistair
An Evidential Tool Bus
John Rushby
Specification
Derivation of UML Class Diagrams as Static Views of Formal B
Developments
Akram Idani,
29
Harald Fecher, Jens Schönborn,
Wülem-Paul de Roever. 52
The Semantics and Tool Support of OZTA
Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang
Modelling
An Abstract Model for Process Mediation
Michael Altenhofen,
How Symbolic Animation Can Help Designing an Efficient Formal Model
Fabrice
Security
A Theory of Secure Control Flow
Martin
Game Semantics Model for Security Protocols
Mourad Debbabi,
XII Table of Contents
Communication
Towards Dynamically Communicating Abstract Machines in the B
Method
Nazareno Aguirre, Marcelo
Tom Maibaum
Sweep-Line Analysis of TCP Connection Management
Guy Edward Gallasch, Bing Han, Jonathan Billington
2/3
Yanjun Wen, Ji Wang, Zhichang Qi
Development
Formal Model-Driven Development of Communicating Systems
Linas
Malik
Jahuel:
/.
S. Yovine
Modelling and Refinement of an On-Chip Communication Architecture
Juha Plosüa,
Testing
Finding Bugs in Network Protocols Using Simulation Code and
Protocol-Specific Heuristics
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov,
Jennifer C. Hou
Adaptive Random Testing by Bisection with Restriction
Johannes Mayer
Testing Real-Time
Laura
Verification
Formal Verification of a Memory Model for C-Like Imperative
Languages
Sandrine Blazy, Xavier
Table of Contents XIII
Symbolic Verification of Distributed Real-Time Systems with Complex
Synchronizations
Farn
An Improved Rule for While Loops in Deductive Program Verification
Bernhard Bechert, Steffen Schlager, Peter
Using
Byron Cook, Georges Gonthier
Automatic Refinement Checking for B
Michael Leuschel, Michael Butler
Slicing an Integrated Formal Method for Verification
Ingo
A Static Communication Elimination Algorithm for Distributed System
Verification
Francese
Incremental Verification of Owicki/Gries Proof Outlines Using PVS
Arjan J. Mooij, Wieger Wesselink
Using Three-Valued Logic to Specify and Verify Algorithms of
Computational Geometry
Jens Brandt, Klaus Schneider
Tools
An Automated Approach to Specification-Based Program Inspection
Shaoying Liu, Furniko Nagoya, Yuting Chen, Masashi Goya,
John A. McDermid
Visualizing and Simulating Semantic Web Services Ontologies
Jun Sun, Yuan Fang
A Model-to-Implementation Mapping Tool for Automated Model-Based
GUI Testing
Ana C.R. Paiva,
Raul A.M.
ClawZ: Cost-Bffective Formal Verification for Control Systems
MM. Adams, P.B. Clayton
SVG Web Environment for Z Specification Language
Jing Sun,
Author Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_GND | (DE-588)122952502 |
| building | Verbundindex |
| bvnumber | BV020873485 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510 DAT 310 |
| ctrlnum | (OCoLC)633884993 (DE-599)BVBBV020873485 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03104nam a2200709 cb4500</leader><controlfield tag="001">BV020873485</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220117 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">051117s2005 gw ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N44,0015</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">976632691</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540297970</subfield><subfield code="9">978-3-540-29797-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540297979</subfield><subfield code="c">: EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)</subfield><subfield code="9">3-540-29797-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540297970</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11576280</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633884993</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020873485</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods and software engineering</subfield><subfield code="b">7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings</subfield><subfield code="c">Kung-Kiu Lau ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 496 S.</subfield><subfield code="b">Ill., 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="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">3785</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="650" ind1="0" ind2="7"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</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">2005</subfield><subfield code="z">Manchester</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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="689" ind1="1" 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="1" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lau, Kung-Kiu</subfield><subfield code="d">1953-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)122952502</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Formal Engineering Methods</subfield><subfield code="n">7</subfield><subfield code="d">2005</subfield><subfield code="c">Manchester</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10120133-3</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">3785</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3785</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</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=014195196&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014195196</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2005 Manchester gnd-content |
| genre_facet | Konferenzschrift 2005 Manchester |
| id | DE-604.BV020873485 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:26:46Z |
| indexdate | 2024-07-09T20:27:12Z |
| institution | BVB |
| institution_GND | (DE-588)10120133-3 |
| isbn | 9783540297970 3540297979 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014195196 |
| oclc_num | 633884993 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-83 DE-11 DE-706 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-83 DE-11 DE-706 |
| physical | XIV, 496 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings Kung-Kiu Lau ... (eds.) Berlin [u.a.] Springer 2005 XIV, 496 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 3785 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf UML (DE-588)4469781-8 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Manchester gnd-content Softwarespezifikation (DE-588)4056186-0 s Formale Methode (DE-588)4333722-3 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Verifikation (DE-588)4135577-5 s Programmanalyse (DE-588)4175841-9 s Model Checking (DE-588)4434799-6 s UML (DE-588)4469781-8 s Software Engineering (DE-588)4116521-4 s 1\p DE-604 Lau, Kung-Kiu 1953- Sonstige (DE-588)122952502 oth International Conference on Formal Engineering Methods 7 2005 Manchester Sonstige (DE-588)10120133-3 oth Lecture Notes in Computer Science 3785 (DE-604)BV000000607 3785 Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014195196&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings Lecture Notes in Computer Science Softwareentwicklung (DE-588)4116522-6 gnd UML (DE-588)4469781-8 gnd Software Engineering (DE-588)4116521-4 gnd Verifikation (DE-588)4135577-5 gnd Softwarespezifikation (DE-588)4056186-0 gnd Formale Methode (DE-588)4333722-3 gnd Model Checking (DE-588)4434799-6 gnd Programmanalyse (DE-588)4175841-9 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4469781-8 (DE-588)4116521-4 (DE-588)4135577-5 (DE-588)4056186-0 (DE-588)4333722-3 (DE-588)4434799-6 (DE-588)4175841-9 (DE-588)1071861417 |
| title | Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings |
| title_auth | Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings |
| title_exact_search | Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings |
| title_exact_search_txtP | Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings |
| title_full | Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings Kung-Kiu Lau ... (eds.) |
| title_fullStr | Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings Kung-Kiu Lau ... (eds.) |
| title_full_unstemmed | Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings Kung-Kiu Lau ... (eds.) |
| title_short | Formal methods and software engineering |
| title_sort | formal methods and software engineering 7th international conference on formal engineering methods icfem 2005 manchester uk november 1 4 2005 proceedings |
| title_sub | 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 -4, 2005 ; proceedings |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd UML (DE-588)4469781-8 gnd Software Engineering (DE-588)4116521-4 gnd Verifikation (DE-588)4135577-5 gnd Softwarespezifikation (DE-588)4056186-0 gnd Formale Methode (DE-588)4333722-3 gnd Model Checking (DE-588)4434799-6 gnd Programmanalyse (DE-588)4175841-9 gnd |
| topic_facet | Softwareentwicklung UML Software Engineering Verifikation Softwarespezifikation Formale Methode Model Checking Programmanalyse Konferenzschrift 2005 Manchester |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014195196&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT laukungkiu formalmethodsandsoftwareengineering7thinternationalconferenceonformalengineeringmethodsicfem2005manchesteruknovember142005proceedings AT internationalconferenceonformalengineeringmethodsmanchester formalmethodsandsoftwareengineering7thinternationalconferenceonformalengineeringmethodsicfem2005manchesteruknovember142005proceedings |