Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Dansk_Datamatik_Center> ?p ?o }
- Dansk_Datamatik_Center wikiPageWikiLink University_of_Pisa.
- Dansk_Datamatik_Center wikiPageWikiLink Vienna_Development_Method.
- Dansk_Datamatik_Center wikiPageWikiLink Wide-spectrum_language.
- Dansk_Datamatik_Center wikiPageWikiLink Z_notation.
- Dansk_Datamatik_Center wikiPageWikiLink File:DTU_03-05-06_03.jpg.
- Dansk_Datamatik_Center wikiPageWikiLink File:Dansk_Cardin_and_Textil_Fabrik_building_in_Lyngby.jpg.
- Dansk_Datamatik_Center wikiPageWikiLinkText "Dansk Datamatik Center".
- Dansk_Datamatik_Center abbreviation "DDC".
- Dansk_Datamatik_Center budget "1.3E7".
- Dansk_Datamatik_Center budgetYear "1984".
- Dansk_Datamatik_Center imageSize "250".
- Dansk_Datamatik_Center leaderName Dines_Bjørner.
- Dansk_Datamatik_Center leaderName "Leif Rystrøm".
- Dansk_Datamatik_Center leaderName "Ole N. Oest".
- Dansk_Datamatik_Center leaderTitle "Manager, Ada projects".
- Dansk_Datamatik_Center leaderTitle "Managing director".
- Dansk_Datamatik_Center leaderTitle "Scientific leader".
- Dansk_Datamatik_Center location Denmark.
- Dansk_Datamatik_Center location Kongens_Lyngby.
- Dansk_Datamatik_Center mission "Formal methods in software development".
- Dansk_Datamatik_Center name "Dansk Datamatik Center".
- Dansk_Datamatik_Center services Computer_science.
- Dansk_Datamatik_Center staff "40".
- Dansk_Datamatik_Center staffYear "1984".
- Dansk_Datamatik_Center successor DDC-I.
- Dansk_Datamatik_Center type Research_center.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Cite_book.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Cite_conference.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Cite_encyclopedia.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Cite_interview.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Cite_journal.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Cite_thesis.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:End_date.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Infobox_organization.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Interlanguage_link.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Refbegin.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Refend.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Reflist.
- Dansk_Datamatik_Center wikiPageUsesTemplate Template:Start_date.
- Dansk_Datamatik_Center subject Category:Ada_(programming_language).
- Dansk_Datamatik_Center subject Category:Companies_based_in_Lyngby-Taarbæk_Municipality.
- Dansk_Datamatik_Center subject Category:Computer_science_research_organizations.
- Dansk_Datamatik_Center subject Category:Defunct_organizations_of_Denmark.
- Dansk_Datamatik_Center subject Category:Formal_methods_organizations.
- Dansk_Datamatik_Center subject Category:Organizations_disestablished_in_1989.
- Dansk_Datamatik_Center subject Category:Organizations_established_in_1979.
- Dansk_Datamatik_Center subject Category:Science_and_technology_in_Denmark.
- Dansk_Datamatik_Center subject Category:Software_engineering_organizations.
- Dansk_Datamatik_Center hypernym Research.
- Dansk_Datamatik_Center type Agent.
- Dansk_Datamatik_Center type Organisation.
- Dansk_Datamatik_Center type Organization.
- Dansk_Datamatik_Center type Agent.
- Dansk_Datamatik_Center type SocialPerson.
- Dansk_Datamatik_Center type Thing.
- Dansk_Datamatik_Center type Q43229.
- Dansk_Datamatik_Center comment "Dansk Datamatik Center (DDC) was a Danish software research and development centre that existed from 1979 to 1989. Its main purpose was to demonstrate the value of using modern techniques, especially those involving formal methods, in software design and development.Three major projects dominated much of the centre's existence. The first concerned the formal specification and compilation of the CHILL programming language for use in telecommunication switches.".
- Dansk_Datamatik_Center label "Dansk Datamatik Center".
- Dansk_Datamatik_Center wasDerivedFrom Dansk_Datamatik_Center?oldid=699913133.
- Dansk_Datamatik_Center depiction DTU_03-05-06_03.jpg.
- Dansk_Datamatik_Center isPrimaryTopicOf Dansk_Datamatik_Center.
- Dansk_Datamatik_Center name "Dansk Datamatik Center".