Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Miller, Tim - Department of Computer Science and Software Engineering, University of Melbourne
Efficient storage and retrieval in protocol libraries using subsumption hierarchies
Requirements engineering using the agent paradigm: a case study of an aircraft turnaround simulator
An Ontology-Mediated Validation Process of Software Models
An assessment of strategies for choosing between competitive marketplaces
Using Dependency Structures for Prioritisation of Functional Test Suites
Substantiating agent-based quality goals for understanding socio-technical systems
SubstantiatingQualityGoalswithFieldDatafor Socially-OrientedRequirementsEngineering
Engaging Stakeholders with Agent-Oriented Requirements Modelling
Annotation and Matching of First-Class Agent Interaction Protocols
Amongst First-Class Protocols Tim Miller1
Supporting the Software Testing Process through Specification Animation Tim Miller and Paul Strooper
Multi-Agent System Speci cation using TCOZ Tim Miller and Peter McBurney ?
A Case Study in Speci cation and Implementation Testing Tim Miller
A Formal Semantics for Gaia Liveness Rules and Expressions Tim Miller and Peter McBurney
Supporting the Software Testing Process through Specification Animation Tim Miller and Paul Strooper
Integrating Formal Specification and Software Verification and Validation
Test Coverage Criteria for Agent Interaction Tim Miller1
A Framework and Tool Support for the Systematic Testing of Model-Based Specifications
Integrating Formal Specification and Software Verification and Validation
SociallyOriented Requirements Engineering Software Engineering Meets Ethnography
An assessment of strategies for choosing between competitive marketplaces
Understanding socially-oriented roles and goals through motivational modelling
SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2007; 00:17 (DOI: 10.1002/000)
TATM: A trust mechanism for social traders in double auctions
