A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors /

Contiene: 1) Componentes de una teoría. 2) Hacia un lenguaje de acción. 3) Propiedades formales de los comportamientos. 4) Demostrar propiedades conductuales. 5) Instalaciones lingüísticas básicas. 6) Fundamentos de la metodología del diseño. 7) Orientación a objetos elaborada. 8) Componentes e inte...

Celý popis

Podrobná bibliografie

Hlavní autor:	Kurki-Suonio, reino (autor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlín, Alemania : Springer, 2005, c2005
Edice:	(Texts in Theoretical Computer Science An EATCS Series)
Témata:	Cómputo Distribuido Programación Orientada a Objetos Programación (Software) - > Teoría - > Tema Principal Programación (Software) - > Tema Principal Desarrollo de Sistemas Sistemas en Tiempo Real Sistemas Computacionales - > Tema Principal Ingeniería de Software Ingeniería Computacional
On-line přístup:	Ver documento en línea
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!