Z support in the HiVe mathematical toolkit / Brendan Mahony ... [et al.]

Creator
Mahony, Brendan
Subjects
Software engineering - Research.
Summary
The HiVe project is an ambitious research programme aimed at providing DSTO and the Australian Defence Department with the world’s most advanced assurance tools. A key part of this is the provision of advanced high assurance analysis tools in the form of the HiVe Modeller component. Formal specification and system modelling activities in the HiVe Modeller are supported through an Isabelle/HOL implementation of the HiVe Mathematical Toolkit. This report describes support for the Z Mathematical Toolkit within the HiVe Mathematical Toolkit.
Bookmark
http://trove.nla.gov.au/work/32128886
Work ID
32128886
Editions
1 version of this work is listed below
Actions

A version is available from...

Locations where this may be found on the internet

Show 0 more links...

How do I enable "My libraries"?

In order to set up a list of libraries that you have access to, you must first login or sign up. Then set up a personal list of libraries from your profile page by clicking on your user name at the top right of any screen.

No Comments or reviews for this work

 

Add a comment



Work history

Versions / Editions

versions:
1 (out of 1)
Expand all / Collapse all
Title, Author, Edition Date Language Format Libraries
Z support in the HiVe mathematical toolkit / Brendan Mahony ... [et al.] [electronic resource] /
Edinburgh, S. Aust. : Defence Science and Technology Organisation, - Technical report (Defence Science and Technology Organisation (Australia) : Online) ; DSTO-TR-2272. 2009 English Article; Report Possibly online

Possibly related

Digitised newspapers and more

Searching...

Minimise

Diaries, letters, archives

Searching...

Minimise

Archived websites (1996 – now)

Searching...

Minimise

Pictures, photos, objects

Searching...

Minimise

Books

Searching...

Minimise

Music, sound and video

Searching...

Minimise

People and organisations

Searching...

Minimise

Journals, articles and data sets

Searching...

Minimise

Maps

Searching...

Minimise

Lists

Searching...

