Talk:Evidence on Formal Methods uses and impact on Industry

From Evidence on Formal Methods Uses and Impact on Industry
Jump to: navigation, search

Contents

Thread titleRepliesLast modified
Add usage scenario009:56, 5 February 2012
Other dimension of the success story classification002:01, 5 February 2012
Idea: add a glossary114:51, 10 December 2011

Add usage scenario

Usage scenario from the DEPLOY book chapter

Cponsard09:56, 5 February 2012

Other dimension of the success story classification

JC suggests to also report by "FM tools and tool providers" Some good candidates: Systerel (rodin), ClearSy (atelier b), Sparx Systems (just look at the tools)

Actually we had it on the private wiki: 'Success Stories by FAQ Themes' and Tools is a dimension of the classification

Cponsard01:33, 5 February 2012

Idea: add a glossary

Edited by another user.
Last edit: 14:51, 10 December 2011

A glossary of common FM terms for the newbie

Baldus19:32, 6 December 2011

I agree with you.

Cponsard22:09, 6 December 2011
 
Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox