Cover Image

Tool Support for System Specification, Development and Verification /

The correct development of large software systems demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate and precise mathematical formalization. Prototyping can be used as a means for c...

Full description

Bibliographic Details
Main Author:	Berghammer, Rudolf
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lakhnech, Y. (Yassine)
Format:	eBook
Language:	English
Published:	Vienna : Springer Vienna, 1999.
Series:	Advances in computing science.
Subjects:	Computer science. Software engineering. Algebra > Data processing. Computer simulation. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Process Algebra with Timing /
by: Baeten, J. C. M.
Published: (2002)

Parallel Algorithms for Irregular Problems: State of the Art /
by: Ferreira, Afonso
Published: (1995)

Introduction to Process Algebra /
by: Fokkink, Wan
Published: (2000)

Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use Volume 1 /
by: Jensen, Kurt
Published: (1992)

Simulation and Model-Based Methodologies: An Integrative View /
by: Ören, Tuncer I.
Published: (1984)

Advanced Relational Programming /
by: Cacace, Filippo
Published: (1996)

Universal Algebra for Computer Scientists /
by: Wechler, Wolfgang
Published: (1992)

Finiteness and Regularity in Semigroups and Formal Languages /
by: Luca, Aldo
Published: (1999)

Petri Net Algebra /
by: Best, Eike
Published: (2001)

Maritime Simulation : Proceedings of the First Intercontinental Symposium, Munich, June 1985 /
by: Heller, Moshe R.
Published: (1985)

Computers and Mathematics /
by: Kaltofen, Erich
Published: (1989)

Sensation and Measurement : Papers in Honor of S.S. Stevens /
by: Moskowitz, Howard R.
Published: (1974)

Automated Practical Reasoning : Algebraic Approaches /
by: Pfalzgraf, Jochen
Published: (1995)

Applications of Computer Algebra /
by: Pavelle, Richard
Published: (1985)

Algebra, Geometry and Software Systems /
by: Joswig, Michael
Published: (2003)

Virtual Environments and Scientific Visualization '96 : Proceedings of the Eurographics Workshops in Monte Carlo, Monaco, February 19-20, 1996, and in Prague, Czech Republic, April 23-25, 1996 /
by: Göbel, M. (Martin)
Published: (1996)

Distributed Virtual Worlds : Foundations and Implementation Techniques Using VRML, Java, and CORBA /
by: Diehl, Stephan
Published: (2001)

Virtual Environments 2000 : Proceedings of the Eurographics Workshop in Amsterdam, the Netherlands, June 1-2, 2000 /
by: Mulder, Jurriaan
Published: (2000)

Virtual Environments '98 : Proceedings of the Eurographics Workshop in Stuttgart, Germany, June 16-18, 1998 /
by: Göbel, M. (Martin)
Published: (1998)

Virtual Environments '99 : Proceedings of the Eurographics Workshop in Vienna, Austria, May 31-June 1, 1999 /
by: Gervautz, M. (Michael)
Published: (1999)

Pi - Unleashed /
by: Arndt, Jörg
Published: (2001)

Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use /
by: Jensen, Kurt
Published: (1997)

Polynomial Algorithms in Computer Algebra /
by: Winkler, Franz
Published: (1996)

Come, Let's Play : Scenario-Based Programming Using LSCs and the Play-Engine /
by: Harʼel, Daṿid
Published: (2003)

The Object-Z Specification Language /
by: Smith, Graeme
Published: (2000)

Geometric Modelling : Dagstuhl 1993 /
by: Hagen, H.
Published: (1995)

Geometric Modelling /
by: Farin, G.
Published: (1993)

Advances in the Design of Symbolic Computation Systems /
by: Miola, Alfonso
Published: (1997)

Computer Algebra Recipes : A Gourmet's Guide to the Mathematical Models of Science /
by: Enns, Richard H.
Published: (2001)

Geometric Modeling: Theory and Practice : the State of the Art /
by: Strasser, Wolfgang
Published: (1997)

Compositional Verification of Concurrent and Real-Time Systems /
by: Juan, Eric Y. T.
Published: (2002)

Verification and Validation of Real-Time Software /
by: Quirk, William J.
Published: (1985)

Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints /
by: Ehrig, Hartmut
Published: (1990)

Advances in Scientific Visualization /
by: Post, Frits H.
Published: (1992)

Visualization in Scientific Computing /
by: Grave, Michel
Published: (1994)

A Survey of Verification Techniques for Parallel Programs /
by: Barringer, Howard
Published: (1985)

LISP Lore: A Guide to Programming the LISP Machine /
by: Bromley, Hank
Published: (1987)

Lisp Lore: A Guide to Programming the Lisp Machine /
by: Bromley, Hank
Published: (1986)

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics /
by: Ehrig, Hartmut
Published: (1985)

Computer Aided Systems Theory - EUROCAST '97 : A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings /
by: Pichler, Franz, Dr
Published: (1997)