ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice: 24 - 25 April 1995, Seattle, Washington USA
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
[München]
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VI, 220 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010423641 | ||
| 003 | DE-604 | ||
| 005 | 20031209 | ||
| 007 | t | ||
| 008 | 951011s1995 d||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)632498900 | ||
| 035 | |a (DE-599)BVBBV010423641 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-29T | ||
| 084 | |a DAT 315f |2 stub | ||
| 111 | 2 | |a Workshop on Formal Methods Application in Software Engineering Practice |d 1995 |c Seattle, Wash. |j Verfasser |0 (DE-588)1233879-5 |4 aut | |
| 245 | 1 | 0 | |a ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice |b 24 - 25 April 1995, Seattle, Washington USA |c M. Wirsing (ed.) |
| 264 | 1 | |a [München] |c 1995 | |
| 300 | |a VI, 220 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wirsing, Martin |d 1948- |e Sonstige |0 (DE-588)14353582X |4 oth | |
| 711 | 2 | |a International Conference on Software Engineering |n 17 |d 1995 |c Seattle, Wash. |j Sonstige |0 (DE-588)5160622-7 |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=006944523&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006944523 | ||
Datensatz im Suchindex
| _version_ | 1804124854154166272 |
|---|---|
| adam_text | Contents
Foreword
........................................................................................................................
I
Experiences with Formal Methods
Toward Practical Applications of Software Synthesis
......................................................1
D. R. Smith
An Algebraic Specification of a Language for Describing Financial Products
................6
B.R.T. Arnold, A. van Deursen, M. Res
Designing Software for a Radiation Therapy Machine in a Formal Notation
.................14
J. Jacky, J.
Unger
Testing, Prototyping and Reuse
Formal Methods Applied to Conformance Testing
.........................................................22
S. Sankar, M. Hefner
VCR: A VDM-Based Software Component Retrieval Tool
...........................................30
B. Fischer, M. Kievernagel, W.
Struckmann
Merging Formal Methods with Rapid Prototyping
.........................................................39
H. Klaeren, P. Thiemann
Transfer of Formal Methods
Application of Formal Methods to Home Networks
.......................................................47
P. Zave
Embedding Mathematical Techniques in System Engineering
.......................................53
M. Heisel, S.
Jähnichen,
M.
Simons,
M.
Weber
A Methodology Integrating Formal and Informal Software Development
.....................61
B. Paech
Issues Surrounding the Transfer of Formal Methods Technology into the Actual
Workplace
........................................................................................................................69
H. Saiedian, M. G.
Hinchey
III
Experiences with Formal Methods
Experiences Gained from the Use of Formal Languages in Different Software
Development Projects
......................................................................................................77
L.-O.
Kihlström,
J.
Höög, C. Söderblom
Formal Methods: Managing Quality and Development
..................................................85
H. T. G. Weffers
Design Automation: Making Formal Methods Relevant
.................................................93
L. Walton, J. Hook
Formal Specification Techniques in the Commercial Development Process
................101
J. S. Fitzgerald, P. G. Larsen
Requirements Engineering
A Formal Requirements Engineering Method for Real-Time, Concurrent, and
Distributed Systems
.......................................................................................................109
E.
Dubois,
P.
Du Bois,
J.
-M.
Zeippen
Automated Formal Methods for Component-Based Software Development
...............118
M. R. Lowry, T. Pressburger, A. Philpot
Indirect Use of Formal Methods in Software Engineering
............................................126
H.
Hußmann
Components
Implementing Data Structures by Composition of Reusable Components:
A Formal Approach
.......................................................................................................134
M. Nenninger,
F. Nicki
Component Interface Design: A Case For Using RESOLVE
........................................142
M. Sitaraman
Using Generic Specifications in Software Specification and Verification
.....................150
J. Alves-Foss
IV
Concurrency and Real Time
Formally-Driven Friendly Specifications of Concurrent Systems:
A Two-Rail Approach
....................................................................................................158
E. Astesiano, G.
Reggio
A Method for Producing LOTOS Specifications from Real Time Structured
Analysis Specifications
..................................................................................................166
D. Martin, R.
Verbruggen
Experimenting a Logic-Based Approach to the Specification and Design
of the Control System of a Pondage Power Plant
.........................................................174
M. Basso,
E. Ciapessoni, E. Crivelli,
D.
Mandrioli, A. Morzenti,
E. Ratto,
P.
San Pietro
Deriving ANSAware Applications from Formal Specifications
....................................182
B.
Krämer,
G.
Henze,
T.
Koch, N. Völker
Object-Orientation
Object Reification in VDM-H-
.......................................................................................194
S.
Goldsack,
E.
Dürr, N.
Plat
Scheme Evolution in Object-Oriented Models
-
An Algebraic Approach
-.................202
I. Classen, M.
Löwe
Integrating Formal Methods With Object-Oriented Methodologies
.............................212
M.
Dodani,
R. Rupp
Index of Authors
...............................................................·.....................................219
|
| any_adam_object | 1 |
| author_GND | (DE-588)14353582X |
| author_corporate | Workshop on Formal Methods Application in Software Engineering Practice Seattle, Wash |
| author_corporate_role | aut |
| author_facet | Workshop on Formal Methods Application in Software Engineering Practice Seattle, Wash |
| author_sort | Workshop on Formal Methods Application in Software Engineering Practice Seattle, Wash |
| building | Verbundindex |
| bvnumber | BV010423641 |
| classification_tum | DAT 315f |
| ctrlnum | (OCoLC)632498900 (DE-599)BVBBV010423641 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01669nam a2200361 c 4500</leader><controlfield tag="001">BV010423641</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031209 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951011s1995 d||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)632498900</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010423641</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-29T</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Workshop on Formal Methods Application in Software Engineering Practice</subfield><subfield code="d">1995</subfield><subfield code="c">Seattle, Wash.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1233879-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice</subfield><subfield code="b">24 - 25 April 1995, Seattle, Washington USA</subfield><subfield code="c">M. Wirsing (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[München]</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 220 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="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">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="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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">Wirsing, Martin</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)14353582X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Software Engineering</subfield><subfield code="n">17</subfield><subfield code="d">1995</subfield><subfield code="c">Seattle, Wash.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5160622-7</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=006944523&sequence=000002&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-006944523</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV010423641 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:52:16Z |
| institution | BVB |
| institution_GND | (DE-588)1233879-5 (DE-588)5160622-7 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006944523 |
| oclc_num | 632498900 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-29T |
| owner_facet | DE-91G DE-BY-TUM DE-29T |
| physical | VI, 220 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| spelling | Workshop on Formal Methods Application in Software Engineering Practice 1995 Seattle, Wash. Verfasser (DE-588)1233879-5 aut ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice 24 - 25 April 1995, Seattle, Washington USA M. Wirsing (ed.) [München] 1995 VI, 220 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Formale Methode (DE-588)4333722-3 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Software Engineering (DE-588)4116521-4 s Formale Methode (DE-588)4333722-3 s DE-604 Wirsing, Martin 1948- Sonstige (DE-588)14353582X oth International Conference on Software Engineering 17 1995 Seattle, Wash. Sonstige (DE-588)5160622-7 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006944523&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice 24 - 25 April 1995, Seattle, Washington USA Formale Methode (DE-588)4333722-3 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116521-4 (DE-588)1071861417 |
| title | ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice 24 - 25 April 1995, Seattle, Washington USA |
| title_auth | ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice 24 - 25 April 1995, Seattle, Washington USA |
| title_exact_search | ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice 24 - 25 April 1995, Seattle, Washington USA |
| title_full | ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice 24 - 25 April 1995, Seattle, Washington USA M. Wirsing (ed.) |
| title_fullStr | ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice 24 - 25 April 1995, Seattle, Washington USA M. Wirsing (ed.) |
| title_full_unstemmed | ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice 24 - 25 April 1995, Seattle, Washington USA M. Wirsing (ed.) |
| title_short | ICSE 17 Workshop on Formal Methods Application in Software Engineering Practice |
| title_sort | icse 17 workshop on formal methods application in software engineering practice 24 25 april 1995 seattle washington usa |
| title_sub | 24 - 25 April 1995, Seattle, Washington USA |
| topic | Formale Methode (DE-588)4333722-3 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Formale Methode Software Engineering Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006944523&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT workshoponformalmethodsapplicationinsoftwareengineeringpracticeseattlewash icse17workshoponformalmethodsapplicationinsoftwareengineeringpractice2425april1995seattlewashingtonusa AT wirsingmartin icse17workshoponformalmethodsapplicationinsoftwareengineeringpractice2425april1995seattlewashingtonusa AT internationalconferenceonsoftwareengineeringseattlewash icse17workshoponformalmethodsapplicationinsoftwareengineeringpractice2425april1995seattlewashingtonusa |