Zobrazeno 51 - 60
of 65
pro vyhledávání: '"94(9)"'
Autor:
Heinrich Rust
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time
Extreme Programming has come a long way since its?rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstream, and at the end of last year we saw the second edition of Kent Beck's book on Extreme Programming,
Autor:
Nies Huijsmans, Arnold W.M. Smeulders
This book constitutes the refereed proceedings of the Third International Conference on Visual Information Systems, VISUAL'99, held in Amsterdam, The Netherlands, in June 1999.The 100 revised papers presented were carefully reviewed and selected from
This book constitutes the refereed proceedings of the International Central and European Conference on Multi-Agent Systems, CEEMAS 2003, held in Prague, Czech Republic in June 2003. The 58 revised full papers presented together with 3 invited contrib
Autor:
Helene Kirchner, Christophe Ringeissen
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9–13, 2002, in Saint-Gilles-les-Bains, R´eunion Island, France. The major goal of the AMAS
Autor:
Frithjof Dau
The aim of contextual logic is to provide a formal theory of elementary logic, which is based on the doctrines of concepts, judgements, and conclusions. Concepts are mathematized using Formal Concept Analysis (FCA), while an approach to the formali
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint ca
Diagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the?rst event in a new interdisciplinary conference series on the Theory and Application of Diagrams. It was held at the University of Edinburgh, Scotland, September 1-3, 2000