[Prev][Next][Index][Thread]
Lewerentz, Tues, 7/5
-
To: lieber%corwin.ccs.northeastern.edu@RELAY.CS.NET, abbas%corwin.ccs.northeastern.edu@RELAY.CS.NET, zywang@bleys.LCS.MIT.EDU, woolf@eric.LCS.MIT.EDU, oliva%corwin.ccs.northeastern.edu@RELAY.CS.NET, holland%corwin.ccs.northeastern.edu@RELAY.CS.NET, riel%corwin.ccs.northeastern.edu@RELAY.CS.NET, bwhite%.umb.edu@RELAY.CS.NET, gerald%grn.umb.edu@RELAY.CS.NET, muller@bu-cs.bu.edu, kfoury@bu-cs.bu.edu, raf@bu-cs.bu.edu, dsmith%cs.brandeis.edu@RELAY.CS.NET, jmiller%cs.brandeis.edu@RELAY.CS.NET, mairson%cs.brandeis.edu@RELAY.CS.NET, pmo%icad.uucp@THINK.COM, attend-types@THEORY.LCS.MIT.EDU, attend-logic@THEORY.LCS.MIT.EDU
-
Subject: Lewerentz, Tues, 7/5
-
From: Mitchell Wand <wand%corwin.ccs.northeastern.edu@RELAY.CS.NET>
-
Date: Thu, 30 Jun 88 15:27:03 EDT
Concepts and Tools for Interactive Design of Large Programs
Claus Lewerentz
Aachen University of Technology
Aachen, West Germany
12:00 Noon
Tuesday, July 5, 1988
149 Cullinane Hall
Northeastern University
This talk will cover different aspects of the IPSEN Project (Incremental
and integrated Programming Support ENvironment). As part of this research
project he developed concepts for the description of the structure of large
software systems and corresponding interactive tools to build and maintain such
software architectures.
Problems and solutions are discussed on three different levels:
1) Development of formal methods and languages. A module
interconnection language is presented and the formal
specification method (i.e., graph rewriting systems that has been
used to define such languages and the corresponding tools
(syntax-oriented editors, analyzers).
2) Design and implementation of the software development
environment itself. The previously mentioned methods and
languages have been used to design and to implement the tools.
Aspects of tool integration, the development of a standard
software architecture, and efficient implementation based on a
special data base system are emphasized.
3) the user's view of the software development environment, i.e,
the user interface of the integrated and incremental working
tools and their functional behavior.
The IPSEN-System is implemented in Modula-2 on Sun3 workstations.
A demonstration of the system will be given after the talk.