Matches in SemOpenAlex for { <https://semopenalex.org/work/W2101531624> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2101531624 endingPage "1014" @default.
- W2101531624 startingPage "987" @default.
- W2101531624 abstract "Real-time and embedded software systems are becoming increasingly prevalent in everyday life. Well-defined and robust methods and methodologies are needed to support development and maintenance of such large and complex systems. Specification of a system is a critical phase of the development life cycle and has a major impact on the quality of a system. Formal specification languages and techniques are needed to be able to comprehensively and correctly define and prototype large and complex systems. The quality of a specification directly depends upon the capability of the language or technique used to express the specification. There is a need to determine language appropriateness for real-time systems. This paper establishes a real-time specification technique evaluation framework based on the features of real-time systems. The features are presented and the paper summarizes the result in terms of major features and their sub-features in a tabular form. This detailed list of features should serve not only to compare the techniques using a common framework, but also to determine the extent of real-time support that these techniques provide for specification. Application of the framework is demonstrated by testing a set of specification techniques for the specification of a real-time embedded cell phone software system." @default.
- W2101531624 created "2016-06-24" @default.
- W2101531624 creator A5056269795 @default.
- W2101531624 creator A5089099167 @default.
- W2101531624 date "2006-12-01" @default.
- W2101531624 modified "2023-09-27" @default.
- W2101531624 title "A FRAMEWORK FOR THE EVALUATION OF REAL-TIME SPECIFICATION TECHNIQUES" @default.
- W2101531624 cites W1564637213 @default.
- W2101531624 cites W158129124 @default.
- W2101531624 cites W1967317500 @default.
- W2101531624 cites W1977207336 @default.
- W2101531624 cites W2000083322 @default.
- W2101531624 cites W2020838655 @default.
- W2101531624 cites W2027377876 @default.
- W2101531624 cites W2033853454 @default.
- W2101531624 cites W2041938674 @default.
- W2101531624 cites W2056068391 @default.
- W2101531624 cites W2066080846 @default.
- W2101531624 cites W2068420567 @default.
- W2101531624 cites W2071866027 @default.
- W2101531624 cites W2091905875 @default.
- W2101531624 cites W2103225125 @default.
- W2101531624 cites W2109315204 @default.
- W2101531624 cites W2110268155 @default.
- W2101531624 cites W2118514798 @default.
- W2101531624 cites W2128107685 @default.
- W2101531624 cites W2132098696 @default.
- W2101531624 cites W2145071552 @default.
- W2101531624 cites W4211008702 @default.
- W2101531624 doi "https://doi.org/10.1142/s0218194006003063" @default.
- W2101531624 hasPublicationYear "2006" @default.
- W2101531624 type Work @default.
- W2101531624 sameAs 2101531624 @default.
- W2101531624 citedByCount "3" @default.
- W2101531624 countsByYear W21015316242012 @default.
- W2101531624 crossrefType "journal-article" @default.
- W2101531624 hasAuthorship W2101531624A5056269795 @default.
- W2101531624 hasAuthorship W2101531624A5089099167 @default.
- W2101531624 hasConcept C102780508 @default.
- W2101531624 hasConcept C115903868 @default.
- W2101531624 hasConcept C116253237 @default.
- W2101531624 hasConcept C120617098 @default.
- W2101531624 hasConcept C127413603 @default.
- W2101531624 hasConcept C177264268 @default.
- W2101531624 hasConcept C180152950 @default.
- W2101531624 hasConcept C199360897 @default.
- W2101531624 hasConcept C200601418 @default.
- W2101531624 hasConcept C201677973 @default.
- W2101531624 hasConcept C2777904410 @default.
- W2101531624 hasConcept C41008148 @default.
- W2101531624 hasConcept C52913732 @default.
- W2101531624 hasConcept C529173508 @default.
- W2101531624 hasConcept C75606506 @default.
- W2101531624 hasConcept C84651959 @default.
- W2101531624 hasConcept C90069079 @default.
- W2101531624 hasConceptScore W2101531624C102780508 @default.
- W2101531624 hasConceptScore W2101531624C115903868 @default.
- W2101531624 hasConceptScore W2101531624C116253237 @default.
- W2101531624 hasConceptScore W2101531624C120617098 @default.
- W2101531624 hasConceptScore W2101531624C127413603 @default.
- W2101531624 hasConceptScore W2101531624C177264268 @default.
- W2101531624 hasConceptScore W2101531624C180152950 @default.
- W2101531624 hasConceptScore W2101531624C199360897 @default.
- W2101531624 hasConceptScore W2101531624C200601418 @default.
- W2101531624 hasConceptScore W2101531624C201677973 @default.
- W2101531624 hasConceptScore W2101531624C2777904410 @default.
- W2101531624 hasConceptScore W2101531624C41008148 @default.
- W2101531624 hasConceptScore W2101531624C52913732 @default.
- W2101531624 hasConceptScore W2101531624C529173508 @default.
- W2101531624 hasConceptScore W2101531624C75606506 @default.
- W2101531624 hasConceptScore W2101531624C84651959 @default.
- W2101531624 hasConceptScore W2101531624C90069079 @default.
- W2101531624 hasIssue "06" @default.
- W2101531624 hasLocation W21015316241 @default.
- W2101531624 hasOpenAccess W2101531624 @default.
- W2101531624 hasPrimaryLocation W21015316241 @default.
- W2101531624 hasRelatedWork W1801366570 @default.
- W2101531624 hasRelatedWork W1881220596 @default.
- W2101531624 hasRelatedWork W1964436108 @default.
- W2101531624 hasRelatedWork W2137223410 @default.
- W2101531624 hasRelatedWork W2170015205 @default.
- W2101531624 hasRelatedWork W2378785653 @default.
- W2101531624 hasRelatedWork W2898425611 @default.
- W2101531624 hasRelatedWork W2979365163 @default.
- W2101531624 hasRelatedWork W794225219 @default.
- W2101531624 hasRelatedWork W67477776 @default.
- W2101531624 hasVolume "16" @default.
- W2101531624 isParatext "false" @default.
- W2101531624 isRetracted "false" @default.
- W2101531624 magId "2101531624" @default.
- W2101531624 workType "article" @default.