6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Refinement Workshop London (VerfasserIn)
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: London u.a. Springer 1994
Schriftenreihe:Workshops in computing
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 c 4500
001 BV009910786
003 DE-604
007 t|
008 941122s1994 xx d||| |||| 10||| eng d
016 7 |a 952458985  |2 DE-101 
020 |a 3540198865  |9 3-540-19886-5 
020 |a 0387198865  |9 0-387-19886-5 
035 |a (OCoLC)30439114 
035 |a (DE-599)BVBBV009910786 
040 |a DE-604  |b ger  |e rakddb 
041 0 |a eng 
049 |a DE-739  |a DE-384  |a DE-11 
050 0 |a QA76.76.D47 
082 0 |a 005.1  |2 20 
111 2 |a Refinement Workshop  |n 6  |d 1994  |c London  |j Verfasser  |0 (DE-588)5112553-5  |4 aut 
245 1 0 |a 6th Refinement Workshop  |b proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994  |c David Till (ed.) 
264 1 |a London u.a.  |b Springer  |c 1994 
300 |a X, 305 S.  |b graph. Darst. 
336 |b txt  |2 rdacontent 
337 |b n  |2 rdamedia 
338 |b nc  |2 rdacarrier 
490 0 |a Workshops in computing 
650 7 |a Programmatuurtechniek  |2 gtt 
650 4 |a Computer software  |x Development  |v Congresses 
650 0 7 |a Softwareentwicklung  |0 (DE-588)4116522-6  |2 gnd  |9 rswk-swf 
650 0 7 |a Verfeinerung  |0 (DE-588)4267759-2  |2 gnd  |9 rswk-swf 
655 7 |0 (DE-588)1071861417  |a Konferenzschrift  |y 1994  |z London  |2 gnd-content 
689 0 0 |a Softwareentwicklung  |0 (DE-588)4116522-6  |D s 
689 0 1 |a Verfeinerung  |0 (DE-588)4267759-2  |D s 
689 0 |5 DE-604 
700 1 |a Till, David  |e Sonstige  |4 oth 
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=006564987&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA  |3 Inhaltsverzeichnis 
943 1 |a oai:aleph.bib-bvb.de:BVB01-006564987 

Datensatz im Suchindex

