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