skip to content
Design oriented verification and evaluation : the DOVE project Preview this item
ClosePreview this item
Checking...

Design oriented verification and evaluation : the DOVE project

Author: Tony Cant; Brendan Patrick Mahony; Jim McCarthy; Defence Science and Technology Organisation (Australia). Information Sciences Laboratory.
Publisher: Edinburgh, S. Aust. : DSTO Information Sciences Laboratory, ©2002.
Series: Technical report (Defence Science and Technology Organisation (Australia)), DSTO-TR-1349.
Edition/Format:   Print book : National government publication : EnglishView all editions and formats
Summary:
"DOVE is a graphical tool for modelling and reasoning about state machine designs for critical systems. This report summarizes its technical development, and incorporates the user manual."--Abstract.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Handbooks and manuals
Handbooks, manuals, etc
Material Type: Government publication, National government publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Tony Cant; Brendan Patrick Mahony; Jim McCarthy; Defence Science and Technology Organisation (Australia). Information Sciences Laboratory.
OCLC Number: 223801733
Notes: "December 2002"--Title page verso.
"AR-012-457"--Title page verso.
Description: xvi, 138 pages : illustrations ; 30 cm.
Details: Available in pdf format via the World Wide Web. Adobe Acrobat Reader required for pdf files.
Series Title: Technical report (Defence Science and Technology Organisation (Australia)), DSTO-TR-1349.
Responsibility: Tony Cant, Brendan Mahony and Jim McCarthy.

Abstract:

"DOVE is a graphical tool for modelling and reasoning about state machine designs for critical systems. This report summarizes its technical development, and incorporates the user manual."--Abstract.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/223801733> # Design oriented verification and evaluation : the DOVE project
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "223801733" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xra> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/157318277#Place/edinburgh_s_aust> ; # Edinburgh, S. Aust.
    schema:about <http://experiment.worldcat.org/entity/work/data/157318277#Topic/system_design> ; # System design
    schema:about <http://id.worldcat.org/fast/1141401> ; # System design
    schema:about <http://experiment.worldcat.org/entity/work/data/157318277#Topic/dove_computer_program> ; # DOVE (Computer program)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/157318277#Person/mahony_brendan_patrick> ; # Brendan Patrick Mahony
    schema:contributor <http://viaf.org/viaf/152656690> ; # Defence Science and Technology Organisation (Australia). Information Sciences Laboratory.
    schema:contributor <http://viaf.org/viaf/266198635> ; # Jim McCarthy
    schema:copyrightYear "2002" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/157318277#Person/cant_tony> ; # Tony Cant
    schema:datePublished "2002" ;
    schema:description ""DOVE is a graphical tool for modelling and reasoning about state machine designs for critical systems. This report summarizes its technical development, and incorporates the user manual."--Abstract."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/157318277> ;
    schema:genre "Handbooks and manuals"@en ;
    schema:genre "National government publication"@en ;
    schema:genre "Government publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/157318277#Series/technical_report_dsto> ; # Technical report / DSTO ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/157318277#Series/technical_report_defence_science_and_technology_organisation_australia> ; # Technical report (Defence Science and Technology Organisation (Australia)) ;
    schema:name "Design oriented verification and evaluation : the DOVE project"@en ;
    schema:productID "223801733" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/223801733#PublicationEvent/edinburgh_s_aust_dsto_information_sciences_laboratory_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/157318277#Agent/dsto_information_sciences_laboratory> ; # DSTO Information Sciences Laboratory
    schema:url <http://www.dsto.defence.gov.au/isl/dove/dove.html> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/223801733> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/157318277#Agent/dsto_information_sciences_laboratory> # DSTO Information Sciences Laboratory
    a bgn:Agent ;
    schema:name "DSTO Information Sciences Laboratory" ;
    .

<http://experiment.worldcat.org/entity/work/data/157318277#Person/cant_tony> # Tony Cant
    a schema:Person ;
    schema:familyName "Cant" ;
    schema:givenName "Tony" ;
    schema:name "Tony Cant" ;
    .

<http://experiment.worldcat.org/entity/work/data/157318277#Person/mahony_brendan_patrick> # Brendan Patrick Mahony
    a schema:Person ;
    schema:familyName "Mahony" ;
    schema:givenName "Brendan Patrick" ;
    schema:name "Brendan Patrick Mahony" ;
    .

<http://experiment.worldcat.org/entity/work/data/157318277#Place/edinburgh_s_aust> # Edinburgh, S. Aust.
    a schema:Place ;
    schema:name "Edinburgh, S. Aust." ;
    .

<http://experiment.worldcat.org/entity/work/data/157318277#Series/technical_report_defence_science_and_technology_organisation_australia> # Technical report (Defence Science and Technology Organisation (Australia)) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/223801733> ; # Design oriented verification and evaluation : the DOVE project
    schema:name "Technical report (Defence Science and Technology Organisation (Australia)) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/157318277#Series/technical_report_dsto> # Technical report / DSTO ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/223801733> ; # Design oriented verification and evaluation : the DOVE project
    schema:name "Technical report / DSTO ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/157318277#Topic/dove_computer_program> # DOVE (Computer program)
    a schema:Intangible ;
    schema:name "DOVE (Computer program)"@en ;
    .

<http://id.worldcat.org/fast/1141401> # System design
    a schema:Intangible ;
    schema:name "System design"@en ;
    .

<http://viaf.org/viaf/152656690> # Defence Science and Technology Organisation (Australia). Information Sciences Laboratory.
    a schema:Organization ;
    schema:name "Defence Science and Technology Organisation (Australia). Information Sciences Laboratory." ;
    .

<http://viaf.org/viaf/266198635> # Jim McCarthy
    a schema:Person ;
    schema:familyName "McCarthy" ;
    schema:givenName "Jim" ;
    schema:name "Jim McCarthy" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.