TAPSOFT'97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings
Michel Bidoit, Max Dauchet
Springer, May 9, 1997 - Computers - 884 pages
This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997. The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract abstract data types action algebraic specification algorithm application architectural automata automaton axioms bisimulation calculus CASL complete components conditional consider constraints construction constructor context corresponding data types defined definition denote domain dynamic dynamic binding equational logic equivalence example exists expression extended finite first-order formal methods formula framework function generalisation given graph acceptor Hoare logic implementation induction infinite initial inmess input instantiation integers labelled Lemma LNCS model checking module morphism node notion occurrence operational semantics operations outerplanar graphs pair partial orders predicate problem Proc programming language proof Proposition prove recursive reduction refinement refinement function relation result rewrite rules rewriting systems satisfies second-order logic semantics sequence signal signature solution sort structure subsort subterm subtyping symbols synchronization technique termination Theorem theory tion transition relation tree tuple type inference type system variables verification