Help for my Master thesis

[Andrew Haley]

On 07/27/2013 08:36 PM, Kiefmann Bernhard wrote:
> As you can read below, I need some information regarding the development of the GCC's. Some of the questions below were answered me already but I can not find any references to the use of formal or semi-formal methods. as
> - Logic / functional block diagrams
> - Flow charts
> - Data flow diagrams
> - Finite state machines / state transition diagrams
> - Timed Petri Nets
> - Entity Relationship Attribute data model
> - Messages history tables
> - Entscheidungs-/Wahrheitstabellen
> and
> CCS,
> CSP, HOL, LOTOS, OBJ, temporary logic, VDM and Z.

Yes, it's all true.  Out here in the real world we don't do any
of that.  ;-)

Andrew.