I Overview.- 1 An Overview of the DAIDA Framework.- II Languages for Information Systems.- 2 Representing Knowledge About Information Systems in Telos.- 3 The TaxisDL Software Description Language.- 4 Modular and Rule-Based Database Programming in DBPL.- III Methods and Environments: Upper CASE.- 5 Requirements Modelling and System Specification in a Logic Based Knowledge Representation Framework.- 6 Modeling Security Requirements in Information Systems.- 7 Group Support and Change Propagation in Requirements Engineering.- 8 Mapping Information System Requirements to Designs.- IV Methods and Environments: Lower CASE.- 9 Specification and Refinement of Databases and Transactions.- 10 DBPL: The System and its Environment.- 11 From an Object-Based Prototyping Tool to a Complete Object-Oriented Environment.- V Software Process Management.- 12 ConceptBase: A Telos-Based Software Information System.- 13 Process Services in ConceptBase.- 14 Decision-Oriented Configuration Management.- 15 ConceptTalk: Team Support in IS Development.- 16 Change-Oriented Software Project Management.- 17 GraFlc: A Graphical Browser and Editor for Knowledge Bases.- Authors.- List of Figures.