Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Thomson, Steven A
ISBN 10: 1249834279 ISBN 13: 9781249834274
Editorial: Biblioscholar, 2012
Nuevos
Encuadernación de tapa blanda
Librería:
Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 25 de marzo de 2015
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
In. N° de ref. del artículo ria9781249834274_new
Sinopsis:
The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (VV). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V and V of software systems.
Reseña del editor: The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (VV). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V and V of software systems.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Validation and Verification of Formal ...
Editorial: Biblioscholar
Año de publicación: 2012
Encuadernación: Encuadernación de tapa blanda
Condición: New
Los mejores resultados en AbeBooks
Imagen de archivo
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
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: 9781249834274
Cantidad disponible: 1 disponibles
Imagen de archivo
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
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: ABLIING23Mar2411530018921
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9781249834274
Cantidad disponible: 10 disponibles
Imagen de archivo
Validation and Verification of Formal Specifications in ObjectOriented Software Engineering
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781249834274
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Validation and Verification of Formal Specifications in ObjectOriented Software Engineering
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781249834274
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Publicado por
Biblioscholar, 2012
ISBN 10: 1249834279
ISBN 13: 9781249834274
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 416. Nº de ref. del artículo: C9781249834274
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Publicado por
Books on Demand|BiblioScholar, 2012
ISBN 10: 1249834279
ISBN 13: 9781249834274
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such. Nº de ref. del artículo: 6489221
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 212. Nº de ref. del artículo: 26393273635
Cantidad disponible: 4 disponibles
Imagen de archivo
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 212. Nº de ref. del artículo: 386359036
Cantidad disponible: 4 disponibles
Imagen de archivo
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 212. Nº de ref. del artículo: 18393273641
Cantidad disponible: 4 disponibles