Please log in if you want to be notified when formal methods is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever this topic is mentioned in an event.

formal methods


Formal methods is mentioned in 429 events. This topic is an active interest of Jin Song Dong, Gianluigi Zavattaro and Michael Butler.

about


tracker for formal methods


November 27, 2008

Agent oriented software engineering technical forum (AOSETF 2008) was added.

November 27, 2008

Open source certification was updated.

November 26, 2008

Enabling context-aware web services: Methods, architectures, and technologies was added.

November 26, 2008

7th joint meeting of the european software engineering conference (esec) and the ACM SIGSOFT symposium on the foundations of software engineering (fse) (ESEC/FSE 2009) was added.

» Show all

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.