Code is Engineering; Types are Science

Re:Code is Engineering; Types are Science by Rochus on Monday April 06, 2020 @05:46AM (#22792149)

ISO/IEC/IEEE 24765
3.3810 software engineering

1. systematic application of scientific and technological knowledge, methods, and experience to the design, implementation, testing, and documentation of software ...

It's all there just waiting for someone to read it.

[ Parent | on HN ]

Re:Code is Engineering; Types are Science by eternalban on Monday April 06, 2020 @08:33AM (#22793128)

At CHF 198.00, IEEE is "just" waiting to collect fees before permitting unwashed practitioners from reading it.

But we do get a preview and there is a link to www.computer.org/sevocab so we can get a sense of their taxonomical approach. (Try searching for "Data type").

[ Parent | on HN ]

Re:Code is Engineering; Types are Science by Rochus on Monday April 06, 2020 @09:35AM (#22793554)

No, it's free. Just download it from https://standards.iso.org/ittf/PubliclyAvailableStandards/c0....

[ Parent | on HN ]

Re:Code is Engineering; Types are Science by eternalban on Tuesday April 07, 2020 @10:04AM (#22803278)

Thanks!

[ Parent | on HN ]

Re:Code is Engineering; Types are Science by pjc50 on Monday April 06, 2020 @09:59AM (#22793730)

But what use is that document to the current discussion? You're not one of those people who thinks that pointing to an entry in a dictionary settles an argument?

[ Parent | on HN ]

Re:Code is Engineering; Types are Science by Rochus on Monday April 06, 2020 @10:12AM (#22793846)

It shows the acknowledged state of the art and thus offers an alternative for people who do not always want to start from scratch. I am well aware that there is a generation that questions everything (because they like to do so or because they simply do not know the state of the art, e.g. because it was not covered in their bachelor studies).

[ Parent | on HN ]