Software Engineering 86David John Barnes, Peter John Brown |
Contents
Assisting the analystthe aims and approaches of the analyst assist project | 3 |
Language constructs for specifying concurrency in CDL R K Shyamasundar | 9 |
P Naur A W Brown D S Robinson | 50 |
Copyright | |
20 other sections not shown
Common terms and phrases
abstract data types action activity definition agent algorithmic allows analysis application approach architecture array ASPECT system ASPIK automated CALL REQUEST components configuration constructs control flow corresponding course data flow data flow diagrams data structures debugging defined described DFDs diagrams dialogue dictionary embedded software ENTRY PROC environment error example executing activity existing expression facilities Figure flowgraph formal specification function graph identify IEEE imperative program implementation INFO information base Information Systems input integrity interaction interface labels logical logical graph MAJIC methods metrics microcode microcontroller ModPascal module nodes notation objects operations output paper parameters Perq predicate problem procedures process types program structure programming language prototype rasterop refinement relationships requirements resource scheme scope ratio semantics sequence simulation software development Software Engineering static rules techniques tion transformation UNIX variable