90 pages matching IFIP in this book
Results 1-3 of 90
What people are saying - Write a review
We haven't found any reviews in the usual places.
TECHNIQUES AND FORMAL TOOLS
An attempt for a generalized problem solution support system
10 other sections not shown
abstraction action activities administration algorithm alternative application approach aspects bounded rationality C/0 model communication component concept consistent context control system cost data base Data Map data processing database management systems datalogical DBMs decision makers Decision Support Systems defined definition design process DSSs environment evaluation evolution evolutionary example experimental factors Figure formal language formal models framework function Hawgood editor human IFIP impacts implementation INFOLOG information processing Information Systems Design information systems development input interface Kerola knowledge Langefors logical ment methodology methods monitoring morphism node North-Holland Publishing Company operational organization organizational paper paradigm perspective Petri Petri nets planning possible problem Proc procedures processing style production programming language prototype PrT-net role rules S-invariants semantics Simula simulation model Software Engineering solution solving specification language stage structure system model techniques theory tion transition diagram update