{"product_id":"software-abstractions-revised-edition-logic-language-and-analysis-9780262528900","title":"Abstracciones de software, edición revisada: Lógica, lenguaje y análisis","description":"\u003cb\u003eUn enfoque al diseño de software que introduce un análisis completamente automatizado que brinda a los diseñadores retroalimentación inmediata, ahora con la última versión del lenguaje Alloy.\u003c\/b\u003e\u003cp\u003eEn \u003ci\u003eSoftware Abstractions\u003c\/i\u003e, Daniel Jackson introduce un enfoque al diseño de software que se basa en métodos formales tradicionales pero que explota herramientas automatizadas para encontrar fallas lo antes posible. Este enfoque —que Jackson denomina \"métodos formales ligeros\" o \"modelado ágil\"— toma de la especificación formal la idea de una notación precisa y expresiva basada en un núcleo diminuto de conceptos simples y robustos, pero reemplaza el análisis convencional basado en la prueba de teoremas con un análisis completamente automatizado que brinda a los diseñadores retroalimentación inmediata. Jackson ha desarrollado Alloy, un lenguaje que captura la esencia de las abstracciones de software de forma simple y concisa, utilizando un conjunto mínimo de nociones matemáticas. Esta edición revisada actualiza el texto, los ejemplos y los apéndices para que sean totalmente compatibles con Alloy 4.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-16597373\"\u003eDaniel Jackson\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e MIT Press\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 12\/02\/2016\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 376\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.10 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 8.90 pulgadas de alto x 5.90 pulgadas de ancho x 0.80 pulgadas de profundidad\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780262528900\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0262528908\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM051240\"\u003eDesarrollo e ingeniería de software | Análisis y diseño de sistemas\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eAcerca del autor\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eDaniel Jackson es profesor en el Departamento de Ingeniería Eléctrica y Ciencias de la Computación y dirige el Grupo de Diseño de Software en el Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT.\u003c\/p\u003e","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":44702540562669,"sku":"9780262528900","price":66.67,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_4f49bfda-540b-4e34-8141-1f9dee88e26d.jpg?v=1703889335","url":"https:\/\/sureshotbooks.com\/es\/products\/software-abstractions-revised-edition-logic-language-and-analysis-9780262528900","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}