What people are saying - Write a review
We haven't found any reviews in the usual places.
Aho Alfred V
Bridging the Gap between Source and HighLevel Models
Griffeth Nancy D 2
8 other sections not shown
abstraction actions approach behavior belief breakpoint cache coherence call/return client colimit collection meeting components context corresponding cost dataflow dataflow analysis defined definition Demand-Tabulation Algorithm distributed example execution exhaustive algorithm extract failure feature interactions finite state machines formal formal methods function functor given global graph high-level model hybrid slice IEEE implementation init input inspection interface processes interprocedural chop interval methods model checking model entities module morphisms name management NetBSD node operations output Params plug-in predicate problem Proc procedure Programming Languages protocol realizable path reflexion model relation reliability represent requires same-level Section semantics sequence server signature SIGSOFT software development Software Engineering source model spec specification match Spost statement static slices subslices summary edges supergraph techniques temporal logic test suite tion transition relation transition system valid valid path variables version set vertex