Matches in SemOpenAlex for { <https://semopenalex.org/work/W2382193513> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2382193513 abstract "Design by contract is an important technology which can be used to improve software quality.Contract can express the basic properties which are invisible to the users and the conditions used to guarantee the correct results of programs.Program invariant is a kind of contract including class invariants,pre-conditions invariants and post-conditions invariants.The program invariants can be applied to the range of program verification and software test.In this paper,the current mainstream research technology of detecting program invariants is described and the main process and key methods of discovering the invariants are shown." @default.
- W2382193513 created "2016-06-24" @default.
- W2382193513 creator A5014930190 @default.
- W2382193513 date "2011-01-01" @default.
- W2382193513 modified "2023-09-27" @default.
- W2382193513 title "Detection Techniques of Program Invariants" @default.
- W2382193513 hasPublicationYear "2011" @default.
- W2382193513 type Work @default.
- W2382193513 sameAs 2382193513 @default.
- W2382193513 citedByCount "0" @default.
- W2382193513 crossrefType "journal-article" @default.
- W2382193513 hasAuthorship W2382193513A5014930190 @default.
- W2382193513 hasConcept C111472728 @default.
- W2382193513 hasConcept C115903868 @default.
- W2382193513 hasConcept C138885662 @default.
- W2382193513 hasConcept C159985019 @default.
- W2382193513 hasConcept C190470478 @default.
- W2382193513 hasConcept C192562407 @default.
- W2382193513 hasConcept C199360897 @default.
- W2382193513 hasConcept C204323151 @default.
- W2382193513 hasConcept C26517878 @default.
- W2382193513 hasConcept C27206212 @default.
- W2382193513 hasConcept C2777617010 @default.
- W2382193513 hasConcept C2777904410 @default.
- W2382193513 hasConcept C2779530757 @default.
- W2382193513 hasConcept C33923547 @default.
- W2382193513 hasConcept C37914503 @default.
- W2382193513 hasConcept C38652104 @default.
- W2382193513 hasConcept C41008148 @default.
- W2382193513 hasConcept C98045186 @default.
- W2382193513 hasConceptScore W2382193513C111472728 @default.
- W2382193513 hasConceptScore W2382193513C115903868 @default.
- W2382193513 hasConceptScore W2382193513C138885662 @default.
- W2382193513 hasConceptScore W2382193513C159985019 @default.
- W2382193513 hasConceptScore W2382193513C190470478 @default.
- W2382193513 hasConceptScore W2382193513C192562407 @default.
- W2382193513 hasConceptScore W2382193513C199360897 @default.
- W2382193513 hasConceptScore W2382193513C204323151 @default.
- W2382193513 hasConceptScore W2382193513C26517878 @default.
- W2382193513 hasConceptScore W2382193513C27206212 @default.
- W2382193513 hasConceptScore W2382193513C2777617010 @default.
- W2382193513 hasConceptScore W2382193513C2777904410 @default.
- W2382193513 hasConceptScore W2382193513C2779530757 @default.
- W2382193513 hasConceptScore W2382193513C33923547 @default.
- W2382193513 hasConceptScore W2382193513C37914503 @default.
- W2382193513 hasConceptScore W2382193513C38652104 @default.
- W2382193513 hasConceptScore W2382193513C41008148 @default.
- W2382193513 hasConceptScore W2382193513C98045186 @default.
- W2382193513 hasLocation W23821935131 @default.
- W2382193513 hasOpenAccess W2382193513 @default.
- W2382193513 hasPrimaryLocation W23821935131 @default.
- W2382193513 hasRelatedWork W1521711401 @default.
- W2382193513 hasRelatedWork W1738559955 @default.
- W2382193513 hasRelatedWork W2036186500 @default.
- W2382193513 hasRelatedWork W2065725498 @default.
- W2382193513 hasRelatedWork W2292517751 @default.
- W2382193513 hasRelatedWork W2322553318 @default.
- W2382193513 hasRelatedWork W2461425419 @default.
- W2382193513 hasRelatedWork W2474443678 @default.
- W2382193513 hasRelatedWork W2514903476 @default.
- W2382193513 hasRelatedWork W2528713792 @default.
- W2382193513 hasRelatedWork W2918534254 @default.
- W2382193513 hasRelatedWork W2950569797 @default.
- W2382193513 hasRelatedWork W2967257850 @default.
- W2382193513 hasRelatedWork W2973117902 @default.
- W2382193513 hasRelatedWork W2978524235 @default.
- W2382193513 hasRelatedWork W3157444596 @default.
- W2382193513 hasRelatedWork W3173571493 @default.
- W2382193513 hasRelatedWork W37990230 @default.
- W2382193513 hasRelatedWork W88240752 @default.
- W2382193513 hasRelatedWork W1494597166 @default.
- W2382193513 isParatext "false" @default.
- W2382193513 isRetracted "false" @default.
- W2382193513 magId "2382193513" @default.
- W2382193513 workType "article" @default.