an:01642144
Zbl 0972.00060
Hoare, Tony (ed.); Broy, Manfred (ed.); Steinbr??ggen, Ralf (ed.)
Engineering theories of software construction. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 25 -- August 6, 2000
EN
NATO Science Series III: Computer \& Systems Sciences. 180. Amsterdam: IOS Press. Tokyo: Ohmsha. ix, 357 p. (2001).
2001
b
00B25 68-06
Marktoberdorf (Germany); Proceedings; Workshop; Engineering theories; Software construction
The articles of this volume will be reviewed individually.
Indexed articles:
\textit{Jackson, Michael}, Problem analysis and structure, 3-20 [Zbl 0989.68013]
\textit{Hoare, C. A. R.; He, Jifeng}, Unifying theories for logic programming, 21-45 [Zbl 1005.68036]
\textit{Peyton Jones, Simon}, Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell, 47-96 [Zbl 0989.68021]
\textit{MacQueen, David}, Adaptation in HOT languages comparing polymorphism, modules, and objects, 97-132 [Zbl 0989.68015]
\textit{Turski, W??adys??aw M.}, Programming for behaviour, 135-148 [Zbl 0989.68090]
\textit{Broy, Manfred}, From states to histories relating state and history views onto systems, 149-186 [Zbl 0989.68091]
\textit{Parrow, Joachim}, The \(\pi\)-calculus: An introduction, 187-222 [Zbl 0995.68066]
\textit{Tofts, Chris}, Performance modelling using probabilistic process algebra, 223-257 [Zbl 0989.68102]
\textit{Pnueli, Amir; Kesten, Yonit}, Taming the infinite: Verification of infinite-state reactive systems by finitary means, 261-299 [Zbl 0989.68092]
\textit{Nelson, Greg}, Extended static checking, 301-308 [Zbl 0991.68011]
\textit{Holzmann, Gerard J.}, Software model checking, 309-355 [Zbl 0989.68093]