Formalism in Engineering.

Team.

Formalism for CABOOSE:

Next week we will be working on creating a simple formal specification of the kernel of our general-purpose controller. For those of you unfamiliar with formal specification in software engineering, a chapter of an Ian Sommerville text on software engineering is available on-line at :

http://ifs.host.cs.st-andrews.ac.uk/Books/SE9/WebChapters/PDF/Ch_27_Formal_spec.pdf

It is about an hour and a half worth of thoughtful reading.

Ian Sommerville writes some wonderful text in software engineering for college students and practitioners who need review. 

Formalism in spoken language:

Besides formalism in engineering, there is also formalism in language and cultural mores. We apologize if the non-English text which we have included uses an overly informal form of "you". As you know, we have one "you" for formal and informal address and singular and plural in English. We are not sure if the translation service which we used provided us with the most appropriate form of "you" for the non-English text included in this weblog.

Hopefully, our blogging efforts will inspire some engineering work of your own.

Thank you for your time. La-La.