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...

Online

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.

All Libraries

Buy a copy

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. 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. Library Collection Development : Open Access Resources
    Library Collection Development : Open Access Resources
    Created by asearchinglibrarian, 83 items.

    This is a list of open access articles, ebooks, websites, related to library collection development. Much of the information in this list can be accessed from Trove using the fantastic articles searc...

    Keywords: Acquisitions, Canberra Institute of Technology, Collection Development, Collection management, Information Science, Library acquisitions, Library Collection Development, Library Science, Library Technician, Open Access
    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)

    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)

  2. Library Studies
    Library Studies
    Created by asearchinglibrarian, 179 items.

    Primarily, this list is for items available on the topic of library studies from the Canberra Institute of Technology, the ...

    Keywords: Information science, Library science, LIS
    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)

    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)

  3. general
    general
    Created by anon.one, 333 items.

    A description of list

    Keywords: anon one
    Rating: r5/5
    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)

    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)

  1. 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.042)

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

  2. Website: Understanding science, engineering and technology research postgraduate career pathways : final report
    www.dest.gov.au
    Matching pages:
    • Draft Report - 24/9/2008
    • ... for example assumed that engineering and technology referred to two separate fields, the technology part referring to computer and software...
    This resource is likely to be relevant to your query (score: 0.035)

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

  3. Website: Learning with software : pedagogies and practice
    educationau.edu.au
    Matching pages:
    • Learning Concepts - 15/10/1999
    • ... to address; although, research into the use of software tools, both generic and purpose-built, as modelling systems...
    View 8 matching archived pages
    This resource is likely to be relevant to your query (score: 0.031)

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

  1. CAM Software Research Center Records
    Brigham Young University. CAM Software Research Center
    [ Unpublished : 1982 ]
    View online
    CAM Software Research Center Records
    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. Network models of building evacuation : development of software system / T.M. Kisko, R.L. Francis
    Kisko, T. M
    [ Map : 1984 ]
    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.012)

    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.012)

  2. Map of Pullman and the State College of Washington, (1920)
    Washington State University Highway Engineering Department
    [ Map : 1920-2000 ]
    View online
    Map of Pullman and the State College of Washington, (1920)
    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)

  3. 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)

  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 ]
    Apple Macintosh Software - ClarisWorks, 3½" Floppy Disk, 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 28 libraries
    This resource may have relevance to your query (score: 0.558)

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

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

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

  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 27 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 70 libraries
    Software engineering : a practitioner's approach / Roger S. Pressman
    This resource may be of limited relevance to your query (score: 0.378)

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

  1. The way things work / David Macaulay
    Macaulay, David
    [ Book, Thesis, Sheet music : 1988-2006 ]
    Languages: English, Chinese
    Read online at Open Library/Internet Archive
    View online
    At 123 libraries
    The way things work / David Macaulay
    This resource may be of limited relevance to your query (score: 0.103)

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

  2. 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.067)

    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.067)

  3. 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)

  4. Hamlet / William Shakespeare
    Shakespeare, William, 1564-1616
    [ Book, Audio book, Article : 1603-2009 ]
    Languages: English, Spanish, Russian, [26 others]
    Read online at Open Library/Internet Archive
    View online
    At 202 libraries
    Hamlet / William Shakespeare
    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)

  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. THE CONVENT SCHOOL INTERESTING DISPLAY OF WORK.
    Warwick Examiner and Times (St. Lucia, Qld. : 1867 - 1919) Wednesday 13 December 1911 p 5 Article
    ... corticelil). Bridact I Brendan (tie case), Mary Higgfois (dressing case), Morrie Crouchcr (shaving tidy), ... Mahony, Bridget Urosnan, and Mary Uyrne. Very dainty table covers were the ' work of liileen Grant ... 1034 words
    This resource may have relevance to your query (score: 0.005)

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

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

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

  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.242)

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

  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.218)

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

  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.201)

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