TAPSOFT'97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings

Front Cover
Springer Science & Business Media, Apr 2, 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.

Contents

II
3
III
6
IV
11
V
15
VI
20
VII
39
VIII
40
X
67
XLI
465
XLII
478
XLIII
490
XLIV
503
XLV
505
XLVI
520
XLVII
535
XLVIII
550

XI
93
XII
115
XIII
139
XIV
141
XV
153
XVI
165
XVII
177
XVIII
189
XIX
201
XX
213
XXI
225
XXII
237
XXIII
249
XXIV
261
XXV
273
XXVI
285
XXVII
297
XXVIII
309
XXIX
321
XXX
333
XXXI
345
XXXII
357
XXXIII
369
XXXIV
381
XXXV
393
XXXVI
405
XXXVII
417
XXXVIII
429
XXXIX
441
XL
453
XLIX
565
L
580
LI
595
LII
607
LIII
622
LIV
637
LV
652
LVI
667
LVII
682
LVIII
697
LIX
712
LX
727
LXI
742
LXII
757
LXIII
772
LXIV
787
LXV
803
LXVI
818
LXVII
833
LXVIII
849
LXIX
851
LXX
855
LXXI
859
LXXII
863
LXXIII
867
LXXIV
871
LXXV
875
LXXVI
879
LXXVII
883
Copyright

Common terms and phrases

Popular passages

Page 832 - Augustin, J. Vera, D. Bryan, and W. Mann. Specification and Analysis of System Architecture Using Rapide.
Page 862 - References [1] M. Abadi, M. Burrows, B. Lampson, and G. Plotkin, "A Calculus for Access Control in Distributed Systems," ACM Transactions on Programming Languages and Systems, 15 (1993), pp.

Bibliographic information