Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Tim Denvir"'
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 widel
This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society's Special Interest Group on Formal Aspects of Computer Sci
Autor:
Tim Denvir
Publikováno v:
Computer Methods and Programs in Biomedicine. 44:55-60
Many engineering systems, especially those required to be particularly dependable, traditionally undergo inspections and assessments of safeness and fitness for purpose. Often some form of ‘certificate’ is provided by the assessment authority. To
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6ee23005bd2186c4387a33103372931
https://doi.org/10.1016/0169-2607(94)90148-1
https://doi.org/10.1016/0169-2607(94)90148-1
Autor:
Tim Denvir
Publikováno v:
Formal Aspects of Computing. 4:1-12
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b30c82b1a75f17415260f897db23499
https://doi.org/10.1007/bf01214954
https://doi.org/10.1007/bf01214954
Publikováno v:
Formal Aspects of Computing. 2:196-202
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a728b16d08457c956e8bb1dd225fc6d7
https://doi.org/10.1007/bf01888223
https://doi.org/10.1007/bf01888223
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540585558
FME '94: Industrial Benefit of Formal Methods
FME '94: Industrial Benefit of Formal Methods
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bc171972b47592c8f49b971d3c3f621a
https://doi.org/10.1007/3-540-58555-9
https://doi.org/10.1007/3-540-58555-9
Publikováno v:
Workshops in Computing ISBN: 9783540197522
5th Refinement Workshop
5th Refinement Workshop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb4f10e9801df7ea67ac735cbab2210a
https://doi.org/10.1007/978-1-4471-3550-0
https://doi.org/10.1007/978-1-4471-3550-0
Autor:
John Cooke, Tim Denvir
Publikováno v:
Formal Aspects of Computing. 13:93-93
In June 1999, the first International Workshop on Integrated Formal Methods was held at York University in the UK. The primary aim of the workshop was the combination of behavioural and state-based formalisms to yield practical solutions to industria
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c2e478c3daed9324fa85eb914fc4ebc0
https://doi.org/10.1007/s001650200000
https://doi.org/10.1007/s001650200000