|
Sign up to receive special event notifications by email. Upcoming EventsJuly 16, 2008: Summer Software Symposium 2008
Predictable quality is a key aspect of today's complex medical devices. The Summer Software Symposium: Assuring Confidence in Predictable Quality of C...
Past EventsJanuary 17, 2008: Code Freeze 2008
Symposium theme: "Innovation"
Please join us for an action-packed day, where we
will discuss business innovations for 4 hours in the mor... December 8, 2007: Security and Peer-to-peer Systems
MSSE Seminar SeriesProf. Yongdae KimIn this talk, we discuss some of the security issues related with
P2P systems. In the first part of the talk,... November 10, 2007: An Iterative Approach to Healthcare Connectivity
MSSE Seminar SeriesJohn Feikema and Brett Peterson of VisionShare, Inc.
The healthcare system requires significant amounts of
communicatio... October 13, 2007: Software as Strategy
MSSE Seminar Series Jamie Thingelstad, CTO and VP for the Wall Street Journal Digital Network Abstract:
Starting technology-leveraged comp... September 26, 2007: University of Minnesota Software Engineering Center (UMSEC), IBM University Relations, and the IBM Academic Initiative invite you to join Grady Booch September 22, 2007: Worlds In Collision: Methodology Mashups in the Enterprise September 5, 2007: Scalable Computing at amazon.com May 22, 2007: MS in Software Engineering Information Session April 26, 2007: MS in Software Engineering Information Session March 21, 2007: MS in Software Engineering Information Session February 6, 2007: MS in Software Engineering Information Session January 11, 2007: Code Freeze 2007: Global Development December 9, 2006: Method & Apparatus for Handling Intellectual Property November 11, 2006: Jamshid Vayghan: Enterprise Architecture -- Challenges and Opportunities November 7, 2006: MS in Software Engineering Information Session October 14, 2006: Joe Konstan and Loren Terveen: Human-Computer Interaction - Research in a Triangle Bounded by Technology, Design, and Behavioral Science September 26, 2006: MS in Software Engineering Information Session September 23, 2006: Chuck Huff - Software Engineering Ethics May 15, 2006: MS in Software Engineering Information Session in Rochester, MN April 6, 2006: Mark Thompson (Target) : Flavors of Six Sigma and tools to use for business value discovery April 5, 2006: MS in Software Engineering Information Session 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 13, 2006: Code Freeze 2006 January 5, 2006: Mike Whalen - Getting in Really Right--Software Development for Highly Critical Systems December 17, 2005: John Riedl and Jim Pichler - Software Engineering in a Startup Environment December 10, 2005: Open-Source in Business, Open-Source as a Business Model November 16, 2005: MSSE Program Information Session November 12, 2005: Eric Van Wyk - Extensible programming languages 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 19, 2005: MSSE Information Session May 5, 2005: Capers Jones - Software Quality in 2005: A survey of the state of the art April 28, 2005: Presentation of Employer-Friendly Graduate Programs in Computer Science and Engineering 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 April 11, 2005: MSSE Information Session March 30, 2005: JML and its Unit Testing Tool - a talk by Gary Leavens March 8, 2005: MSSE Information Session March 3, 2005: TwinSPIN Meeting February 23, 2005: MSSE Information Session December 11, 2004: Security on the front line -- Alan Amesbury, University of Minnesota 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 8, 2004: CSGSA Poster Session 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 25, 2004: Chuck Huff: Practicing Virtue in Software Design 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)
|
