A Brief Survey of the Team Software ProcessSM (TSPSM) James McHale Team Software Process (TSP) Initiative. McHale is a senior member of the technical staff at the SEI. Prior to joining the SEI in 1999, he spent more than

First Page		Document Content
Date: 2011-10-24 10:53:30 Team Software Process Capability Maturity Model Integration Carnegie Mellon University Software quality Project management Software engineering Personal Software Process Watts Humphrey Software development Software development process Software		A Brief Survey of the Team Software ProcessSM (TSPSM) James McHale Team Software Process (TSP) Initiative. McHale is a senior member of the technical staff at the SEI. Prior to joining the SEI in 1999, he spent more than Add to Reading List Source URL: www.sei.cmu.edu Download Document from Source Website File Size: 1,87 MB Share Document on Facebook

	Host Family Program Carnegie Mellon University-Africa is proud to announce the launch of a Host Family Program for International Students in our Kigali Campus. Host family is a vital part of a cultural exchange, immersin DocID: 1xW2t - View Document
	Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University DocID: 1xVXp - View Document
	An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA DocID: 1xVmH - View Document
	Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org DocID: 1xVaE - View Document
	Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University DocID: 1xV3H - View Document