Modélisation et spécification formelle des logiciels

Схожие документы

• Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
  по: Drusinsky, Doron.
  Опубликовано: 2006
• Object-oriented JavaScript : create scalable, reusable high-quality JavaScript applications and libraries
  по: Stefanov, Stoyan.
  Опубликовано: 2008
• Design patterns for embedded systems in C : an embedded software engineering Toolkit
  по: Douglass, Bruce Powel.
  Опубликовано: 2011
• Améliorer la maintenance du logiciel
  по: April, Alain.
• Construction et maintenance de logiciel : un point de vue pratique
  по: Gabrini, Philippe J. (1940-....; informaticien).
  Опубликовано: 2006