Template:Did you know nominations/Dansk Datamatik Center

The following is an archived discussion of the DYK nomination of the article below. Please do not modify this page. Subsequent comments should be made on the appropriate discussion page (such as this nomination's talk page, the article's talk page or Wikipedia talk:Did you know), unless there is consensus to re-open the discussion at this page. No further edits should be made to this page.

The result was: promoted by Jolly Ω Janner 07:08, 2 February 2016 (UTC)

Dansk Datamatik Center[edit]

(

)

... that the Ada language compiler that Dansk Datamatik Center developed in the early 1980s has been termed an underappreciated success story in the use of formal methods?

Reviewed: Template:Did you know nominations/William Ketel

Created by Wasted Time R (talk). Self-nominated at 01:03, 14 January 2016 (UTC).

This substantial article is new enough and long enough. The article is neutral and my spotchecks failed to find any copyright anomalies. I also failed to find a single sentence with an inline citation that supports the last part of the hook, so I suggest you put forward an alternative hook. Cwmhiraeth (talk) 06:30, 25 January 2016 (UTC)

Thanks very much for the review. The supporting sentence and cite is at the very end: "In a 2014 survey of forty years of formal methods efforts, Bjørner and Klaus Havelund lamented that adoption of formal methods has not become widespread in the software industry and referred to the DDC Ada compiler as an unsung success story of the value of such use.[33]" Wasted Time R (talk) 11:05, 25 January 2016 (UTC)

OK, I missed that. Good to go. Cwmhiraeth (talk) 06:10, 26 January 2016 (UTC)