International workshop (44 papers)
| Text is Software Too; A. Dekhtyar and J. Huffman Hayes and T. Menzies; International Workshop on Mining Software Repositories (submitted); 2004; Available from http:// menzies.us/pdf/04msrtext.pdf
|
| Mining Repositories to Assist in Project Planning and Resource Allocation; T. Menzies and Justin S. Di~Stefano and Chris Cunananand Robert (Mike) Chapman; International Workshop on Mining Software Repositories; 2004; Available from http:// menzies.us/pdf/04msrdefects.pdf
|
| Improved software engineering decision support throughautomatic argument reduction tools; T. Menzies and J. Kiper and M. Feather; SEDECS’2003: the 2nd International Workshop on SoftwareEngineering Decision Support (part of SEKE2003); 2003; June; 20; Available from http:// menzies.us/pdf/03star1.pdf
|
| Metrics that Matter; Tim Menzies and Justin S. DiStefeno and Mike Chapman and Kenneth Mcgill; 27th NASA SEL workshop on Software Engineering; 2002; Available fromhttp:// menzies.us/pdf/02metrics.pdf
|
| You seem friendly, but can I trust you?; Tim Menzies, David Owen, Bojan Cukic; Formal Aspects of Agent-Based Systems; 2002; Available from http:// menzies.us/pdf/02trust.pdf
|
| What is an agent and why should I care?; T. Menzies and A. Pearce and C. Heinze, and S. Goss; Formal Aspects of Agent-Based Systems; 2002; Available from http:// menzies.us/pdf/02agentis.pdf
|
| Many Maybes Mean (Mostly) the Same Thing; T. Menzies and H. Singh; 2nd International Workshop on Soft Computing applied to Software Engineering (Netherlands), February ; 2001; Available from http:// menzies.us/pdf/00maybe.pdf
|
| Average Case Coverage for Validation of AI Systems; T. Menzies and B. Cukic; AAAI Stanford Spring Symposium on Model-based Validation of AI Systems; 2001; Available from http:// menzies.us/pdf/01validint.pdf
|
| Reusing models for requirements engineering; T. Menzies and Y. Hu; First International Workshop on Model-based Requirements Engineering; 2001; Available from http:// menzies.us/pdf/01reusere.pdf
|
| Constraining discussions in requirements engineering; T. Menzies and Y. Hu; First International Workshop on Model-based Requirements Engineering; 2001; Available from http:// menzies.us/pdf/01lesstalk.pdf
|
| Random Search of AND-OR Graphs Representing Finite-State Models; D. Owen and T. Menzies; Proceedings of the First International Workshopon Model-based Requirements Engineering; 2001; Available from http:// menzies.us/pdf/01randandor.pdf
|
| Learning to Reduce Risks with COCOMO-II; T. Menzies and E. Sinsel and T. Kurtz; Workshop on Intelligent Software Engineering, an ICSE 2000workshop, and NASA/WVU Software Research LabFairmont, WV, Tech report # NASA-IVV-99-027, 1999; 2000; Keywords: Machine learning, Monte-Carlo simulationseffort estimation, risk assessment, COCOMO-IIdecision support systems; Available from http:// menzies.us/pdf/00wise.pdf
|
| Agents Talking Faster; Tim Menzies and Bojan Cukic and Harhsinder Singh; 2000; April; NASA Goddard Workshop on Formal Aspects of Agent-Oriented Systems. Available from http:// menzies.us/pdf/00godd.pdf
|
| The Complexity of TRMCS-like Spiral Specification; T.J. Menzies ; Proceedings of 10th International Workshop on Software Specification and Design (IWSSD-10); 2000; Available from http:// menzies.us/pdf/00iwssd.pdf
|
| Maintaining Maintainability = Recognizing Reachability; T. Menzies and B. Cukic; International Workshop on Empirical Studies of Software Maintenance (WESS 2000), October 14, San Jose CA; 2000; Available from http:// menzies.us/pdf/00wess.pdf
|
| Intelligent Testing can be Very Lazy; T. Menzies and B. Cukic; Proceedings, AAAI '99 workshop on IntelligentSoftware Engineering, Orlando, Florida; 1999; July; Available fromhttp:// menzies.us/pdf/99waaai.pdf
|
| Smaller, Faster Dialogues via ConversationalProbing; T. Menzies and B. Cukic and E. Coiera; AAAI'99 workshop on Conflicts and Identifying Opportunities.; 1999; Available from http:// menzies.us/pdf/99aaaic.pdf
|
| hQkb- The High Quality Knowledge Base Initiative (Sisyphus V: Learning Design Assessment Knowledge); T. Menzies; KAW'99: the 12th Workshop on Knowledge Acquisition, Modeling and Management, Voyager Inn, Banff, Alberta, Canada Oct 16-22, 1999; 1999; Available from http:// menzies.us/pdf/99hqkb.pdf
|
| Applications of Abduction: A Unified Framework for Software and Knowledge Engineering; T. Menzies; 1998; Asian-Pacific Workshop on Intelligent Software Engineering; Available from http:// menzies.us/pdf/98apwise.pdf
|
| Evaluation Issues for Problem Solving Methods; T.J. Menzies; Banff Knowledge Acquisition workshop, 1998; 1998; Available from http:// menzies.us/pdf/97eval.pdf
|
| Evaluating Conceptual Qualitative Modeling Languages; T.J. Menzies and R.F. Cohen and S. Waugh; Banff KAW '98 workshop.; 1998; Available from http:// menzies.us/pdf/97modlan.pdf
|
| Evaluation Issues with Critical Success Metrics; T.J. Menzies; Banff KA '98 workshop.; 1998; Available from http:// menzies.us/pdf/97langevl.pdf
|
| Evaluation Issues for Problem Visual Programming Languages; T.J. Menzies; 1998; Banff KA workshop, 1998. Available from http:// menzies.us/pdf/97evalvp.pdf
|
| More Results on the Practical Lower Limits of TestSet Size; T.J. Menzies and S. Waugh; Proceedings Pacific Knowledge Acquisition WorkshopSingapore, November, 1998; 1998; Available fromhttp:// menzies.us/pdf/98pkaw.pdf
|
| Extending the SISYPHUS III Experiment from aKnowledge Engineering Task to a RequirementsEngineering Task ; D. Richards and T.J. Menzies; Banff Workshop on Knowledge Acquisition; 1998; Available fromhttp:// menzies.us/pdf/98kawre.pdf
|
| Ripple-Down Rationality: A Framework for Maintaining PSMs; T.J. Menzies and A. Mahidadia; Workshop on Problem-Solving Methods for Knowledge-based Systems, IJCAI '97, August 23.; 1997; Available from http:// menzies.us/pdf/97rdra.pdf
|
| A Graph-Theoretic Optimisation of Temporal Abductive Validation; T.J. Menzies and R.E. Cohen; European Symposium on the Validation and Verification of Knowledge Based Systems, Leuven, Belgium; 1997; Available from http:// menzies.us/pdf/97eurvav.pdf
|
| Extending Knowledge Engineering to RequirementsEngineering from Multiple Perspectives ; D. Richards and T.J. Menzies; Third Australian Knowledge Acquisition WorkshopPerth; editor T.J. Menzies and D. Richards and P. Compton; 1997; Available fromhttp:// menzies.us/pdf/97akawre.pdf
|
| Assessing Responses to Situated Congition; T.J. Menzies; Proceedings of the 10th Knowledge Acquisition Workshop for Knowledge-Based Systems, Banff,Canada; 1996; Available from http:// menzies.us/pdf/96sitcog.pdf
|
| Vague Models and Their Implications for the KBS Design Cycle; T.J. Menzies and S. Goss; Proceedings PKAW '96: Pacific Knowledge Acquisition Workshop and Monash University Department of Software Development Technical Report TR96-15; 1996; Available from http:// menzies.us/pdf/96abmod.pdf
|
| Expert Systems Inference = Modeling Conflicts; Tim Menzies; Proceedings of the ECAI '96 workshop on Modelling Conflicts in AI; 1996; Available from http:// menzies.us/pdf/96ecaimc.pdf
|
| Generalised Test = Generalised Inference; T. Menzies; Proceedings of the ECAI '96 workshop on Validation, Verification, and Refinement of KBS; 1996; Available from http:// menzies.us/pdf/96ecaivv.pdf
|
| Using The Size of Classes and Methods as the Basis for Early Effort Prediction; Empirical Observations, Initial Application; A Practitioners Experience Report; P. Haynes and T. Menzies and G. Phipps; OOPSLA Workshop on OO Process and Metrics for Effort Estimation; 1995;
|
| The (Extensive) Implications of Evaluation on the Development of Knowledge-Based Systems; T.J. Menzies and P. Compton; Proceedings of the 9th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge Based Systems,; 1995; Available from http:// menzies.us/pdf/banff95.pdf
|
| Exhaustive Abduction: A Practical Model Validation Tool; T.J. Menzies and W. Gambetta; ECAI '94 Workshop on Validation of Knowledge-Based Systems; 1994; Available from http:// menzies.us/pdf/ecai94.pdf
|
| Knowledge Acquisition for Performance Systems; or: When can "tests" replace "tasks"?; T.J. Menzies and P. Compton; Proceedings of the 8th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada; 1994; http:// menzies.us/pdf/banff94.pdf
|
| The Complexity of Model Review; T.J. Menzies; DX-93: The International Workshop on Principles onModel-Based Diagnosis; 1993;
|
| Qualitative Compartmental Modeling; T.J. Menzies and P. Compton and B. Feldman and T. Toft; Proceedings of the AAAI Symposium on Diagrammatic Reasoning Stanford University, March 25-27; 1992;
|
| Using Causality as a Generic Knowledge Representation, or Why and How Centralised Knowledge Servers Can Use Causality; T. Menzies and A. Mahidadia and P. Compton; Proceedings of the 7th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge-Based Systems Workshop; 1992;
|
| Communicating Research Models of Human Physiology using Qualitative Compartmental Modeling; T.J. Menzies and P. Compton and A. Mahidadia; Communicating Scientific and Technical Knowledge, an AAAI '92 workshop; 1992;
|
| Causal Explanations as a Tool for Refining Qualitative Models; T.J. Menzies and P. Compton; ECAI '92 Workshop on Improving the Use of Knowledge-Based Systems with Explanations, Vienna; 1992;
|
| Using Causality as a Generic Knowledge Representation, or Why and How Centralised Knowledge Servers Can Use Causality; T. Menzies and A. Mahidadia and P. Compton; Proceedings of the 7th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge-Based Systems Workshop Banff, Canada, October 11-16; 1992;
|
| Ripple down rules: possibilities and limitations; P. Compton and G. Edwards and B. Kang and L. Lazarus and R. Malor and T. Menzies and P. Preston and A. Srinivasan and C. Sammut; 6th Banff AAAI Knowledge Acquisition for Knowledge Based Systems; 1991;
|
| Concerning the User of Procedural Construct as a Knowledge Acquisition Technique; T.J. Menzies; IJCAI '91 Knowledge Acquisition Workshop; 1991;
|