Laboratory in Software Engineering, Fall 2001

Abstract:: Introduces concepts and techniques relevant to the production of large software systems. Students taught a programming method based on the recognition and description of useful abstractions. Topics: modularity; specification; data abstraction; object modeling; design patterns; and testing. Several programming projects of varying size undertaken by students working individually and in groups.

Laboratory in Software Engineering, Fall 2005

Abstract:: This course is a core electrical engineering computer science subject at MIT. It introduces concepts and techniques relevant to the production of large software systems. Students are taught a programming method based on the recognition and description of useful abstractions. Topics include: modularity; specification; data abstraction; object modeling; design patterns; and testing. Several programming projects of varying size undertaken by students working individually and in groups.

Abstract:: An introduction to the basic principles of computer systems with emphasis on the use of rigorous techniques as an aid to understanding and building modern computing systems. Particular attention paid to concurrent and distributed systems. Topics include: specification and verification, concurrent algorithms, synchronization, naming, Networking, replication techniques (including distributed cache management), and principles and algorithms for achieving reliability.

No Strings Attached

Abstract:: This course, as the name suggest, is intended to help authors who want to publish mathematical content on web. The emphasis here is to enable learners to quickly adapt to the extensive mathML markup language and begin writing codes even without a specialized editor, available commercially. The course is presented in the form of a tutorial, which essentially saves on unnecessary details. This tutorial is not intended currently (may be supplemented later with the help coming from others) to be a comprehensive treatment on mathML. The presentation here is restricted to areas which form the basic part of the electronic publication of mathematical content.