Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
Semilinear elliptic equations are of fundamental importance for the study of geometry, physics, mechanics, engineering and life sciences. Additionally, some of the simplest variational methods are evolving as classical tools in the field of nonlinear differential equations.
Stabilization of Navier–Stokes Flows presents recent notable progress in the mathematical theory of stabilization of Newtonian fluid flows.
Demand for Randomized Algorithms for Analysis and Control of Uncertain Systems comes from control engineers who wish to apply more workable methods to a variety of... Læs mere
A collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes, this volume reports the results from the projects funded by the programme, which ran between 1997 and 2001.
This text contains the proceedings of the Ninth Mathematics of Surfaces Conference held in... Læs mere
This work brings together in one volume the two areas of legacy systems and business processes. The research discussed has arisen from the EPSRC research programme on Systems Engineering for Business Process Change, and the book contains contributions from experts in the field.
Addresses the design, analysis and simulation of near net-shape operations using some of the most advanced computer techniques/tools available. The... Læs mere
This work comprises the proceedings of the Recent Developments in Control Theory and Applications Workshop, held in Toronto, Canada,... Læs mere
Introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a conceptual basis,... Læs mere