Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023008574> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2023008574 endingPage "104" @default.
- W2023008574 startingPage "81" @default.
- W2023008574 abstract "The Telephone Switching Systems (TSS) is a typical real-time system that is highly complicated in design and implementation. In order to deal with the extreme complexity in real-world settings, a suitable and efficient mathematical means is required beyond any programming language. To this purpose, an efficient and precise denotational mathematics known as the Real-Time Process Algebra (RTPA) and the RTPA methodology for system modeling are introduced. Empirical experimental results are reported in this paper on the implementation of TSS based on formal models of the system in RTPA. Three phases of experiments are designed on TSS conceptual modeling, system interface design, and programming implementation and testing. All groups in the experiments with 7 to 8 members have been able to efficiently understood, design, and implement the TSS system in a simplified version in four weeks, which has been estimated as a 10+ person-year project in the industry. The efficiency and expressiveness of RTPA are empirically demonstrated base on the case studies in the experiments." @default.
- W2023008574 created "2016-06-24" @default.
- W2023008574 creator A5012322217 @default.
- W2023008574 creator A5031042323 @default.
- W2023008574 date "2012-04-01" @default.
- W2023008574 modified "2023-09-27" @default.
- W2023008574 title "Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA" @default.
- W2023008574 cites W1483241283 @default.
- W2023008574 cites W154197105 @default.
- W2023008574 cites W1560374531 @default.
- W2023008574 cites W1606650785 @default.
- W2023008574 cites W1980301902 @default.
- W2023008574 cites W1982616249 @default.
- W2023008574 cites W1982941791 @default.
- W2023008574 cites W1993257941 @default.
- W2023008574 cites W2001390679 @default.
- W2023008574 cites W2007622263 @default.
- W2023008574 cites W2024911973 @default.
- W2023008574 cites W2025628838 @default.
- W2023008574 cites W2026301027 @default.
- W2023008574 cites W2027435343 @default.
- W2023008574 cites W2034088070 @default.
- W2023008574 cites W2036587865 @default.
- W2023008574 cites W2049723463 @default.
- W2023008574 cites W2056449002 @default.
- W2023008574 cites W2066333020 @default.
- W2023008574 cites W2085152848 @default.
- W2023008574 cites W2088048929 @default.
- W2023008574 cites W2325227125 @default.
- W2023008574 cites W3175593498 @default.
- W2023008574 cites W4211008702 @default.
- W2023008574 cites W4231298442 @default.
- W2023008574 cites W4236448544 @default.
- W2023008574 cites W4251789093 @default.
- W2023008574 cites W49656508 @default.
- W2023008574 doi "https://doi.org/10.4018/jssci.2012040105" @default.
- W2023008574 hasPublicationYear "2012" @default.
- W2023008574 type Work @default.
- W2023008574 sameAs 2023008574 @default.
- W2023008574 citedByCount "4" @default.
- W2023008574 countsByYear W20230085742013 @default.
- W2023008574 countsByYear W20230085742014 @default.
- W2023008574 countsByYear W20230085742015 @default.
- W2023008574 countsByYear W20230085742019 @default.
- W2023008574 crossrefType "journal-article" @default.
- W2023008574 hasAuthorship W2023008574A5012322217 @default.
- W2023008574 hasAuthorship W2023008574A5031042323 @default.
- W2023008574 hasConcept C111919701 @default.
- W2023008574 hasConcept C113843644 @default.
- W2023008574 hasConcept C115903868 @default.
- W2023008574 hasConcept C129307140 @default.
- W2023008574 hasConcept C157915830 @default.
- W2023008574 hasConcept C161771561 @default.
- W2023008574 hasConcept C199360897 @default.
- W2023008574 hasConcept C41008148 @default.
- W2023008574 hasConcept C98045186 @default.
- W2023008574 hasConceptScore W2023008574C111919701 @default.
- W2023008574 hasConceptScore W2023008574C113843644 @default.
- W2023008574 hasConceptScore W2023008574C115903868 @default.
- W2023008574 hasConceptScore W2023008574C129307140 @default.
- W2023008574 hasConceptScore W2023008574C157915830 @default.
- W2023008574 hasConceptScore W2023008574C161771561 @default.
- W2023008574 hasConceptScore W2023008574C199360897 @default.
- W2023008574 hasConceptScore W2023008574C41008148 @default.
- W2023008574 hasConceptScore W2023008574C98045186 @default.
- W2023008574 hasIssue "2" @default.
- W2023008574 hasLocation W20230085741 @default.
- W2023008574 hasOpenAccess W2023008574 @default.
- W2023008574 hasPrimaryLocation W20230085741 @default.
- W2023008574 hasRelatedWork W2109507516 @default.
- W2023008574 hasRelatedWork W2112962394 @default.
- W2023008574 hasRelatedWork W2118300983 @default.
- W2023008574 hasRelatedWork W2166247150 @default.
- W2023008574 hasRelatedWork W2347608685 @default.
- W2023008574 hasRelatedWork W2382501300 @default.
- W2023008574 hasRelatedWork W2740990710 @default.
- W2023008574 hasRelatedWork W3137189469 @default.
- W2023008574 hasRelatedWork W4235530921 @default.
- W2023008574 hasRelatedWork W4243252198 @default.
- W2023008574 hasVolume "4" @default.
- W2023008574 isParatext "false" @default.
- W2023008574 isRetracted "false" @default.
- W2023008574 magId "2023008574" @default.
- W2023008574 workType "article" @default.