[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gcc
Subject:    Re: Help for my Master thesis
From:       Andrew Haley <aph () redhat ! com>
Date:       2013-07-27 21:11:56
Message-ID: 51F4379C.9000901 () redhat ! com
[Download RAW message or body]

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.


[prev in list] [next in list] [prev in thread] [next in thread]