Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112076871> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2112076871 abstract "Two-level grammar (TLG) is proposed for the formal specification and automatic generation of software systems. TLG specifications are unique in that they are a structured form of natural language which is executable. This has the potential for greatly increasing the reliability of the developed software system for the following reasons. Because it is a form of natural language, TLG may be used as an effective communication medium between the system users, designers, and implementors, thereby reducing the likelihood of errors caused by miscommunication. Furthermore, an efficient software system, expressed in C, can be automatically generated from the specification in a provably correct way. Successful applications have included database/knowledge-base systems and programming language compilers. >" @default.
- W2112076871 created "2016-06-24" @default.
- W2112076871 creator A5066831381 @default.
- W2112076871 date "2002-12-10" @default.
- W2112076871 modified "2023-09-25" @default.
- W2112076871 title "Formal specification of software systems using two-level grammar" @default.
- W2112076871 cites W1609139967 @default.
- W2112076871 cites W1953527632 @default.
- W2112076871 cites W2042427946 @default.
- W2112076871 cites W2169681196 @default.
- W2112076871 cites W2581716594 @default.
- W2112076871 doi "https://doi.org/10.1109/cmpsac.1991.170167" @default.
- W2112076871 hasPublicationYear "2002" @default.
- W2112076871 type Work @default.
- W2112076871 sameAs 2112076871 @default.
- W2112076871 citedByCount "6" @default.
- W2112076871 countsByYear W21120768712015 @default.
- W2112076871 crossrefType "proceedings-article" @default.
- W2112076871 hasAuthorship W2112076871A5066831381 @default.
- W2112076871 hasConcept C115903868 @default.
- W2112076871 hasConcept C116253237 @default.
- W2112076871 hasConcept C119263510 @default.
- W2112076871 hasConcept C138885662 @default.
- W2112076871 hasConcept C149091818 @default.
- W2112076871 hasConcept C15077461 @default.
- W2112076871 hasConcept C154945302 @default.
- W2112076871 hasConcept C160145156 @default.
- W2112076871 hasConcept C169590947 @default.
- W2112076871 hasConcept C199360897 @default.
- W2112076871 hasConcept C201677973 @default.
- W2112076871 hasConcept C26022165 @default.
- W2112076871 hasConcept C2777904410 @default.
- W2112076871 hasConcept C34165917 @default.
- W2112076871 hasConcept C39890363 @default.
- W2112076871 hasConcept C41008148 @default.
- W2112076871 hasConcept C41895202 @default.
- W2112076871 hasConcept C50033165 @default.
- W2112076871 hasConcept C529173508 @default.
- W2112076871 hasConcept C69298649 @default.
- W2112076871 hasConcept C75606506 @default.
- W2112076871 hasConcept C80191660 @default.
- W2112076871 hasConcept C90069079 @default.
- W2112076871 hasConceptScore W2112076871C115903868 @default.
- W2112076871 hasConceptScore W2112076871C116253237 @default.
- W2112076871 hasConceptScore W2112076871C119263510 @default.
- W2112076871 hasConceptScore W2112076871C138885662 @default.
- W2112076871 hasConceptScore W2112076871C149091818 @default.
- W2112076871 hasConceptScore W2112076871C15077461 @default.
- W2112076871 hasConceptScore W2112076871C154945302 @default.
- W2112076871 hasConceptScore W2112076871C160145156 @default.
- W2112076871 hasConceptScore W2112076871C169590947 @default.
- W2112076871 hasConceptScore W2112076871C199360897 @default.
- W2112076871 hasConceptScore W2112076871C201677973 @default.
- W2112076871 hasConceptScore W2112076871C26022165 @default.
- W2112076871 hasConceptScore W2112076871C2777904410 @default.
- W2112076871 hasConceptScore W2112076871C34165917 @default.
- W2112076871 hasConceptScore W2112076871C39890363 @default.
- W2112076871 hasConceptScore W2112076871C41008148 @default.
- W2112076871 hasConceptScore W2112076871C41895202 @default.
- W2112076871 hasConceptScore W2112076871C50033165 @default.
- W2112076871 hasConceptScore W2112076871C529173508 @default.
- W2112076871 hasConceptScore W2112076871C69298649 @default.
- W2112076871 hasConceptScore W2112076871C75606506 @default.
- W2112076871 hasConceptScore W2112076871C80191660 @default.
- W2112076871 hasConceptScore W2112076871C90069079 @default.
- W2112076871 hasLocation W21120768711 @default.
- W2112076871 hasOpenAccess W2112076871 @default.
- W2112076871 hasPrimaryLocation W21120768711 @default.
- W2112076871 hasRelatedWork W121371338 @default.
- W2112076871 hasRelatedWork W1609108672 @default.
- W2112076871 hasRelatedWork W1932279727 @default.
- W2112076871 hasRelatedWork W1970789110 @default.
- W2112076871 hasRelatedWork W2045310908 @default.
- W2112076871 hasRelatedWork W2045535964 @default.
- W2112076871 hasRelatedWork W2130156706 @default.
- W2112076871 hasRelatedWork W2131514293 @default.
- W2112076871 hasRelatedWork W2131587874 @default.
- W2112076871 hasRelatedWork W2151688604 @default.
- W2112076871 hasRelatedWork W2151808268 @default.
- W2112076871 hasRelatedWork W2162992811 @default.
- W2112076871 hasRelatedWork W2165418237 @default.
- W2112076871 hasRelatedWork W2254710113 @default.
- W2112076871 hasRelatedWork W2398099798 @default.
- W2112076871 hasRelatedWork W2535835324 @default.
- W2112076871 hasRelatedWork W3016572324 @default.
- W2112076871 hasRelatedWork W3036969520 @default.
- W2112076871 hasRelatedWork W3086984889 @default.
- W2112076871 hasRelatedWork W335691926 @default.
- W2112076871 isParatext "false" @default.
- W2112076871 isRetracted "false" @default.
- W2112076871 magId "2112076871" @default.
- W2112076871 workType "article" @default.