FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130843823> ?p ?o ?g. }

• W2130843823 abstract "Discusses the current situation of formal methods and their use in the re-engineering of computing systems, especially real-time systems. Based on the analysis results, a solution which uses a consistent 4-sector Wide Spectrum Language (WSL) is proposed, which presently includes the general architecture and work flow, the structure of the Object-Action Model, the syntax and semantics of the Object-oriented Temporal Agent Model (ObTAM) and the Timed Guarded Command Language (TGCL). A small case study shows an optimistic future for our WSL technique. Further research will aim to build the complete semantic kernel of the WSL and its associated algebraic laws, including transformation rules and abstraction rules." @default.
• W2130843823 created "2016-06-24" @default.
• W2130843823 creator A5027145178 @default.
• W2130843823 creator A5043259697 @default.
• W2130843823 creator A5051297843 @default.
• W2130843823 creator A5058623334 @default.
• W2130843823 creator A5088114196 @default.
• W2130843823 date "2002-11-23" @default.
• W2130843823 modified "2023-09-24" @default.
• W2130843823 title "A design framework for system re-engineering" @default.
• W2130843823 cites W1497559908 @default.
• W2130843823 cites W1500110201 @default.
• W2130843823 cites W1503973138 @default.
• W2130843823 cites W1506588809 @default.
• W2130843823 cites W1511110335 @default.
• W2130843823 cites W1567115339 @default.
• W2130843823 cites W1579183220 @default.
• W2130843823 cites W1932411157 @default.
• W2130843823 cites W1970495662 @default.
• W2130843823 cites W2012652741 @default.
• W2130843823 cites W2024995880 @default.
• W2130843823 cites W2038569232 @default.
• W2130843823 cites W2061158135 @default.
• W2130843823 cites W2061389707 @default.
• W2130843823 cites W2097838240 @default.
• W2130843823 cites W2103953153 @default.
• W2130843823 cites W2113355185 @default.
• W2130843823 cites W2138549619 @default.
• W2130843823 cites W2151087342 @default.
• W2130843823 cites W2151619199 @default.
• W2130843823 cites W2167467151 @default.
• W2130843823 cites W3144368627 @default.
• W2130843823 cites W2087730736 @default.
• W2130843823 doi "https://doi.org/10.1109/apsec.1997.640191" @default.
• W2130843823 hasPublicationYear "2002" @default.
• W2130843823 type Work @default.
• W2130843823 sameAs 2130843823 @default.
• W2130843823 citedByCount "7" @default.
• W2130843823 crossrefType "proceedings-article" @default.
• W2130843823 hasAuthorship W2130843823A5027145178 @default.
• W2130843823 hasAuthorship W2130843823A5043259697 @default.
• W2130843823 hasAuthorship W2130843823A5051297843 @default.
• W2130843823 hasAuthorship W2130843823A5058623334 @default.
• W2130843823 hasAuthorship W2130843823A5088114196 @default.
• W2130843823 hasConcept C104317684 @default.
• W2130843823 hasConcept C111472728 @default.
• W2130843823 hasConcept C114614502 @default.
• W2130843823 hasConcept C115903868 @default.
• W2130843823 hasConcept C124304363 @default.
• W2130843823 hasConcept C138885662 @default.
• W2130843823 hasConcept C154945302 @default.
• W2130843823 hasConcept C184337299 @default.
• W2130843823 hasConcept C185592680 @default.
• W2130843823 hasConcept C199360897 @default.
• W2130843823 hasConcept C204241405 @default.
• W2130843823 hasConcept C2776436953 @default.
• W2130843823 hasConcept C2779791154 @default.
• W2130843823 hasConcept C33923547 @default.
• W2130843823 hasConcept C41008148 @default.
• W2130843823 hasConcept C55493867 @default.
• W2130843823 hasConcept C60048249 @default.
• W2130843823 hasConcept C74193536 @default.
• W2130843823 hasConcept C80444323 @default.
• W2130843823 hasConceptScore W2130843823C104317684 @default.
• W2130843823 hasConceptScore W2130843823C111472728 @default.
• W2130843823 hasConceptScore W2130843823C114614502 @default.
• W2130843823 hasConceptScore W2130843823C115903868 @default.
• W2130843823 hasConceptScore W2130843823C124304363 @default.
• W2130843823 hasConceptScore W2130843823C138885662 @default.
• W2130843823 hasConceptScore W2130843823C154945302 @default.
• W2130843823 hasConceptScore W2130843823C184337299 @default.
• W2130843823 hasConceptScore W2130843823C185592680 @default.
• W2130843823 hasConceptScore W2130843823C199360897 @default.
• W2130843823 hasConceptScore W2130843823C204241405 @default.
• W2130843823 hasConceptScore W2130843823C2776436953 @default.
• W2130843823 hasConceptScore W2130843823C2779791154 @default.
• W2130843823 hasConceptScore W2130843823C33923547 @default.
• W2130843823 hasConceptScore W2130843823C41008148 @default.
• W2130843823 hasConceptScore W2130843823C55493867 @default.
• W2130843823 hasConceptScore W2130843823C60048249 @default.
• W2130843823 hasConceptScore W2130843823C74193536 @default.
• W2130843823 hasConceptScore W2130843823C80444323 @default.
• W2130843823 hasLocation W21308438231 @default.
• W2130843823 hasOpenAccess W2130843823 @default.
• W2130843823 hasPrimaryLocation W21308438231 @default.
• W2130843823 hasRelatedWork W122153333 @default.
• W2130843823 hasRelatedWork W127914462 @default.
• W2130843823 hasRelatedWork W1507679753 @default.
• W2130843823 hasRelatedWork W1528350995 @default.
• W2130843823 hasRelatedWork W1530563348 @default.
• W2130843823 hasRelatedWork W1538228942 @default.
• W2130843823 hasRelatedWork W1570275172 @default.
• W2130843823 hasRelatedWork W181636263 @default.
• W2130843823 hasRelatedWork W1988608457 @default.
• W2130843823 hasRelatedWork W2023928171 @default.
• W2130843823 hasRelatedWork W2105429231 @default.
• W2130843823 hasRelatedWork W2189300559 @default.
• W2130843823 hasRelatedWork W2204539998 @default.
• W2130843823 hasRelatedWork W2291085339 @default.
• W2130843823 hasRelatedWork W2324415392 @default.

• next