International conference (45 papers)
| Matching Software Practitioner Needs to Researcher Activities; M.S. Feather and T. Menzies and J.R. Connelly; Proceedings of the 2003 Asia-Pacific Software Engineering Conference (APSEC 2003); Chiangmai, Thailand; 2003; December; Available from http:// eis.jpl.nasa.gov/~mfeather/Publications/2003-APSEC-Feather-Menzies-Connelly.pdf
|
| Identifying Fruitful Connections Between and Among Researchers and Practitioners; M.S. Feather and T. Menzies and J.R. Connelly; Proceedings of the 2003 IEEE International Engineering Management Conference (IEMC-2003) on Managing Technologically Driven Organizations; Albany, NY,; pages 451-455; 2003; November; Available from http:// eis.jpl.nasa.gov/~mfeather/Publications/2003-IEEE-IEMC-Feather-Menzies-Connelly.pdf
|
| Relating Practitioner Needs to Research Activities; M.S. Feather and T. Menzies and J.R. Connelly; Proceedings of the 11th IEEE International Requirements Engineering Conference; Monterey Bay, California; 2003; September; Available fromhttp:// eis.jpl.nasa.gov/~mfeather/Publications/2003-IEEE-RE-Feather-Menzies-Connelly.pdf
|
| Model-Based Software Testing via Treatment Learning; Dustin Geletko, Tim Menzies; IEEE NASE SEW 2003; 2003; Available from http:// menzies.us/pdf/03radar.pdf
|
| Better Analysis of Defect Data at NASA; Tim Menzies and Robyn Lutz and Carmen Mikulski; SEKE03; 2003; Available from urlhttp:// menzies.us/pdf/03superodc.pdf
|
| When Can We Test Less?; T. Menzies and J. Di Stefano and K. Ammar andK. McGill and P. Callis and R. Chapman and J, Davis; IEEE Metrics'03; 2003; Available fromhttp:// menzies.us/pdf/03metrics.pdf
|
| Position Paper: Summary of simulationsfor Very Early Lifecycle Quality Evaluations; E. Chiang and T. Menzies; Prosim '03; 2003; Available from http:// menzies.us/pdf/03prosim.pdf
|
| Optimizing Spacecraft Design – OptimizationEngine Development: Progress and Plans; S. L. Cornford and M. S. Feather, J.R. Dunphy and J. Salcedoand T. Menzies; Proceedings of the IEEE Aerospace ConferenceBig Sky, Montana; 2003; Available from http:// menzies.us/pdf/03aero.pdf
|
| Learning Early Lifecycle IV&V Quality Indicators; T. Menzies and J.S. Di Stefano and M. Chapman; IEEE Metrics '03; 2003; Available from http:// menzies.us/pdf/03early.pdf
|
| Validating an Online Adaptive System Using SVDD; Yan Liu and Srikanth Gururajan and Bojan Cukic andTim Menzies and Marcello Napolitano; IEEE Tools with AI; 2003; Available from http:// menzies.us/pdf/03svdd.pdf
|
| How Good is Your Blind Spot Sampling Policy?; Tim Menzies and Justin S. Di~Stefano; 2004 IEEE Conference on High Assurance Software Engineering; 2003; Available from http:// menzies.us/pdf/03blind.pdf
|
| Lurch: a Lightweight Alternative to Model Checking; D. Owen and T. Menzies; SEKE '03; 2003; Available from http:// menzies.us/pdf/03lurch.pdf
|
| On the Advantages of Approximate vs. CompleteVerification:Bigger Models, Faster, Less Memory, Usually Accurate; David Owen and Tim Menzies and Mats Heimdahl and Jimin Gao; IEEE NASE SEW 2003; 2003; Available from http:// menzies.us/pdf/03lurchc.pdf
|
| Converging on the Optimal Attainment of Requirements; M.S. Feather and T. Menzies; IEEE Joint Conference On Requirements Engineering ICRE'02 and RE'02, 9-13th September, University of Essen, Germany; 2002; Available from http:// menzies.us/pdf/02re02.pdf
|
| Saturation Effects in Testing of Formal Models; T. Menzies and D. Owen and B. Cukic; ISSRE 2002; 2002; Available from http:// menzies.us/pdf/02sat.pdf
|
| Model-based Tests of Truisms; Tim Menzies and David Raffo and Siri-on Setamanit and Ying Hu and Sina Tootoonian; Proceedings of IEEE ASE 2002; 2002; Available from http:// menzies.us/pdf/02truisms.pdf
|
| Machine Learning for Software Engineering: CaseStudies in Software Reuse; J.S. Di Stefano and T. Menzies; Proceedings, IEEE Tools with AI, 2002; 2002; Available from http:// menzies.us/pdf/02reusetai.pdf
|
| Data Sniffing - Monitoring of MachineLearning for Online Adaptive Systems; Y. Liu and T. Menzies and B. Cukic; IEEE Tools with AI; 2002; Available fromhttp:// menzies.us/pdf/03datasniffing.pdf
|
| What Makes Finite-State Models more (or less) Testable?; D. Owen and T. Menzies and B. Cukic; IEEE Conference on Automated Software Engineering (ASE '02); 2002; Available from http:// menzies.us/pdf/02moretest.pdf
|
| Fast Formal Analysis of Requirements via 'Topoi Diagrams'; T. Menzies and J. Powell and M. E. Houle; ICSE 2001; 2001; Available from http:// menzies.us/pdf/00fastre.pdf
|
| Better reasoning about software engineering activities; T. Menzies and J.D. Kiper; ASE-2001; 2001; Available from http:// menzies.us/pdf/01ase.pdf
|
| Testing Nondeterminate Systems; Tim Menzies and Bojan Cukic and Harhsinder Singh and John Powell; ISSRE 2000; 2000; Available from http:// menzies.us/pdf/00issre.pdf
|
| Practical Large Scale What-if Queries: Case Studies with Software Risk Assessment; T. Menzies and E. Sinsel; Proceedings ASE 2000; 2000; Available from http:// menzies.us/pdf/00ase.pdf
|
| An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering; T.J. Menzies and S. Easterbrook and Bashar Nuseibeh and Sam Waugh; RE '99 ; 1999; Available from http:// menzies.us/pdf/99re.pdf
|
| Fewer Slices of PIE: Optimising Mutation Testingvia Abduction; T. Menzies and C.C. Michael; SEKE '99, June 17-19, KaiserslauternGermany. Available fromhttp:// menzies.us/pdf/99seke.pdf; 1999;
|
| On the Sufficiency of Limited Testing for Knowledge Based Systems; T. Menzies and B. Cukic; The Eleventh IEEE International Conference on Tools with Artificial Intelligence. November 9-11, 1999. Chicago IL USA.; 1999;
|
| On the Practicality of Viewpoint-based RequirementsEngineering; T.J. Menzies and S. Waugh; Proceedings, Pacific Rim Conference on ArtificialIntelligence, Singapore; 1998; Springer-Verlag; Available fromhttp:// menzies.us/pdf/98pracai.pdf
|
| A Decision Support Tool for Tuning Parameters in a Machine Leraning Algorithm; M. Postema and T.J. Menzies and X. Wu; The Joint Pacific Asia Conference on Expert Systems/Singapore International Conference on Intelligent Systems. (PACES/SPICIS '97); 1997; Available from http:// menzies.us/pdf/97pakdd.pdf
|
| A Tuning Aid for Discretization in Rule Induction; M.Posterma and X. Wu and T.J. Menzies; First Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD97); 1997; Available from http:// menzies.us/pdf/97paces.pdf
|
| Quality Metrics: Test Coverage Analysis for Smalltalk; M. Connell and T.J. Menzies; Tools Pacific, 1996, Melbourne; 1996; Available from http:// menzies.us/pdf/96conel.pdf
|
| On the Practicality of Abductive Validation; T.J. Menzies; ECAI '96; 1996; Available from http:/menzies.us/pdf/96ok.pdf
|
| Visual Programming, Knowledge Engineering, and Visual Programming; T.J. Menzies; Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering; 1996; 0-9641699-3-2; Knowledge Systems Institute, Skokie, Illinois, USA; Available from http:// menzies.us/pdf/96seke.pdf
|
| Comparing and Generalising Models for Metrics Repositories; T. Menzies and S. Ramakrishnan; Tools Pacific, Melbourne; 1996; Available from http:// menzies.us/pdf/96metrics.pdf
|
| On Building an Effective Measurement System for OO Software Process; S. Ramakrishnan and T. Menzies and M. Hasslinger and P. Bok and H. Mccarthy and B. Devakadadcham and D. Moulder; Proceedings of Tools-Pacific, Melbourne; 1996; Prentice-Hall; Available from http:// menzies.us/pdf/96process.pdf
|
| An Ongoing Experiment in O-O Software Process andProduct Measurements ; S Ramakrishnan and T. Menzies; Proceedings SEEP'96, New Zealand; 1996;
|
| On Building an Effective Measurement System for OOSoftware Process, Product and Resource Tracking; S Ramakrishnan and T. Menzies and M. Hasslinger andP. Bok and H. McCarthy and B. Devakadadcham andD. Moulder; Tools Pacific, 1996; 1996;
|
| Providing Software Engineering Students with an Experience in "Big-Computing"; R.F. Cohen and T. J. Menzies; Software Education Conference (SRIG-ET'94); pages 71-76; 1995;
|
| The Effects of Class Coupling on Class Size in Smalltalk Systems; P. Haynes and T.J. Menzies; Tools '94; pages 121-129; 1994; Prentice Hall;
|
| The Methodologies of Methodologies; or, Evaluating Current Methodologies: Why and How; T.J. Menzies and P. Haynes; Tools Pacific '94; pages 83-92; 1994; Prentice-Hall; Available from http:// menzies.us/pdf/tools94.pdf
|
| C++ is Better than Smalltalk?; P. Haynes and T.J. Menzies; Tools Pacific 1993; pages 75-82; 1993; Prentice Hall;
|
| How to Edit "it"; or a Black-Box Constraint Based Framework for User Interaction with Arbitrary Structures; T.J Menzies and R Spurret; Tools Pacific 12; pages 213-224; 1993; Prentice Hall; Available from http:// menzies.us/pdf/tools93.pdf
|
| The Mysterious Case of the Missing Re-usable Class Libraries; T.J. Menzies and J. Edwards and K. Ng; Tools Pacific 1992; pages 421-428; 1992; Prentice Hall; ; Available from http:// menzies.us/pdf/tools92.pdf
|
| An Expert System for Raising Pigs; T.J. Menzies and J. Black and J. Fleming and M. Dean; The first Conference on Practical Applications of Prolog; 1992; Available from http:// menzies.us/pdf/ukapril92.pdf
|
| ISA Object PARTOF Knowledge Representation (Part Two)?; T.J. Menzies; Tools Pacific 4; editor B. Meyer; 1991; Available from http:// menzies.us/pdf/tools91.pdf
|
| Beyond the MVC Triad: Quality Assurance via Interactive Specification Editors; T.J. Menzies; Tools 3: Proceedings of the third International Technology of Object-Oriented Languages & Systems conference; 1991; Prentice-Hall;
|