Artículos relacionados a Algebraic Foundations of Systems Specification (IFIP...
Sinopsis
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 48,24
EUR 7,65 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Algebraic Foundations of Systems Specification (IFIP...
Imagen de archivo
Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783642641510
Cantidad disponible: 2 disponibles
Imagen del vendedor
Algebraic Foundations of Systems Specification
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 18724342-n
Cantidad disponible: 15 disponibles
Imagen de archivo
Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020232542
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Algebraic Foundations of Systems Specification (Paperback)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642641512
ISBN 13: 9783642641510
Nuevo
Paperback
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab stract data types and the formal development of first-order applicative pro grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati cally founded in universal algebra, category theory and logic. The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783642641510
Cantidad disponible: 1 disponibles
Imagen del vendedor
Algebraic Foundations of Systems Specification
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 18724342
Cantidad disponible: 15 disponibles
Imagen de archivo
Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642641510_new
Gastos de envío:
EUR 13,75
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)
Publicado por
IFIP International Federation for Information Processing 1999-01-01, 1999
ISBN 10: 3642641512
ISBN 13: 9783642641510
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783642641510
Gastos de envío:
EUR 17,78
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 10 disponibles
Imagen del vendedor
Algebraic Foundations of Systems Specification
Publicado por
Springer Berlin Heidelberg Okt 2011, 2011
ISBN 10: 3642641512
ISBN 13: 9783642641510
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic ideas of algebraic specification in the mid seventies in the U. S. A. and Canada, they initiated a very successful and still flourishing new area. In the late seventies, algebraic specification became a major research topic also in many European countries. Originally, the algebraic framework was intended for the mathematical foundation of ab stract data types and the formal development of first-order applicative pro grams. Meanwhile, the range of applications has been extended to the precise specification of complete software systems, the uniform definition of syntax and semantics of programming languages, and to the stepwise development of correct systems from the requirement definitions to the running programs. The activities in the last 25 years have led to an abundance of concepts, methods, approaches, theories, languages and tools, which are mathemati cally founded in universal algebra, category theory and logic. 632 pp. Englisch. Nº de ref. del artículo: 9783642641510
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen de archivo
Algebraic Foundations of Systems Specification
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011
ISBN 10: 3642641512
ISBN 13: 9783642641510
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Editor(s): Astesiano, Egidio; Kreowski, Hans-Jorg; Krieg-Bruckner, Bernd. Series: IFIP State-of-the-Art Reports. Num Pages: 616 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 942. . 2011. Softcover reprint of the original 1st ed. 1999. paperback. . . . . Nº de ref. del artículo: V9783642641510
Gastos de envío:
EUR 10,50
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 15 disponibles
Imagen de archivo
Algebraic Foundations of Systems Specification
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 632. Nº de ref. del artículo: 2658580059
Cantidad disponible: 4 disponibles