Exploració per tema "Design time"

Ara es mostren els items 1-1 de 1

    • Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models 

      Planas Hortal, Elena; Sànchez Mendoza, David; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer, 2012)
      Text en actes de congrés
      Accés obert
      In this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design time. This tool suffices to check that the execution of the operations (specified in ...