5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992

indgår i serie Workshops in Computing


5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992
Format:
Bog, hæftet
Udgivelsesdato:
01-10-1992
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software specifications, which is the transformation of formal software specifications into more correct specifications, designs and codes. This has been an important area of research for the last 5 years and the workshop addressed specific issues and problems related to it. Among the topics discussed in this volume are: the role of refinement in software development, parallel designs and implementations, methods and tools for verification of critical properties, refinement and confidentiality, concurrent processes as objects, the compliance of Ada programs with Z specifications and a tactic driven refinement tool. This is the latest refinement workshop proceedings to be published in the Workshops in Computing series (the 3rd and 4th workshops having appeared in 1990 and 1991 respectively). It will be of interest to academic and industrial researchers, postgraduate students and research-oriented developers in the computer industry.

Vis mereVis mindre

Udgivelsesdato:
01-10-1992
ISBN13:
9783540197522
Vægt:
549 g
Dybde:
21 mm
Bredde:
156 mm
Højde:
234 mm
Forlag:
Springer
Format:
Hæftet
  • Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992

    indgår i serie Workshops in Computing

    • Leveringstid 4-6 hverdage
    • Forventet levering 03-09-2019

    på lager

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

    Velkommen til Saxo

    Du har nu adgang til din konto hos Saxo, og kan se alle oplysninger om dit medlemskab, dine
    ordrer og din digitale boghylde under "Mit Saxo".

    Som tak for, at du har aktiveret dit medlemskab, har vi valgt at give dig fri læsning hele
    sommeren. Dvs. at du frit kan tilgå de mere en 50.000 bøger i Saxos app, samt købe bøger til
    vores altid lave medlemspris og fri fragt her på Saxo.com hele juli. Din næste medlemsbetaling
    vil først falde i august.

    Vi glæder os meget til at byde dig velkommen i vores univers, og håber at du kommer godt i
    gang med Saxo Premium.

    God sommer og god læselyst!

    Med venlig hilsen Saxo

    Kom i gang nu!