Minimise
  1. Mahony James Henry
    Created by nannakins, 5 items.

    MAHONY -In loving remembrance of our dearly beloved nephew, James Henry Mahony, who died 23rd December, 1895
    Inserted by his loving uncle and aunt, Thomas and Emma Rigby

  2. MAHONY Bartholomew
    Created by nannakins, 1 item.

    THE FRIENDS of Mr BARTHOLOMEW MAHONY, Builder, are respectfully invited to attend the Funeral of his beloved WIFE, Mary. TO-MORROW (Sunday) AFTERNOON; to move from his ...

  3. c j mahony
    Created by nannakins, 1 item.

  1. Software Engineering Research Center
    This resource is likely to be relevant to your query (score: 0.048)

    This resource is likely to be relevant to your query (score: 0.048)

  2. University of South Australia Data and Software Engineering Research Group
    This resource is likely to be relevant to your query (score: 0.03)

    This resource is likely to be relevant to your query (score: 0.03)

  3. University of New South Wales Centre for Advanced Software Engineering Research
    ... In 2001 the Centre for Advanced Software Engineering Research was formed from the Centre for ...
    This resource is likely to be relevant to your query (score: 0.025)

    This resource is likely to be relevant to your query (score: 0.025)

  1. Website: Research report (University of Sydney. Dept. of Civil Engineering)
    sydney.edu.au
    Matching pages:
    View 61 matching archived pages
    This resource is likely to be relevant to your query (score: 0.043)

    This resource is likely to be relevant to your query (score: 0.043)

  2. Website: Technical reports (University of Newcastle. Dept. of Computer Science and Software Engineering)
    www.newcastle.edu.au
    Matching pages:
    This resource is likely to be relevant to your query (score: 0.041)

    This resource is likely to be relevant to your query (score: 0.041)

  3. Website: Brendan O'Connor
    www.brendanoconnor.com.au
    Matching pages:
    View 2 matching archived pages
    This resource is likely to be relevant to your query (score: 0.027)

    This resource is likely to be relevant to your query (score: 0.027)

  1. CAM Software Research Center Records
    Brigham Young University. CAM Software Research Center
    [ Unpublished : 1982 ]
    View online
    This resource may be of limited relevance to your query (score: 0.109)

    This resource may be of limited relevance to your query (score: 0.109)

  2. NASA Glenn Research Center: Free Software
    NASA Glenn Research Center
    [ Unpublished, Video : 2008-2009 ]
    View online
    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.057)

    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.057)

  3. Report -- March 1984 (Computer Science Department -- Reference Material -- Report -- "Software Engineering for User Interfaces" -- Draper and Norman -- Office of Naval Research/University of California, San Diego -- 1984); Computer Science Department...
    [ Unpublished : 1984 ]
    View online
    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.021)

    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.021)

  1. Map of Pullman and the State College of Washington, (1920)
    Washington State University Highway Engineering Department
    [ Map : 1920-2000 ]
    View online
    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.004)

    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.004)

  2. Geography Network: Access a World of Information
    [ Map ]
    View online
    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.002)

    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.002)

  3. Resource guide on the implementation of linear referencing systems in geographic information systems / U.S. Department of Transportation, Bureau of Transportation Statistics
    United States. Bureau of Transportation Statistics
    [ Map : 1998 ]
    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.001)

    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.001)

  1. Introducing the NUFDTD Software Pac...
    Baum, Seth
    [ Poster, chart, other, Article : 2006-2007 ]
  2. From operations research to softwar...
    sg@cs.up.ac.za
    [ Image, Article : 2008-2009 ]
  3. MedBED A: A TestBED Supporting Rese...
    Cleveland, Robi...
    [ Poster, chart, other, Article : 2006 ]
  4. Multi-physics fluid-structure inter...
    Malan, AG; Oxto...
    [ Poster, chart, other : 2008 ]
  5. Apple Macintosh Software - ClarisWo...
    Claris (Manufac...
    [ Art work : 1991 ]
  6. Wolfram Research in Precollege Educ...
    Wolfram Researc...
    [ Image, Article : 2003 ]
  1. Proceedings - International Conference on Software Engineering
    International Conference on Software Engineering
    [ Conference Proceedings, Periodical : 1900-2012 ]
    read online at Hathi Trust
    View online
    At 26 libraries
    This resource may have relevance to your query (score: 0.556)

    This resource may have relevance to your query (score: 0.556)

  2. Software engineering / Ian Sommerville
    Sommerville, Ian, 1951-
    [ Book : 1982-2012 ]
    Languages: English, Portuguese, French, German
    At 69 libraries
    This resource may have relevance to your query (score: 0.535)

    This resource may have relevance to your query (score: 0.535)

  3. Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering / ACM
    ACM Sigsoft
    [ Periodical, Book : 1967-2012 ]
    Possibly online
    At 26 libraries
    This resource may have relevance to your query (score: 0.503)

    This resource may have relevance to your query (score: 0.503)

  4. Software engineering : a practitioner's approach / Roger S. Pressman
    Pressman, Roger S
    [ Book : 1982-2010 ]
    read online at Open Library/Internet Archive
    View online
    At 69 libraries
    This resource may be of limited relevance to your query (score: 0.346)

    This resource may be of limited relevance to your query (score: 0.346)

  1. Abstraction and codification in software engineering / Mary Shaw
    Shaw, Mary, 1943-
    [ Video : 1995 ]
    At Monash Uni Library
    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.068)

    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.068)

  2. NASA Glenn Research Center: Free Software
    NASA Glenn Research Center
    [ Unpublished, Video : 2008-2009 ]
    View online
    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.057)

    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.057)

  3. Hamlet / William Shakespeare
    Shakespeare, William, 1564-1616
    [ Book, Audio book, Article : 1603-2009 ]
    Languages: English, Spanish, French, [26 others]
    read online at Open Library/Internet Archive
    View online
    At 201 libraries
    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.039)

    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.039)

  4. Alice's adventures in Wonderland / Lewis Carroll ; illustrated by Helen Oxenbury
    Carroll, Lewis, 1832-1898
    [ Book, Audio book, Sound : 1800-2010 ]
    Languages: English, Italian, Chinese, [37 others]
    read online at Open Library/Internet Archive
    View online
    At 173 libraries
    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.034)

    This resource may only be vaguely related to your query: matching terms may only have been found in the full text contents of the resource (score: 0.034)

  1. Wandong.
    Kilmore Free Press (Kilmore, Vic. : 1870 - 1954) Thursday 9 December 1926 Edition: MORNING p 2 Article
    ... double figures, the redoubtable Brendan: being dismissed for 5. Wharton got 2 for none, W. Patton: _3 ... Wm SCollins made a useful 25. SMr J. Mahony arid his wife, respected residents of Wandong, left the ... 479 words
    This resource may have relevance to your query (score: 0.006)

    This resource may have relevance to your query (score: 0.006)

  2. HOUSE OF REPRESENTATIVES.
    The Register (Adelaide, SA : 1901 - 1929) Friday 4 April 1924 p 14 Article
    ... at Canberra. ; Mr. Mahony was informed by the Prime Minister that the Governor-General had been ... dominions 'to' talk about inde pendence. ' . ?.?'?';?- Messrs. Scullin, Lazzarini; Brendan,- and ... 587 words
    This resource may have relevance to your query (score: 0.006)

    This resource may have relevance to your query (score: 0.006)

  3. ELOCUTION EXAM Trinity College Results
    The Courier-Mail (Brisbane, Qld. : 1933 - 1954) Wednesday 13 November 1935 p 11 Article
    ... ningham, Miss Hilda Hastie, Cecily Gold Ing, Lourdes Hill (Miss Una Vowles), Ver onica Mahony, St. ... Eldred, Brleidlne Convent, Indooroo pllly, Clare King, Brigldlne Convent, in dooroopilly, 67; Brendan ... 1409 words
    This resource may have relevance to your query (score: 0.004)

    This resource may have relevance to your query (score: 0.004)

  1. SEA News
    Software Engineering Australia
    [ Periodical : 2000-2011 ]
    At ADFA Library
    This resource may have relevance to your query (score: 0.263)

    This resource may have relevance to your query (score: 0.263)

  2. Technical reports (University of Newcastle (N.S.W.). Dept. of Computer Science and Software Engineering)
    University of Newcastle (N.S.W.). Dept. of Computer Science and Software Engineering
    [ Periodical, Archived website : 2000-2011 ]
    View online
    At 3 libraries
    This resource may have relevance to your query (score: 0.243)

    This resource may have relevance to your query (score: 0.243)

  3. Software engineering education : Proceedings of the SEI Conference
    Software Engineering Institute (SEI). Conference
    [ Periodical : 1900-2011 ]
    At National Library
    This resource may have relevance to your query (score: 0.219)

    This resource may have relevance to your query (score: 0.219)

  4. Asia-Pacific Software Engineering Conference : proceedings ... ..
    Asia-Pacific Software Engineering Conference
    [ Periodical : 1994-2011 ]
    At UWA Library
    This resource may have relevance to your query (score: 0.202)

    This resource may have relevance to your query (score: 0.202)