_version_ 1822410423128817664
adam_text CONTENTS INVITED PAPERS USING REFINEMENT TO UNDERSTAND ARCHITECTURAL CONNECTION D. GARLAN . 3 FORMAL SEMANTICS FOR WARD AND MELLOR ' S TRANSFORMATION SCHEMAS C. PETERSOHN, W.-P. DE ROEVER, C. HUIZING AND J. PELESKA . 14 SUBMITTED PAPERS IMPROVING THE PROCESS OF SYSTEM SPECIFICATION AND REFINEMENT IN B K. LANO AND H. HAUGHTON . 45 TESTING AND SAFETY ANALYSIS OF AM (ABSTRACT MACHINE) SPECIFICATIONS H.P. HAUGHTON AND K. LANO . 69 FORMAL DEVELOPMENT OF AUTHENTICATION PROTOCOLS P. BIEBER AND N. BOULAHIA-CUPPENS . 80 DERIVING LANGUAGE RECOGNITION ALGORITHMS: A CASE STUDY IN COMBINING PROGRAM SPECIALISATION AND DATA REFINEMENT L. GROVES . 103 PROGRAM REFINEMENT BY THEOREM PROVER J. VON WRIGHT . 121 CO-REFINEMENT M. AINSWORTH AND P.J.L. WALLIS . 151 METAVARIABLES AND CONDITIONAL REFINEMENTS IN THE REFINEMENT CALCULUS R.G. NICKSON AND L.J. GROVES . 167 MACHINE CODE PROGRAMS ARE PREDICATES TOO T.S. NORVELL . 188 LAWS OF PARALLEL PROGRAMMING WITH SHARED VARIABLES X. QIWEN AND H. JIFENG . 205 ENVIRONMENT-BASED DEVELOPMENT OF REACTIVE SYSTEMS Y. LEDRU AND P. COLLETTE . 217 REFINEMENT IN OBJECT-ORIENTED SPECIFICATION LANGUAGES K. LANO . 236 OPERATION SEMANTICS WITH READ AND WRITE FRAMES J. BICARREGUI . 260 PROOF OBLIGATIONS FOR REAL-TIME REFINEMENT C. FIDGE . 279 AUTHOR INDEX . 307
any_adam_object 1
author_corporate Refinement Workshop London
author_corporate_role aut
author_facet Refinement Workshop London
author_sort Refinement Workshop London
building Verbundindex
bvnumber BV009910786
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.76.D47
callnumber-search QA76.76.D47
callnumber-sort QA 276.76 D47
callnumber-subject QA - Mathematics
classification_rvk SS 1994
ctrlnum (OCoLC)30439114
(DE-599)BVBBV009910786
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 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">BV009910786</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">941122s1994 xx d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952458985</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540198865</subfield><subfield code="9">3-540-19886-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387198865</subfield><subfield code="9">0-387-19886-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30439114</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009910786</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">20</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Refinement Workshop</subfield><subfield code="n">6</subfield><subfield code="d">1994</subfield><subfield code="c">London</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5112553-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">6th Refinement Workshop</subfield><subfield code="b">proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994</subfield><subfield code="c">David Till (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 305 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="490" ind1="0" ind2=" "><subfield code="a">Workshops in computing</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="v">Congresses</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">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</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">1994</subfield><subfield code="z">London</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">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</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">Till, David</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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&amp;doc_library=BVB01&amp;local_base=BVB01&amp;doc_number=006564987&amp;sequence=000001&amp;line_number=0001&amp;func_code=DB_RECORDS&amp;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-006564987</subfield></datafield></record></collection>
genre (DE-588)1071861417 Konferenzschrift 1994 London gnd-content
genre_facet Konferenzschrift 1994 London
id DE-604.BV009910786
illustrated Illustrated
indexdate 2025-01-27T13:53:34Z
institution BVB
institution_GND (DE-588)5112553-5
isbn 3540198865
0387198865
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-006564987
oclc_num 30439114
open_access_boolean
owner DE-739
DE-384
DE-11
owner_facet DE-739
DE-384
DE-11
physical X, 305 S. graph. Darst.
publishDate 1994
publishDateSearch 1994
publishDateSort 1994
publisher Springer
record_format marc
series2 Workshops in computing
spelling Refinement Workshop 6 1994 London Verfasser (DE-588)5112553-5 aut
6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994 David Till (ed.)
London u.a. Springer 1994
X, 305 S. graph. Darst.
txt rdacontent
n rdamedia
nc rdacarrier
Workshops in computing
Programmatuurtechniek gtt
Computer software Development Congresses
Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf
Verfeinerung (DE-588)4267759-2 gnd rswk-swf
(DE-588)1071861417 Konferenzschrift 1994 London gnd-content
Softwareentwicklung (DE-588)4116522-6 s
Verfeinerung (DE-588)4267759-2 s
DE-604
Till, David Sonstige oth
DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006564987&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle 6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994
Programmatuurtechniek gtt
Computer software Development Congresses
Softwareentwicklung (DE-588)4116522-6 gnd
Verfeinerung (DE-588)4267759-2 gnd
subject_GND (DE-588)4116522-6
(DE-588)4267759-2
(DE-588)1071861417
title 6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994
title_auth 6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994
title_exact_search 6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994
title_full 6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994 David Till (ed.)
title_fullStr 6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994 David Till (ed.)
title_full_unstemmed 6th Refinement Workshop proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994 David Till (ed.)
title_short 6th Refinement Workshop
title_sort 6th refinement workshop proceedings of the 6th refinement workshop organised by bcs facs london 5 7 january 1994
title_sub proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London 5-7 January 1994
topic Programmatuurtechniek gtt
Computer software Development Congresses
Softwareentwicklung (DE-588)4116522-6 gnd
Verfeinerung (DE-588)4267759-2 gnd
topic_facet Programmatuurtechniek
Computer software Development Congresses
Softwareentwicklung
Verfeinerung
Konferenzschrift 1994 London
url http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006564987&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv AT refinementworkshoplondon 6threfinementworkshopproceedingsofthe6threfinementworkshoporganisedbybcsfacslondon57january1994
AT tilldavid 6threfinementworkshopproceedingsofthe6threfinementworkshoporganisedbybcsfacslondon57january1994