|
2016 Journal Article Requirements specification via activity diagrams for agent-based systemsAbushark, Yoosef, Miller, Tim, Thangarajah, John, Winikoff, Michael and Harland, James (2016). Requirements specification via activity diagrams for agent-based systems. Autonomous Agents and Multi-Agent Systems, 31 (3), 423-468. doi: 10.1007/s10458-016-9327-7 |
|
2015 Conference Publication Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based ModelsAbushark, Yoosef, Thangarajah, John, Miller, Tim, Harland, James and Winikoff, Michael (2015). Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Istanbul Turkey, May 04-08, 2015. NEW YORK: ASSOC COMPUTING MACHINERY. |
|
2014 Journal Article Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround SimulatorMiller, Tim, Bin Lu, , Sterling, Leon, Beydoun, Ghassan and Taveter, Kuldar (2014). Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. IEEE Transactions on Software Engineering, 40 (10), 1007-1024. doi: 10.1109/tse.2014.2339827 |
|
2014 Conference Publication Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect LocationAbushark, Yoosef, Thangarajah, John, Miller, Tim and Harland, James (2014). Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Paris France, May 05-09, 2014. NEW YORK: ASSOC COMPUTING MACHINERY. |
|
2013 Journal Article Efficient storage and retrieval in agent protocol libraries using subsumption hierarchiesMiller, Tim and McBurney, Peter (2013). Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies. Multiagent and Grid Systems, 9 (2), 101-134. doi: 10.3233/mgs-130202 |
|
2013 Journal Article Using Dependency Structures for Prioritization of Functional Test SuitesHaidry, Shifa-e-Zehra and Miller, Tim (2013). Using Dependency Structures for Prioritization of Functional Test Suites. IEEE Transactions on Software Engineering, 39 (2), 258-275. doi: 10.1109/tse.2012.26 |
|
2012 Journal Article Understanding socially oriented roles and goals through motivational modellingMiller, Tim, Pedell, Sonja, Sterling, Leon, Vetere, Frank and Howard, Steve (2012). Understanding socially oriented roles and goals through motivational modelling. Journal of Systems and Software, 85 (9), 2160-2170. doi: 10.1016/j.jss.2012.04.049 |
|
2012 Journal Article A case study in model-based testing of specifications and implementationsMiller, Tim and Strooper, Paul (2012). A case study in model-based testing of specifications and implementations. Software Testing, Verification and Reliability, 22 (1), 33-63. doi: 10.1002/stvr.431 |
|
2005 Conference Publication CZT support for Z extensionsMiller, Tim, Freitas, Leo, Malik, Petra and Utting, Mark (2005). CZT support for Z extensions. IFM 2005: Integrated Formal Methods, Eindhoven, The Netherlands, 29 November - 2 December 2005. Berlin, Germany: Springer. doi: 10.1007/11589976_14 |
|
2005 Other Outputs Using specification animation to support specification testing and software testingMiller, Timothy (2005). Using specification animation to support specification testing and software testing. PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. doi: 10.14264/275872 |
|
2004 Conference Publication Integrating formal specification and software verification and validationDuke, Roger, Miller, Tim and Strooper, Paul (2004). Integrating formal specification and software verification and validation. CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, 18-19 November 2004. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-30472-2_8 |
|
2001 Conference Publication Animation can show only the presence of errors, never their absenceMiller, Tim and Strooper, Paul (2001). Animation can show only the presence of errors, never their absence. Australian Software Engineering Conference, ASWEC 2001, Canberra, ACT, Australia, 27-28 August 2001. Los Alamitos, CA, United States: IEEE Computer Society. doi: 10.1109/ASWEC.2001.948500 |
