Past EventsSeptember 26, 2007: University of Minnesota Software Engineering Center (UMSEC), IBM University Relations, and the IBM Academic Initiative invite you to join Grady Booch
UMSEC, IBM University Relations, and the IBM Academic Initiative invite you to join Grady Booch for a stimulating discussion of his curren... December 9, 2006: Method & Apparatus for Handling Intellectual Property
MSSE Seminar Series Saturday, 9 December 2006, 12:30 - 15:45 University of Minnesota, Minneapolis Campus EE/CS Building, Room 3-210 (large lecture h... November 11, 2006: Jamshid Vayghan: Enterprise Architecture -- Challenges and Opportunities
MSSE Seminar Series Saturday, 11 November 2006, 12:30 - 15:45 University of Minnesota, Minneapolis Campus EE/CS Building, Room 3-210 (large lecture ... April 6, 2006: Mark Thompson (Target) : Flavors of Six Sigma and tools to use for business value discovery
Twin-SPIN For the Minneapolis/St. Paul Regional AreaMeeting Announcement:Thursday, April 6, 20065:30-8:00 p.m. at The University of Minnesota 5:30 s... March 9, 2006: Hridesh Rajan (Iowa State University) : Preserving Separation of Concerns through Compilation February 9, 2006: John Knight (University of Minnesota) - Faulty Human Communications: Its Impact on Dependability And What To Do About It January 5, 2006: Mike Whalen - Getting in Really Right--Software Development for Highly Critical Systems November 11, 2005: The Ciao Multiparadigm Programming Language and its Verifying Compiler by Manuel Hermenegildo September 1, 2005: Patrick O'Toole - Overview of the SCAMPI Appraisal Method June 2, 2005: Joyce Statz - Optimizing Software Delivery: Should we Buy, Build, or Outsource? May 5, 2005: Capers Jones - Software Quality in 2005: A survey of the state of the art April 27, 2005: Paul A.G. Sivilotti (Ohio State U): Plausible Clocks with Guaranteed Precision April 19, 2005: Bindings, mobility of bindings, and the nabla-quantifier March 30, 2005: JML and its Unit Testing Tool - a talk by Gary Leavens November 17, 2004: Formal Methods for Verification of Avionics Components at Honeywell Labs - Dr. Darren Cofer (Honeywell Labs) November 13, 2004: Engineering Real-Time Systems -- Dr. Rich Voyles, University of Minnesota November 11, 2004: Requirements Discovery during Testing and Operations - Robyn Lutz (Iowa State and JPL) November 4, 2004: Software Process Development: Using What You Already Know - Patrick Wegerson (Medtronic Inc.) October 23, 2004: Legal and Intellectual Property Issues for Software Professionals - Dan Burk, U of M Law School October 7, 2004: Proving the Shalls: The Future of Requirements - Steve Miller (Rockwell Collins) October 6, 2004: Higher-Order Transformation and the Distributed Data Problem - Victor Winter (UN Omaha) September 16, 2004: Building Ships and Building Software: Practicing Virtue in Software Design September 13, 2004: A Requirements Pattern-Driven Approach to Modeling and Analyzing Embedded Systems - Betty Cheng (Michigan State U) July 29, 2004: Monte Carlo Model Checking - Scott Smolka (SUNY Stony Brook)
|
