2012-08-10から1日間の記事一覧
仕様記述言語とプログラミング言語の違いってほとんどないような感じを前々から持っていて、そもそも区別する必要がないんじゃない？と考えていた。そんな折、2011年11月の IEEE Software archive（Volume 28 Issue 6）に「From Programming o Modeling and …
[Frama-c-discuss] frama graph plugins [Frama-c-discuss] frama graph plugins Julien Signoles Julien.Signoles at cea.fr Fri May 28 10:18:43 CEST 2010 Previous message: [Frama-c-discuss] frama graph plugins Next message: [Frama-c-discuss] Non…
