University of Minnesota
Software Engineering Center

You are here

Dr. Mats Heimdahl and Dr. Michael Whalen (Univ of Minnesota) - The Future of Software Engineering

Date of Event: 
Thursday, December 2, 2010 - 5:30pm
University of Minnesota, Minneapolis, MN

The last decades there have been some drastic changes in how we develop software. The internet and emergence of standardized notations (such as HTML/XML) have been the fundamental reasons that software as a service has become practicable. Additional technologies such as Java, the various scripting languages (Python, Ruby, etc), and agile development have also had an influence (sometimes for the worse). Nevertheless, the state of the art in software engineering does not seem to have advanced radically the last decade. The question now is, what will we face in the future? What are the trends, technologies, and problems lurking just around the corner that we ought to keep an eye on before they hit us in the face? What emerging technologies are likely to be adopted and have dramatic impacts on software development practice?

In this talk we will provide our thoughts regarding the big challenges and new developments we will be facing in the next 2-5 years. We can summarize the issues succinctly:

  • Rediscover the *Engineering* in Software Engineering reducing incompetence and getting back to basics
  • Security: It will be a problem for all of us and increase the quality demands on software dramatically.
  • Parallelism: Multicore/Manycore/Cloud Computing Languages, patterns, and mechanisms for making parallelism effective for "mere mortals" will be extremely important.
  • Automated Analysis: Increased analysis capabilities will shortly be ubiquitous in modern IDEs and other environments (such as for testing, requirements, and design). Leveraging this technology well will be crucial.

There will be ample time to discuss, agree, comment, and/or argue with the presenters and audience members. We are sure you have opinions differing from ours.


Directions can be found on the map of the Electrical Engineering/Computer Science Building.
Check out the detailed map by clicking the “close up” button.


Keller (EE/CS) 3- 111 (Look for signs)

This Month's Meeting
Program Manager: 
Larry Green
Dr. Mats Heimdahl - Department of Computer Science and Engineering, University of Minnesota
Dr. Michael Whalen - Department of Computer Science and Engineering, University of Minnesota
The Future of Software Engineering

5:30-8:00 p.m. at The University of Minnesota
5:30 start for networking, 6:15 start of meeting


We have reserved parking at the Washington Avenue Ramp! If there is event parking, tell the parking attendant when you enter that you have a reservation with TwinSPIN. If there is no event parking, take a ticket and tell the parking attendant when you leave that you have a reservation with TwinSPIN.

Speaker Bio: 

Dr. Mats Heimdahl earned an M.S. in Computer Science and Engineering from the Royal Institute of Technology in Stockholm, Sweden and a Ph.D. in Information and Computer Science from the University of California at Irvine. He is currently a Full Professor of Computer Science and Engineering at the University of Minnesota, the Director of the University of Minnesota Software Engineering Center (UMSEC), and the Director of Graduate Studies for the Master of Science in Software Engineering program.

Dr. Michael Whalen is the Program Director at the University of Minnesota Software Engineering Center. Dr. Whalen is interested in formal analysis, compilers, testing, and requirements engineering. He has developed simulation, translation, testing, and formal analysis tools for MBD languages including Simulink, Stateflow, Lustre, and RSML-e, and has published over 25 papers on these topics. He has led successful formal verification projects on large industrial avionics models, including displays (Rockwell-Collins ADGS-2100 Window Manager), redundancy management and control allocation (AFRL CerTA FCS program) and autoland (AFRL CerTA CPD program). His PhD dissertation involved using higher-order abstract syntax as a basis for a provably-correct code generation tool from the RSML-e specification language into a subset of C.