4.11 - 1251 ratings - Source

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 a€c reliability analysis toolbox a€c 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


You Must CONTINUE and create a free account to access unlimited downloads & streaming