4 ms·
> albeit perhaps lacking some of the formal methods and practices that other branches of engineering tend to have. I'd like to point out that this depends heav
by probably_wrong 3y ago
> albeit perhaps lacking some of the formal methods and practices that other branches of engineering tend to have.
I'd like to point out that this depends heavily on your institution. My CS program had a class literally called "Formal methods", and every student was required to learn formal proofs before their first programming-heavy class (namely, "Data Structures I").
- derstander 3y ago> I'd like to point out that this depends heavily on your institution. My CS program had a class literally called "Formal methods", and every student was required to learn formal proofs before their first programming-heavy class (namely, "Data Structures I"). But compare usage of formal methods and practices in software engineers in a startup (or even well-established company) with engineers designing a bridge, for example.
- mrguyorama 3y agoMy degree is in "Computer Science", NOT "Software engineering" and for that and other reasons I am against calling myself a "Software engineer" I'm not an engineer. I am a subject matter expert employed as a generalist.