Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. A Systematic Approach for Developing Software Safety Arguments

    Hawkins, R. D. & Kelly, T., Jul 2010, p. 25-33.

    Research output: Contribution to conferencePaper

  2. A Systematic Approach to Safety Case Maintenance

    Kelly, T. P. & McDermid, J. A., 1999, p. 13-26.

    Research output: Contribution to conferencePaper

  3. A Systematic Approach to Software Integrity Levels

    Lindsay, P. A. & McDermid, J. A., 1997.

    Research output: Contribution to conferencePaper

  4. A Theoretical Analysis of Hierarchical Proofs

    Cairns, P. A. & Gow, J., 2003, p. 175-187.

    Research output: Contribution to conferencePaper

  5. A Theory of Pointers for the UTP

    Harwood, W., Cavalcanti, A. & Woodcock, J., 2008, p. 141-155.

    Research output: Contribution to conferencePaper

  6. A Timed Model of Circus with the Reactive Design Miracle

    Wei, K., Woodcock, J. & Burns, A., 2010, p. 315-319.

    Research output: Contribution to conferencePaper

  7. A Tool for Defining the Architecture of Z Specifications

    Coombes, A., McDermid, J. A. & Nicholls, J. E., 1990, p. 77-92.

    Research output: Contribution to conferencePaper

  8. A Tool for Defining the Architecture of a Z Specification

    Coombes, A., McDermid, J. A. & Nicholls, J. E., 1991, p. 77-92.

    Research output: Contribution to conferencePaper

  9. A Tutorial Introduction to CSP in it nifying Theories of Programming

    Cavalcanti, A. & Woodcock, J., 2004, p. 220-268.

    Research output: Contribution to conferencePaper

  10. A Tutorial Introduction to Designs in Unifying Theories of Programming

    Woodcock, J. & Cavalcanti, A., 2004, p. 40-66.

    Research output: Contribution to conferencePaper

  11. A Tutorial on the Refinement Calculus

    Woodcock, J., 1991, p. 79-140.

    Research output: Contribution to conferencePaper

  12. A UML Profile for Knowledge-Based Systems Modelling

    Abdullah, M. S., Paige, R. F., Kimble, C. & Benest, I. D., 20 Aug 2007, p. 871-878.

    Research output: Contribution to conferencePaper

  13. A Unified Prognostic Model for Myelodysplastic Syndrome and Acute Myeloid Leukaemia Based on Flow Cytometric Blast Count

    Smith, A. G., Crouch, S., Painter, D. E., Roman, E., Cullen, M. J., Bennett, F. L., Cargo, C. & Jack, A., Dec 2011, p. 1736-1736.

    Research output: Contribution to conferencePaper

  14. A Visual Specification Language for Model-to-Model Transformations

    Guerra, E., Lara, J. D., Kolovos, D. S. & Paige, R. F., 2010, p. 119-126.

    Research output: Contribution to conferencePaper

  15. A Weakest Precondition Semantics for an Object-Oriented Language of Refinement

    Cavalcanti, A. & Naumann, D. A., 1999, p. 1439-1459.

    Research output: Contribution to conferencePaper

  16. A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems

    Cakic, J. & Paige, R. F., 2005, p. 85-96.

    Research output: Contribution to conferencePaper

  17. A case study of hierarchically heterogeneous application modelling using UML and Ptolemy II

    Maatta, S., Indrusiak, L. S., Ost, L., Moller, L., Glesner, M., Moraes, F. G. & Nurmi, J., 1 Sep 2010, p. 68 -71.

    Research output: Contribution to conferencePaper

  18. A chain of peptides: a new mass spectrometric tool for modelling protein diagenesis

    Demarchi, B., Collins, M. J., Buckley, M., Crisp, M. K., Cappellini, E., Thomas-Oates, J. E., Lee-Thorp, J. & Penkman, K. E. H., 2011.

    Research output: Contribution to conferencePaper

  19. A child well-being index at small area level for England

    Bradshaw, J., 2008.

    Research output: Contribution to conferencePaper

  20. A co-design strategy for embedded Java applications based on a hardware interface with invocation semantics

    Borg, A., Gao, R. & Audsley, N., 1 Dec 2006, p. 58-67. 10 p.

    Research output: Contribution to conferencePaper

  21. A common data fusion framework for space robotics: architecture and data fusion methods

    Dominguez, R., Govindaraj, S., Gancet, J., Post, M., Michalec, R., Oumer, N., Wehbe, B., Bianco, A., Fabisch, A., Lacroix, S., De Maio, A., Labourey, Q., Souvannavong, F., Bissonnette, V., Smisek, M. & Yan, X., 4 Jun 2018. 8 p.

    Research output: Contribution to conferencePaper

  22. A comparative analysis of generational equity in the Australian and UK welfare states

    Bradshaw, J., Redmond, G. & Holmes, J., 2011.

    Research output: Contribution to conferencePaper

  23. A comparison of categorisation algorithms for predicting the cellular localization sites of proteins

    Cairns, P., Huyck, C., Mitchell, I. & Wu, W. X., 2001, p. 296--300.

    Research output: Contribution to conferencePaper

  24. A comparison of child well-being in the EU29

    Bradshaw, J., 2009.

    Research output: Contribution to conferencePaper

Previous 1...3 4 5 6 7 8 9 10 ...135 Next