Seven sections containing 23 papers cover synthesis, formal specifications, legal issues, knowledge-based environments, process, reused and re-engineering, and program understanding. They focus on techniques for constructing, representing, reasoning with, and understanding software artifacts and processes. Annotation copyright by Book News, Inc., Portland, OR... network, and a goal stating what has to be computed, the planner of NUT synthesizes a program, if the problem stated in the goal is solvable. ... language for computing with streams ac reliability analysis toolbox ac simulation of a mobile phone network. tunAr HU: lit Edit Gr^htc* clock? ... 92. r ^ ra Gl G2 G3 G4 SGI 0 0 0 0 SG2.
|Publisher||:||IEEE Computer Society Press - 1995|