[comp.software-eng] Looking for CASE Textbook with emphasis on Automation

newbery@Freeport.ira.uka.de (10/24/90)

In the spring I will be teaching a course on Computer-Aided Software 
Engineering (CASE) with particular emphasis on automation.  
By "automation" I mean: 
  - automatic programming (e.g. program derivation)
  - automatic generation of compilers (or compiler generators), 
  - automatic generation of syntax-directed editors given a formal 
	language description
  - automatic generation of data-structure manipulation tools (e.g. IDL)

Suggestions as to a good text-book on CASE, esp. one with emphasis on
these aspects, would be appreciated.  

Thanks in advance,
Frances Newbery Paulisch (newbery@ira.uka.de)