Now showing items 1-2 of 2

  • 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)
    Conference report
    Open Access
    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 ...
  • A software system for the microbial source tracking problem 

    Sànchez Mendoza, David; Belanche Muñoz, Luis Antonio; Blanch, Anicet R. (2011)
    Conference report
    Open Access
    The aim of this paper is to report the achievement of Ichnaea, a fully computer-based prediction system that is able to make fairly accurate predictions for Microbial Source Tracking studies. The system accepts examples ...