Programas por pspec.sf.net

  • Performance Assertion Checking Gratis

    Este proyecto es un enfoque para automatizar las pruebas de las propiedades de rendimiento de sistemas complejos. Al igual que las especificaciones funcionales para el software, nuestro objetivo es desarrollar un lenguaje eje