Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1977. The software engineering laboratory: Objectives. Proceedings of the fifteenth annual SIGCPR conference. :256-269.
2001. Building an Experience Base for Software Engineering: A report on the first CeBASE eWorkshop. Product Focused Software Process Improvement. :110-125.
2010. Learning Through Application: The Maturing ofthe QIP in the SEL. Making Software: What Really Works, and Why We Believe ItMaking Software: What Really Works, and Why We Believe It. :65-65.
1996. The empirical investigation of Perspective-Based Reading. Empirical Software Engineering. 1(2):133-164.
2002. A light-weight process for capturing and evolving defect reduction experience. Engineering of Complex Computer Systems, 2002. Proceedings. Eighth IEEE International Conference on. :129-132.
2010. Obtaining valid safety data for software safety measurement and process improvement. Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement. :46:1–46:4-46:1–46:4.
2006. The past, present, and future of experimental software engineering. Journal of the Brazilian Computer Society. 12(3):7-12.
2001. Editorial: Open source and empirical software engineering. Empirical Software Engineering. 6(3):193-194.
2005. Using measurement to build core competencies in software. Seminar sponsored by Data and Analysis Center for Software.
2005. Evolving and packaging reading technologies. Foundations of Empirical Software Engineering: The Legacy of Victor R. BasiliFoundations of Empirical Software Engineering: The Legacy of Victor R. Basili. 1:362-362.
2005. Iterative enhancement: a practical technique for software development. Foundations of Empirical Software Engineering: The Legacy of Victor R. BasiliFoundations of Empirical Software Engineering: The Legacy of Victor R. Basili. 1:28-28.
2006. The Goal Question Metric Approach. 5th ACM-IEEE International Symposium on Empirical Software Engineering (ISESE’06).
2007. Get Your Experience Factory Ready for the Next Decade–Ten Years after "How to Build and Run One". Companion to the proceedings of the 29th International Conference on Software Engineering. :167-168.
2003. Matching Software Measurements to Business Goals. Keynote Address at the 2003 Software Management Conference, San Jose, California.
1999. OSMA Software Program: Domain Analysis Guidebook. Technical Reports from UMIACS, UMIACS-TR-99-16.
2007. Protocols in the use of empirical software engineering artifacts. Empirical Software EngineeringEmpirical Software Engineering. 12:107-119.
2008. Structural Sampling for Statistical Software Testing. Probabilistic, Logical and Relational Learning-A Further Synthesis.
1998. Clustering appearances of 3D objects. Computer Vision and Pattern Recognition, 1998. Proceedings. 1998 IEEE Computer Society Conference on. :414-420.