Program design calculi

摘要: The development of information processing systems requires models, calculi, and theories for the analysis computations. It is well understood by now that more complex software cannot should not be constructed in one step. A careful, systematic, disciplined structuring process most adequate. start from basic requirement specifications which aU relevant details problem to solved are formalized. envisaged solution developed step adding giving evidence-in best case formal proof-to show correctness steps. ends if a description obtained has required properties. Summer School Marktoberdorf 1992 showed significant approaches this area refinement models computation, as special issue treatment reactive timed systems. Like many summer schools before, success was only due excellent lectures, but even brilliant students taking part discussions at school, exchange different views, recognition similarity number view points. These were some important contributions school. fu following proceedings school collected. They maturity field an impressive way.