Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539801470> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1539801470 abstract "A specification metalanguage is presented for the purpose of describing and analyzing specifications written in existing specification languages. Specification theory-based metalanguage (STM) was developed to describe specifications in terms of components defined within a theory of specification. STM constitutes the application of theoretical definitions and analyses to individual specifications. The process of describing specifications in STM produces needed manual analysis, while the completed description can be automatically processed by the language processor and description simulator. A summary of STM features is presented. Manual analysis results are pointed out in discussing an example of STM description. >" @default.
- W1539801470 created "2016-06-24" @default.
- W1539801470 creator A5022384385 @default.
- W1539801470 creator A5089099167 @default.
- W1539801470 date "2003-01-02" @default.
- W1539801470 modified "2023-09-26" @default.
- W1539801470 title "A metalanguage based on a theory of specification" @default.
- W1539801470 cites W2064650227 @default.
- W1539801470 cites W2084592009 @default.
- W1539801470 cites W2086306918 @default.
- W1539801470 cites W2096989935 @default.
- W1539801470 cites W2132840411 @default.
- W1539801470 cites W2170566571 @default.
- W1539801470 cites W2401056038 @default.
- W1539801470 doi "https://doi.org/10.1109/cmpsac.1992.217565" @default.
- W1539801470 hasPublicationYear "2003" @default.
- W1539801470 type Work @default.
- W1539801470 sameAs 1539801470 @default.
- W1539801470 citedByCount "1" @default.
- W1539801470 crossrefType "proceedings-article" @default.
- W1539801470 hasAuthorship W1539801470A5022384385 @default.
- W1539801470 hasAuthorship W1539801470A5089099167 @default.
- W1539801470 hasConcept C116253237 @default.
- W1539801470 hasConcept C119263510 @default.
- W1539801470 hasConcept C142998047 @default.
- W1539801470 hasConcept C15077461 @default.
- W1539801470 hasConcept C199360897 @default.
- W1539801470 hasConcept C201677973 @default.
- W1539801470 hasConcept C34165917 @default.
- W1539801470 hasConcept C41008148 @default.
- W1539801470 hasConcept C50033165 @default.
- W1539801470 hasConcept C90069079 @default.
- W1539801470 hasConcept C98045186 @default.
- W1539801470 hasConceptScore W1539801470C116253237 @default.
- W1539801470 hasConceptScore W1539801470C119263510 @default.
- W1539801470 hasConceptScore W1539801470C142998047 @default.
- W1539801470 hasConceptScore W1539801470C15077461 @default.
- W1539801470 hasConceptScore W1539801470C199360897 @default.
- W1539801470 hasConceptScore W1539801470C201677973 @default.
- W1539801470 hasConceptScore W1539801470C34165917 @default.
- W1539801470 hasConceptScore W1539801470C41008148 @default.
- W1539801470 hasConceptScore W1539801470C50033165 @default.
- W1539801470 hasConceptScore W1539801470C90069079 @default.
- W1539801470 hasConceptScore W1539801470C98045186 @default.
- W1539801470 hasLocation W15398014701 @default.
- W1539801470 hasOpenAccess W1539801470 @default.
- W1539801470 hasPrimaryLocation W15398014701 @default.
- W1539801470 hasRelatedWork W1503319068 @default.
- W1539801470 hasRelatedWork W1513626863 @default.
- W1539801470 hasRelatedWork W1559579193 @default.
- W1539801470 hasRelatedWork W1638887518 @default.
- W1539801470 hasRelatedWork W1877180621 @default.
- W1539801470 hasRelatedWork W1961776237 @default.
- W1539801470 hasRelatedWork W1980295870 @default.
- W1539801470 hasRelatedWork W2016408545 @default.
- W1539801470 hasRelatedWork W2026850042 @default.
- W1539801470 hasRelatedWork W2045204345 @default.
- W1539801470 hasRelatedWork W2098971106 @default.
- W1539801470 hasRelatedWork W2112031719 @default.
- W1539801470 hasRelatedWork W2112743169 @default.
- W1539801470 hasRelatedWork W2117008884 @default.
- W1539801470 hasRelatedWork W2120011042 @default.
- W1539801470 hasRelatedWork W2131921053 @default.
- W1539801470 hasRelatedWork W2166768964 @default.
- W1539801470 hasRelatedWork W2170486381 @default.
- W1539801470 hasRelatedWork W2545610616 @default.
- W1539801470 hasRelatedWork W265062049 @default.
- W1539801470 isParatext "false" @default.
- W1539801470 isRetracted "false" @default.
- W1539801470 magId "1539801470" @default.
- W1539801470 workType "article" @default.