Correct Software in Web Applications and Web Services by Bernhard Thalheim
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.-
Advances in the Design of Symbolic Computation Systems
-
Algorithms in Invariant Theory
-
An Invitation to Analytic Combinatorics
-
An Introduction to Computational Origami
-
The Concrete Tetrahedron
-
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
-
Numerical and Symbolic Scientific Computing
-
Anti-Differentiation and the Calculation of Feynman Amplitudes
-
Integration in Finite Terms: Fundamental Sources
-
Approximate Commutative Algebra
-
Concrete Abstractions
-
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
-
Computer - Human Interaction in Symbolic Computation
-
Loewy Decomposition of Linear Differential Equations
-
Thinking Programs
-
Mechanical Theorem Proving in Geometries
-
Computer-Supported Calculus
-
Polynomial Algorithms in Computer Algebra
-
The Symbolic Computation of Integrability Structures for Partial Differential Equations
-
Computer Algebra in Quantum Field Theory
-
Quantifier Elimination and Cylindrical Algebraic Decomposition
Klaus-Dieter Schewe is Professor at the UIUC Institute of Zhejiang University. Before he had worked as Professor of Computer Science at the Technical University of Clausthal, Massey University and Johannes Kepler University Linz as well as in industrial and non-university research organisations of Philips Research Laboratory Hamburg and Software Competence Center Hagenberg. His main fields of research cover rigorous methods, logic and semantics, data and knowledge base theory, distributed and hybrid systems, and conceptual modelling, in particular web information systems. He received several awards as distinguished researcher in New Zealand and Austria.
Bernhard Thalheim is Full Professor of Databases and Information Systems at Christian-Albrechts-University Kiel and honorary Kolmogorov Professor at Moscow State University Lomonossov. Before being appointed to Kiel he worked as Professor at the Universities of Dresden, Rostock and Cottbus. His main fields of research cover databases and information systems, and conceptual modelling, in particular web information systems and foundations of modelling. He is author of the book Entity-relationship modeling - foundations of database technology.
Bernhard Thalheim is Full Professor of Databases and Information Systems at Christian-Albrechts-University Kiel and honorary Kolmogorov Professor at Moscow State University Lomonossov. Before being appointed to Kiel he worked as Professor at the Universities of Dresden, Rostock and Cottbus. His main fields of research cover databases and information systems, and conceptual modelling, in particular web information systems and foundations of modelling. He is author of the book Entity-relationship modeling - foundations of database technology.
| SKU | Unavailable |
| ISBN 13 | 9783319347271 |
| ISBN 10 | 3319347276 |
| Title | Correct Software in Web Applications and Web Services |
| Author | Bernhard Thalheim |
| Series | Texts And Monographs In Symbolic Computation Ser |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer International Publishing AG |
| Year published | 2016-10-09 |
| Number of pages | 332 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |