Nimm drei und bezahle nur zwei mit dem Gutschein DREIFACH
von Marco Bernardo, Paola Inverardi · Springer · tapa blanda · 296 Seiten
* Alle unsere Produkte werden sorgfältig geprüft, um eine nachhaltige Kultur zu fördern.
Jedes Produkt wird vor dem Versand geprüft, gereinigt und verifiziert. Wenn es nicht Ihren Erwartungen entspricht, erstatten wir Ihnen das Geld.
Este libro presenta las conferencias tutoriales impartidas por autoridades líderes en la Tercera Escuela Internacional sobre Métodos Formales para el Diseño de Sistemas Informáticos, de Comunicación y de Software, SFM 2003, celebrada en Bertinoro, Italia, en septiembre de 2003. El libro es ideal para cursos avanzados sobre arquitectura de software, así como para la formación continua de ingenieros de software que utilizan métodos formales en su trabajo profesional diario. En los últimos diez años, la arquitectura de software se ha convertido en una noción central en el desarrollo de sistemas de software complejos. La arquitectura de software es ahora aceptada en la comunidad de investigación y desarrollo de ingeniería de software como una abstracción manejable y significativa del sistema en desarrollo y se aplica a lo largo del ciclo de vida del desarrollo de software, desde el análisis y la validación de los requisitos hasta el diseño y hasta el nivel de código y ejecución.
