formal description
Formal description is mentioned in 25 events. This topic is an active interest of Mike Dean, Stefan Decker and Peter Mika.
tracker for formal description
November 25, 2008
International journal of software science and computational intelligence was added.
- Topics: Formal description
November 12, 2008
4th international workshop on mutation analysis (MUTATION 2009) was added.
- Topics: Formal description
November 4, 2008
7th conference on next generation information technologies and systems (NGITS 2009) was updated.
- Topics: Formal description
October 30, 2008
7th conference on next generation information technologies and systems (NGITS 2009) was added.
- Topics: Formal description
Facts
Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.