Now showing items 1-2 of 2

    • 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 ...
    • 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 ...