Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022971947> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2022971947 endingPage "654" @default.
- W2022971947 startingPage "627" @default.
- W2022971947 abstract "Software systems have evolved from monolithic programs to systems constructed from parallel, cooperative components, as can be currently found in object-oriented applications. Although powerful, these cooperative systems are also more difficult to verify. We show that it is possible to automatically translate a PARADIGM specification to a Propositional Linear Temporal Logic based program. This has several interesting consequences: a) on one hand we allow a more declarative view of PARADIGM specifications, b) the resulting translation is an executable specification and c) as we show in this work it can also be used to verify correctness properties by automatic means. We think this will contribute to enhance the understanding, usability and further development of PARADIGM, and related methods like SOCCA, within both the Software Engineering and the Knowledge Engineering communities." @default.
- W2022971947 created "2016-06-24" @default.
- W2022971947 creator A5063919851 @default.
- W2022971947 creator A5090552087 @default.
- W2022971947 date "2003-12-01" @default.
- W2022971947 modified "2023-09-27" @default.
- W2022971947 title "A PROCEDURE TO TRANSLATE PARADIGM SPECIFICATIONS TO PROPOSITIONAL LINEAR TEMPORAL LOGIC AND ITS APPLICATION TO VERIFICATION" @default.
- W2022971947 cites W1506588809 @default.
- W2022971947 cites W1606950856 @default.
- W2022971947 cites W1675507648 @default.
- W2022971947 cites W2115309705 @default.
- W2022971947 doi "https://doi.org/10.1142/s0218194003001494" @default.
- W2022971947 hasPublicationYear "2003" @default.
- W2022971947 type Work @default.
- W2022971947 sameAs 2022971947 @default.
- W2022971947 citedByCount "2" @default.
- W2022971947 countsByYear W20229719472013 @default.
- W2022971947 crossrefType "journal-article" @default.
- W2022971947 hasAuthorship W2022971947A5063919851 @default.
- W2022971947 hasAuthorship W2022971947A5090552087 @default.
- W2022971947 hasConcept C115903868 @default.
- W2022971947 hasConcept C160145156 @default.
- W2022971947 hasConcept C199360897 @default.
- W2022971947 hasConcept C25016198 @default.
- W2022971947 hasConcept C41008148 @default.
- W2022971947 hasConcept C4777664 @default.
- W2022971947 hasConcept C55439883 @default.
- W2022971947 hasConcept C80444323 @default.
- W2022971947 hasConceptScore W2022971947C115903868 @default.
- W2022971947 hasConceptScore W2022971947C160145156 @default.
- W2022971947 hasConceptScore W2022971947C199360897 @default.
- W2022971947 hasConceptScore W2022971947C25016198 @default.
- W2022971947 hasConceptScore W2022971947C41008148 @default.
- W2022971947 hasConceptScore W2022971947C4777664 @default.
- W2022971947 hasConceptScore W2022971947C55439883 @default.
- W2022971947 hasConceptScore W2022971947C80444323 @default.
- W2022971947 hasIssue "06" @default.
- W2022971947 hasLocation W20229719471 @default.
- W2022971947 hasOpenAccess W2022971947 @default.
- W2022971947 hasPrimaryLocation W20229719471 @default.
- W2022971947 hasRelatedWork W1517922951 @default.
- W2022971947 hasRelatedWork W1519519715 @default.
- W2022971947 hasRelatedWork W1546948343 @default.
- W2022971947 hasRelatedWork W1976513602 @default.
- W2022971947 hasRelatedWork W2051068608 @default.
- W2022971947 hasRelatedWork W2072341009 @default.
- W2022971947 hasRelatedWork W2128844732 @default.
- W2022971947 hasRelatedWork W2741430969 @default.
- W2022971947 hasRelatedWork W2949701294 @default.
- W2022971947 hasRelatedWork W2978390175 @default.
- W2022971947 hasVolume "13" @default.
- W2022971947 isParatext "false" @default.
- W2022971947 isRetracted "false" @default.
- W2022971947 magId "2022971947" @default.
- W2022971947 workType "article" @default.