Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Advisor
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Adelaide Research & Scholarship
Adelaide Research & Scholarship
Search
Search:
All collections
Schools and Disciplines
School of Computer Science
Computer Science publications
for
Current filters:
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Advisor
School
Department
Organisation
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-5 of 5 (Search time: 0.002 seconds).
previous
1
next
Item hits:
Preview
Issue Date
Title
Author(s)
2005
A formal approach to component adaptation and composition
Hemer, D.
;
Estivill Castro, V.
;
Australasian Computer Science Conference (28th : 2005 : Newcastle, Australia)
2005
HazLog: Tool support for hazard management
Hamoy, C.
;
Hemer, D.
;
Lindsay, P.
;
Australian Workshop on Safety Critical Systems and Software (9th : 2004 : Brisbane, Queensland)
2005
Plug-in proof support for formal development environments
Hemer, D.
;
Long, G.
;
Strooper, P.
;
Atkinson, M.
;
Dehne, F.
;
Computing: The Australasian Theory Symposium (2005 : Newcastle, Australia)
2005
Specification-based retrieval strategies for component architectures
Hemer, D.
;
Strooper, P.
;
Australian Software Engineering Conference (16th : 2005 : Brisbane, Australia)
2005
Template-based construction of verified software
Hemer, D.
;
Lindsay, P.
Discover
Author
2
Lindsay, P.
2
Strooper, P.
1
Atkinson, M.
1
Australasian Computer Science Con...
1
Australian Software Engineering C...
1
Australian Workshop on Safety Cri...
1
Computing: The Australasian Theor...
1
Dehne, F.
1
Estivill Castro, V.
1
Hamoy, C.
.
next >