Matches in SemOpenAlex for { <https://semopenalex.org/work/W3128751218> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3128751218 endingPage "18" @default.
- W3128751218 startingPage "7" @default.
- W3128751218 abstract "Research on formal methods of software development and verification focuses on building specifications using incremental and iterative development methodologies. The presence of several levels of specifications simplifies proving of properties, since it is possible to reuse the proofs that were performed for more abstract layers of the model. It is desirable to use the same models that were used for formal verification also in testing of real systems for compliance with the requirements set by these models. In practice, large software systems are described by multi-level models. There was no experience of using such models as the basis for testing and monitoring. The paper discusses various methods for developing multi-level models, new opportunities that can be obtained through a combination of functional specifications and implementation-level refinements, limitations that must be considered during testing and monitoring of real systems for compliance with multi-level models." @default.
- W3128751218 created "2021-02-15" @default.
- W3128751218 creator A5001639360 @default.
- W3128751218 creator A5016683422 @default.
- W3128751218 creator A5059248218 @default.
- W3128751218 creator A5059815671 @default.
- W3128751218 creator A5080654093 @default.
- W3128751218 creator A5082899802 @default.
- W3128751218 date "2020-01-01" @default.
- W3128751218 modified "2023-09-25" @default.
- W3128751218 title "Monitoring and Testing Based on Multi-Level Program Specifications" @default.
- W3128751218 doi "https://doi.org/10.15514/ispras-2020-32(6)-1" @default.
- W3128751218 hasPublicationYear "2020" @default.
- W3128751218 type Work @default.
- W3128751218 sameAs 3128751218 @default.
- W3128751218 citedByCount "0" @default.
- W3128751218 crossrefType "journal-article" @default.
- W3128751218 hasAuthorship W3128751218A5001639360 @default.
- W3128751218 hasAuthorship W3128751218A5016683422 @default.
- W3128751218 hasAuthorship W3128751218A5059248218 @default.
- W3128751218 hasAuthorship W3128751218A5059815671 @default.
- W3128751218 hasAuthorship W3128751218A5080654093 @default.
- W3128751218 hasAuthorship W3128751218A5082899802 @default.
- W3128751218 hasBestOaLocation W31287512181 @default.
- W3128751218 hasConcept C108710211 @default.
- W3128751218 hasConcept C111498074 @default.
- W3128751218 hasConcept C111919701 @default.
- W3128751218 hasConcept C115903868 @default.
- W3128751218 hasConcept C116253237 @default.
- W3128751218 hasConcept C127413603 @default.
- W3128751218 hasConcept C177264268 @default.
- W3128751218 hasConcept C188087704 @default.
- W3128751218 hasConcept C199360897 @default.
- W3128751218 hasConcept C200601418 @default.
- W3128751218 hasConcept C206588197 @default.
- W3128751218 hasConcept C21547014 @default.
- W3128751218 hasConcept C2524010 @default.
- W3128751218 hasConcept C33923547 @default.
- W3128751218 hasConcept C41008148 @default.
- W3128751218 hasConcept C48002344 @default.
- W3128751218 hasConcept C548081761 @default.
- W3128751218 hasConcept C75606506 @default.
- W3128751218 hasConcept C76844732 @default.
- W3128751218 hasConceptScore W3128751218C108710211 @default.
- W3128751218 hasConceptScore W3128751218C111498074 @default.
- W3128751218 hasConceptScore W3128751218C111919701 @default.
- W3128751218 hasConceptScore W3128751218C115903868 @default.
- W3128751218 hasConceptScore W3128751218C116253237 @default.
- W3128751218 hasConceptScore W3128751218C127413603 @default.
- W3128751218 hasConceptScore W3128751218C177264268 @default.
- W3128751218 hasConceptScore W3128751218C188087704 @default.
- W3128751218 hasConceptScore W3128751218C199360897 @default.
- W3128751218 hasConceptScore W3128751218C200601418 @default.
- W3128751218 hasConceptScore W3128751218C206588197 @default.
- W3128751218 hasConceptScore W3128751218C21547014 @default.
- W3128751218 hasConceptScore W3128751218C2524010 @default.
- W3128751218 hasConceptScore W3128751218C33923547 @default.
- W3128751218 hasConceptScore W3128751218C41008148 @default.
- W3128751218 hasConceptScore W3128751218C48002344 @default.
- W3128751218 hasConceptScore W3128751218C548081761 @default.
- W3128751218 hasConceptScore W3128751218C75606506 @default.
- W3128751218 hasConceptScore W3128751218C76844732 @default.
- W3128751218 hasIssue "6" @default.
- W3128751218 hasLocation W31287512181 @default.
- W3128751218 hasOpenAccess W3128751218 @default.
- W3128751218 hasPrimaryLocation W31287512181 @default.
- W3128751218 hasRelatedWork W1545245645 @default.
- W3128751218 hasRelatedWork W1587246512 @default.
- W3128751218 hasRelatedWork W2007489624 @default.
- W3128751218 hasRelatedWork W2016051366 @default.
- W3128751218 hasRelatedWork W2072171199 @default.
- W3128751218 hasRelatedWork W2103972622 @default.
- W3128751218 hasRelatedWork W2130372530 @default.
- W3128751218 hasRelatedWork W2541728168 @default.
- W3128751218 hasRelatedWork W2994238225 @default.
- W3128751218 hasRelatedWork W61995002 @default.
- W3128751218 hasVolume "32" @default.
- W3128751218 isParatext "false" @default.
- W3128751218 isRetracted "false" @default.
- W3128751218 magId "3128751218" @default.
- W3128751218 workType "article" @default.