Bengt Jonsson

Volume yield to mid-rotation in pure and mixed sown stands of Scots pine and Norway spruce was investigated in an experiment in central Sweden. The 43-year-old stands were situated on a 7-ha site and were treated and inventoried at the time of establishment, then at intervals in the life of the stands, to give results at half-rotation age. The dynamics of the mixed stands implied a favourable ecological mixed-stand effect on the height growth of spruce in early development and before crown closure. Even at this stage, pines were taller than spruces, but height was not influenced by admixture with spruce. Pines continued to grow faster than spruces in both height and diameter, resulting in dense mixed stands with dominant pines and co-dominant or suppressed spruces. Diameter of pines was increased by weaker competition for nutrients, while weaker competition for light led to a lower height of dominant pines in mixed stands than in pure pine stands. The results indicate a slight etiolation effect of competition for light in the crown layer. Total volume yield was higher in mixed stands than the mean yield in pure stands of pine and spruce, mainly owing to the dominance of pine in mixed stands. However, it was lower in mixed stands than in pure pine stands. The growth dynamics to the present time indicates that, after a slow start, volume growth of spruce increases remarkably in pure stands and increases slightly in mixed stands. while volume growth of pine began early and is culminating.

Volume Yield to Mid-rotation in Pure and Mixed Sown Stands of Pinus Sylvestris and Picea Abies in Sweden

Manfred Broy

Joost-Pieter Katoen

Martin Leucker

Alexander Pretschner

Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.

Advanced Lectures

Model-Based Testing of Reactive Systems

Joachim Parrow

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.

Bengt Jonsson

Books

Your next favorite book is out there