- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- Model Checking Object-Z Classes: Some Experiments with FDR
- 15th Australian Computer Science Conference
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- Formal Methods in System Design, 18, 249284, 2001 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands.
- Formal Aspects of Computing (2002) 13: 142-160 An Introduction to
- Incremental Development of Real-Time Requirements: The Light Control Case Study
- Electronic Notes in Theoretical Computer Science 78 (2005) URL: http://www.elsevier.nl/locate/entcs/volume78.html 18 pages
- A Formal Framework for Modelling and Analysing Mobile Systems Graeme Smith
- Compositional Verification for Object-Z Kirsten Winter and Graeme Smith
- Introducing Reference Semantics via Refinement Graeme Smith
- Abstract specification in Object-Z and CSP Graeme Smith1
- AN OBJECT-ORIENTED APPROACH TO FORMAL SPECIFICATION
- A Development Framework for ObjectOriented Specification and Refinement
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- Architectural Design in ObjectZ Tim McComb and Graeme Smith
- A Semantic Integration of ObjectZ and CSP for the Specification of Concurrent Systems
- Proc. 1989 Singapore Intl. Conf. on Networks (SICON'89)
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- Recursive Schema Definitions in Object-Z Graeme Smith
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- Reasoning about ObjectZ specifications Graeme Smith
- Linear Temporal Logic and Z Refinement John Derrick1
- Specifying mode requirements of embedded systems Graeme Smith
- Towards RealTime ObjectZ Graeme Smith \Lambda and Ian Hayes y\Lambda
- Refinement and verification of concurrent systems specified in ObjectZ and CSP
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- An Introduction to Object-Z Graeme Smith
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- A LanguageIndependent Approach to Specification Construction \Lambda N. L'evy and G. Smith
- From Ideal to Realisable RealTime Specifications
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- Structuring Real-Time Object-Z Specifications Graeme Smith
- Stepwise Development from Ideal Specifications Graeme Smith
- Combining CSP and ObjectZ: Finite or Infinite Trace Semantics?
- 5th Australian Software Engineering Conference
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTER DEPARTMENT OF COMPUTER SCIENCE
- Structural refinement in Object-Z / CSP John Derrick1
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- Extending W for ObjectZ Graeme Smith
- Formal Aspects of Computing (2003) 15: 1-27 Structural refinement of systems
- Encoding Object-Z in Isabelle/HOL Graeme Smith1
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- Formal Aspects of Computing (1995) 7(E): 30--65 fl 1995 BCS Formal Aspects
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- Specification and Refinement of a RealTime Control System
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE SCHOOL OF INFORMATION TECHNOLOGY
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- An ObjectOriented Development Framework for Z
- Formal Definitions of Behavioural Compatibility for Active and Passive Objects
- SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE
- Proving temporal properties of Z specifications using abstraction
- Introducing Parallel Composition to the Timed Refinement Calculus
- Australian Computer Journal 21(2):6266
- Proc. 14th Australian Comput. Sci. Conf pages 11/111/11
- An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
- Centre for Medical Diagnostic Technologies in Queensland MedTeQ is a Queensland Smart State Centre whose core partners include QHealth, The
- information& CommuniCations
- THE INCITEC PIVOT LTD SCHOLARSHIP IN CHEMICAL ENGINEERING (Established in 2001 and maintained by an annual gift from Incitec Pivot Ltd to encourage a
- Further information www.uq.edu.au/ict
- (Established in 2006 and maintained by an annual gift from Engineering program, including dual program, in the field of min
- ORICA AUSTRALIA PTY LIMITED ENGINEERING SCHOLARSHIP (The scholarship was established in 2009 and is maintained by an annual gift for 5 years from Orica Australia
- WHYSTUDYATUQ? The University of Queensland offers a number of ICT-focused degrees and majors
- Issued: 23/8/2011 Review before: 23/8/2012
- GHD PTY LTD SCHOLARSHIP IN CHEMICAL OR MINING ENGINEERING (Established in 2005 and maintained by an annual gift of $2,500 from GHD Pty Ltd to encourage a
- THE FRANK JOSEPH MURPHY BURSARY (Established in 1994 and maintained by the income from a bequest from the late Frank Joseph
- THE FIRCROFT AUSTRALIA M ECHANICAL ENGINEERING SCHOLARSHIP (The scholarship was established in 2010 and is maintained by an annual gift from Fircroft Australia.)
- THE PEABODY ENERGY AUSTRALIA PTY LTD ENGINEERING SCHOLARSHIP (Established in 2010 and maintained by an annual gift from Peabody Energy Australia Pty Ltd.)
- THE AECOM UNDERGRADUATE SCHOLARSHIP (Established in 2008 and maintained by an annual gift from Maunsell Australia Pty Ltd (now known
- engineering and information technology
- Graduate Opportunities Australia Development Laboratory
- THE MWH CIVIL ENGINEERING SCHOLARSHIP (Established in 2007 and maintained by an annual gift from MWH
- First Number Protection against
- THE ANDREW NICHOLAS LIVERIS PRIZE (Established in 2006 and maintained by an annual gift from Andrew Nicholas Liveris.)
- for Australian Postgraduate
- THE WDS SCHOLARSHIP IN ENGINEERING (Established in 2008 and maintained by an annual gift from WDS Limited to encourage meritorious students
- Electrical Safety Management Plan
- THE CHEMICAL ENGINEERING STUDENT SOCIETY BURSARY (Established in 1993 and maintained by the income from a fund provided by the Chemical
- APPLICATION NATIONAL ASSOCIATION OF WOMEN IN
- THE BAULDERSTONE PTY LTD (QUEENSLAND) CIVIL (The scholarship was established in 2009 and is maintained by an annual gift from Baulderstone Pty Ltd
- AWARD INFORMATION The ConocoPhillips SPIRIT Scholarship is available to undergraduate students at The University of Queensland
- Faculty of Engineering Architecture & Information Technology
- THE AECOM SCHOLARSHIP IN CIVIL (Established in 2007 and maintained by an annual gift from Maunsell Australia Pty Ltd (now known as
- For more copies of this information sheet and application form, visit www.uq.edu.au/ict/scholarships 1 ICT ENABLING SCHOLARSHIPS 2012
- Final-year students in the Bachelor of Engineering program majoring
- THE VALE ENGINEERING SCHOLARSHIP (The scholarship was established in 2010 and is maintained by an annual gift from Vale Australia Pty Ltd.)
- The Bechtel Australia Engineering Scholarship (The Scholarship was established in 2009 and is to be maintained by an annual gift
- The Thiess Engineering Scholarship in Memory of Roger Trundle (The Scholarship was established in 2009 and is to be maintained by an annual gift from Thiess Pty Ltd in
- Profile 2010 EnginEEring, architEcturE
- Purchase and Acquisition of Electrical Equipment at UQ Page 1 of 13 Occupational Health & Safety Unit August 2011, v2
- THE AECOM ENVIRONMENTAL ENGINEERING SCHOLARSHIP (Established in 2007 and maintained by an annual gift from AECOM Australia, previously known as Maunsell
- GHD PTY LTD SCHOLARSHIP IN MECHANICAL ENGINEERING (Established in 2005 and maintained by an annual gift of $2,500 from GHD Pty Ltd to en
- This injury, illness and incident report (IIIR) form replaces all previous versions of the forms and is to be used to report any injury, illness or incident which occurs on University of Queensland premises or whilst on duty for the
- ENGINEERING Undergraduate programs
- THE HAALD ENGINEERING SCHOLARSHIP (Established in 2008 and maintained by an annual gift from Haald Engineering to encourage
- Institution of Chemical Engineers (IChemE) Ming Leung Scholarship
- GHD PTY LTD SCHOLARSHIP IN ELECTRICAL ENGINEERING (Established in 2005 and maintained by an annual gift of $2,500 from GHD Pty Ltd to encourage a
- Page 1 of 5 Testing and tagging of specified electrical equipment Issued 21 June, 2004 and testing of residual current protective devices guideline
- (Established in 1963 by a gift of $10 000 from Mr B. J. Thiess as a memorial to his son Kenneth A. Thiess, a young Civil Engineering graduate of this University, who was accidentally killed while carrying out the duties of
- THE NEWCREST MINING ENGINEERING SCHOLARSHIP (The scholarship was established in 2011 and is maintained by an annual gift from Newcrest Operations
- THE THIESS SCHOLARSHIP IN CIVIL ENGINEERING (Established in 1996 and maintained by an annual gift of $15,000 from Thiess Pty Ltd to provide for 3 ongoing
- EnginEEring & information
- SUBJECT TO SENATE APPROVAL The Patricia Byrne Geothermal Energy Scholarship in Engineering
