What people are saying - Write a review
We haven't found any reviews in the usual places.
Parametrized Programming and its Application to Rapid
8 other sections not shown
abstract data type algorithm analysis application approach arcs automated automatic program axioms boolean function branch testing cause-effect graph COBOL components control flow graph corresponding data type database dd paths defined definition described document errors essential branches example executed expression facility functional specification functional testing IEEE inheritor inheritor-reduced graph input inspection integrated interface Japan Japanese knowledge engineering logic M-nets method modal logic module natural language notation OBJ2 object operation operational semantics paradigm parametrized PGEN phase problem Proc procedure production rules program code prototyping quality assurance re-use requirements SEA/I sentences sequence shown in Figure software design software development software development process software engineering environment software factory software production software quality software system software testing sort source code SPD diagrams SPDTOOLS statement structure structured programming symbol Table target techniques tion transformation transition variable