Cadena

From: Keunwoo Lee (klee@cs.washington.edu)
Date: Tue Oct 15 2002 - 19:23:51 PDT

  • Next message: Jonathan Aldrich: "Re: Cadena"

    John Hatcliff has been working on support for lightweight formal methods
    for component-based systems. His Cadena system includes some language
    features that look very much like architectural descriptions in ArchJava:

    http://www.cis.ksu.edu/~hatcliff/Papers/cadena.pdf

    ~k

    _______________________________________________
    Cecil mailing list
    Cecil@cs.washington.edu
    http://majordomo.cs.washington.edu/mailman/listinfo/cecil

    This archive was generated by hypermail 2.1.5 : Tue Oct 15 2002 - 19:23:55 PDT