AdaCore is a computer software company that provides open source software tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer and validator. Its main product is GNAT Pro a commercial-grade open source Ada development that supports all Ada versions (Ada 2005, Ada 95, Ada 83).
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- AdaCore is a computer software company that provides open source software tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer and validator. Its main product is GNAT Pro a commercial-grade open source Ada development that supports all Ada versions (Ada 2005, Ada 95, Ada 83). All AdaCore software products are licensed either under the GPL or the GMGPL license. Special releases are made for academic or open source use. The company was founded in 1994, and was originally named Ada Core Technologies (ACT). In 2004 it was rebranded to AdaCore. AdaCore is privately owned and has North American headquarters in New York and European headquarters in Paris.
- AdaCore – przedsiębiorstwo tworzące oprogramowanie komputerowa. Wydało m. in. kompilator języka Ada, oraz wiele narzędzi programistycznych i bibliotek. Wszystkie produkty rozpowszechniane są przez przedsiębiorstwo na licencjach GPL i GMGPL. Zdarzają się też wersje akademickie oraz open source. Przedsiębiorstwo została założona w roku 1994 pod nazwą Ada Core Technologies (ACT). Zmiana firmy na AdaCore nastąpiła w roku 2004.
|
| dbpedia-owl:formationYear
|
- 1994-01-01 00:00:00 (xsd:date)
|
| dbpedia-owl:industry
| |
| dbpedia-owl:keyPerson
| |
| dbpedia-owl:location
| |
| dbpedia-owl:product
| |
| dbpedia-owl:thumbnail
| |
| dbpedia-owl:type
| |
| dbpedia-owl:wikiPageExternalLink
| |
| dbpprop:companyLogo
| |
| dbpprop:companyName
| |
| dbpprop:companyType
| |
| dbpprop:foundation
| |
| dbpprop:homepage
| |
| dbpprop:industry
| |
| dbpprop:keyPeople
|
- Ed Schonberg
- Robert Dewar
|
| dbpprop:location
| |
| dbpprop:products
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- AdaCore – przedsiębiorstwo tworzące oprogramowanie komputerowa. Wydało m. in. kompilator języka Ada, oraz wiele narzędzi programistycznych i bibliotek. Wszystkie produkty rozpowszechniane są przez przedsiębiorstwo na licencjach GPL i GMGPL. Zdarzają się też wersje akademickie oraz open source. Przedsiębiorstwo została założona w roku 1994 pod nazwą Ada Core Technologies (ACT). Zmiana firmy na AdaCore nastąpiła w roku 2004.
- AdaCore is a computer software company that provides open source software tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer and validator. Its main product is GNAT Pro a commercial-grade open source Ada development that supports all Ada versions (Ada 2005, Ada 95, Ada 83).
|
| rdfs:label
| |
| owl:sameAs
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:name
| |
| foaf:page
| |
| is dbpedia-owl:developer
of | |
| is dbpedia-owl:wikiPageRedirects
of | |
| is dbpprop:developer
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
