Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384559164> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W4384559164 endingPage "109" @default.
- W4384559164 startingPage "104" @default.
- W4384559164 abstract "This article presents a formalization approach for the requirements of object-oriented programs with state machines, using a spacecraft control system as a case study. It proposes a state pattern implementation, where each state is represented as a class with clearly defined responsibilities, and the transitions between states are controlled by the state objects themselves. Additionally, the application of model checking, theorem proving, and code generation techniques are discussed. The effectiveness of the proposed approach in ensuring compliance with the specified requirements is demonstrated, while also identifying potential drawbacks and limitations of the approach. The implementation is validated using a range of formal verification techniques, including model checking and theorem proving. The article also discusses how the approach can be extended and applied to other complex systems. Overall, the valuable insights into the formalization of requirements for object-oriented programs with state machines are provided, offering a practical and effective approach for verifying the correctness and completeness of such implementations. The results of this work have important implications for the development of safety-critical systems and can potentially improve the quality and reliability of software systems in various domains. By using mathematical models and rigorous formal methods, it is possible to detect and eliminate errors early in the development process, leading to higher confidence in the correctness of the final product. Future research in this area could explore the use of more advanced techniques, such as model-driven development and automatic code synthesis, to further streamline the software development process. Additionally, the development of more efficient and user-friendly tools could make these techniques more accessible to a wider range of developers and organizations. Altogether, the combination of formal methods and software engineering has the potential to revolutionize the way software systems are designed, developed, and verified, leading to safer and more reliable software for critical applications." @default.
- W4384559164 created "2023-07-18" @default.
- W4384559164 creator A5080753746 @default.
- W4384559164 date "2023-07-15" @default.
- W4384559164 modified "2023-09-26" @default.
- W4384559164 title "SPECIFICATION FORMALIZATION OF STATE CHARTS FOR COMPLEX SYSTEM MANAGEMENT" @default.
- W4384559164 doi "https://doi.org/10.20998/2079-0023.2023.01.16" @default.
- W4384559164 hasPublicationYear "2023" @default.
- W4384559164 type Work @default.
- W4384559164 citedByCount "0" @default.
- W4384559164 crossrefType "journal-article" @default.
- W4384559164 hasAuthorship W4384559164A5080753746 @default.
- W4384559164 hasBestOaLocation W43845591641 @default.
- W4384559164 hasConcept C110251889 @default.
- W4384559164 hasConcept C115903868 @default.
- W4384559164 hasConcept C116253237 @default.
- W4384559164 hasConcept C199360897 @default.
- W4384559164 hasConcept C26713055 @default.
- W4384559164 hasConcept C41008148 @default.
- W4384559164 hasConcept C55439883 @default.
- W4384559164 hasConcept C75606506 @default.
- W4384559164 hasConcept C98045186 @default.
- W4384559164 hasConceptScore W4384559164C110251889 @default.
- W4384559164 hasConceptScore W4384559164C115903868 @default.
- W4384559164 hasConceptScore W4384559164C116253237 @default.
- W4384559164 hasConceptScore W4384559164C199360897 @default.
- W4384559164 hasConceptScore W4384559164C26713055 @default.
- W4384559164 hasConceptScore W4384559164C41008148 @default.
- W4384559164 hasConceptScore W4384559164C55439883 @default.
- W4384559164 hasConceptScore W4384559164C75606506 @default.
- W4384559164 hasConceptScore W4384559164C98045186 @default.
- W4384559164 hasIssue "1 (9)" @default.
- W4384559164 hasLocation W43845591641 @default.
- W4384559164 hasOpenAccess W4384559164 @default.
- W4384559164 hasPrimaryLocation W43845591641 @default.
- W4384559164 hasRelatedWork W126120407 @default.
- W4384559164 hasRelatedWork W1601757209 @default.
- W4384559164 hasRelatedWork W1614816533 @default.
- W4384559164 hasRelatedWork W1964111820 @default.
- W4384559164 hasRelatedWork W1984757784 @default.
- W4384559164 hasRelatedWork W1985198438 @default.
- W4384559164 hasRelatedWork W2487509351 @default.
- W4384559164 hasRelatedWork W2556057931 @default.
- W4384559164 hasRelatedWork W2741430969 @default.
- W4384559164 hasRelatedWork W2751009798 @default.
- W4384559164 isParatext "false" @default.
- W4384559164 isRetracted "false" @default.
- W4384559164 workType "article" @default.