Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/E-LOTOS> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- E-LOTOS abstract "E-LOTOS (Enhanced LOTOS) is a formal specification language designed between 1993 and 1999, and standardized by ISO in 2001.E-LOTOS was initially intended to be as a revision of the LOTOS language standardized by ISO 8807 in 1989. But the revision turned out to be profound, leading to a new specification language.The starting point for the revision of LOTOS was the PhD thesis of Ed Brinksma, who had been the Rapporteur at ISO of the LOTOS standard.In 1993, the initial goals of the definition of E-LOTOS have been stated in this announcementIn 1997, when the language definition reached the maturity level of an ISO Committee Draft, the following announcement was posted, which describes the main features of E-LOTOS.The following document recalls the milestones of E-LOTOS definition project.E-LOTOS has inspired descendent languages, among which LOTOS NT and LNT".
- E-LOTOS wikiPageExternalLink elotos.
- E-LOTOS wikiPageID "45415132".
- E-LOTOS wikiPageLength "3082".
- E-LOTOS wikiPageOutDegree "14".
- E-LOTOS wikiPageRevisionID "680579272".
- E-LOTOS wikiPageWikiLink Category:Concurrency_(computer_science).
- E-LOTOS wikiPageWikiLink Category:Concurrency_control.
- E-LOTOS wikiPageWikiLink Category:Formal_methods.
- E-LOTOS wikiPageWikiLink Category:Formal_specification_languages.
- E-LOTOS wikiPageWikiLink Category:Process_calculi.
- E-LOTOS wikiPageWikiLink Category:Synchronization.
- E-LOTOS wikiPageWikiLink Construction_and_Analysis_of_Distributed_Processes.
- E-LOTOS wikiPageWikiLink Formal_methods.
- E-LOTOS wikiPageWikiLink International_Organization_for_Standardization.
- E-LOTOS wikiPageWikiLink Language_Of_Temporal_Ordering_Specification.
- E-LOTOS wikiPageWikiLink List_of_International_Organization_for_Standardization_standards.
- E-LOTOS wikiPageWikiLink Specification_language.
- E-LOTOS wikiPageWikiLinkText "E-LOTOS".
- E-LOTOS wikiPageUsesTemplate Template:Compu-lang-stub.
- E-LOTOS wikiPageUsesTemplate Template:ISO_standards.
- E-LOTOS wikiPageUsesTemplate Template:Reflist.
- E-LOTOS subject Category:Concurrency_(computer_science).
- E-LOTOS subject Category:Concurrency_control.
- E-LOTOS subject Category:Formal_methods.
- E-LOTOS subject Category:Formal_specification_languages.
- E-LOTOS subject Category:Process_calculi.
- E-LOTOS subject Category:Synchronization.
- E-LOTOS hypernym Language.
- E-LOTOS type Language.
- E-LOTOS type ProgrammingLanguage.
- E-LOTOS type Language.
- E-LOTOS type Thing.
- E-LOTOS type Q315.
- E-LOTOS type Q34770.
- E-LOTOS type Q9143.
- E-LOTOS comment "E-LOTOS (Enhanced LOTOS) is a formal specification language designed between 1993 and 1999, and standardized by ISO in 2001.E-LOTOS was initially intended to be as a revision of the LOTOS language standardized by ISO 8807 in 1989.".
- E-LOTOS label "E-LOTOS".
- E-LOTOS sameAs Q19501726.
- E-LOTOS sameAs m.012vy236.
- E-LOTOS sameAs E-LOTOS.
- E-LOTOS sameAs Q19501726.
- E-LOTOS wasDerivedFrom E-LOTOS?oldid=680579272.
- E-LOTOS isPrimaryTopicOf E-LOTOS.