Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561021858> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1561021858 abstract "PARADIGM has recently emerged as a new language to design cooperative object-oriented systems. To our knowledge, PARADIGM temporal aspects have not been studied before. Here we describe a polynomial algorithm to translate PARADIGM models to Propositional Linear Temporal Logic programs. The resulting program is an executable specification of the modelled system, suitable for verifying model properties. It is also a declarative view of the model. Therefore we provide a temporal framework to understand and reason about PARADIGM models behavior, and system development in general. Finally, we believe this work provides further evidence on the benefits that PARADIGM has to offer to the Software Engineering community. We complement a previous conference paper which introduced the main concepts behind the translation process and its application to system verification." @default.
- W1561021858 created "2016-06-24" @default.
- W1561021858 creator A5022941249 @default.
- W1561021858 creator A5063919851 @default.
- W1561021858 creator A5090552087 @default.
- W1561021858 date "2003-11-01" @default.
- W1561021858 modified "2023-09-27" @default.
- W1561021858 title "An Algorithm to Translate PARADIGM specifications to PLTL" @default.
- W1561021858 hasPublicationYear "2003" @default.
- W1561021858 type Work @default.
- W1561021858 sameAs 1561021858 @default.
- W1561021858 citedByCount "0" @default.
- W1561021858 crossrefType "journal-article" @default.
- W1561021858 hasAuthorship W1561021858A5022941249 @default.
- W1561021858 hasAuthorship W1561021858A5063919851 @default.
- W1561021858 hasAuthorship W1561021858A5090552087 @default.
- W1561021858 hasConcept C104317684 @default.
- W1561021858 hasConcept C111472728 @default.
- W1561021858 hasConcept C112313634 @default.
- W1561021858 hasConcept C115903868 @default.
- W1561021858 hasConcept C127716648 @default.
- W1561021858 hasConcept C138885662 @default.
- W1561021858 hasConcept C160145156 @default.
- W1561021858 hasConcept C185592680 @default.
- W1561021858 hasConcept C188082640 @default.
- W1561021858 hasConcept C199360897 @default.
- W1561021858 hasConcept C25016198 @default.
- W1561021858 hasConcept C41008148 @default.
- W1561021858 hasConcept C43540301 @default.
- W1561021858 hasConcept C4777664 @default.
- W1561021858 hasConcept C55493867 @default.
- W1561021858 hasConcept C80444323 @default.
- W1561021858 hasConcept C98045186 @default.
- W1561021858 hasConceptScore W1561021858C104317684 @default.
- W1561021858 hasConceptScore W1561021858C111472728 @default.
- W1561021858 hasConceptScore W1561021858C112313634 @default.
- W1561021858 hasConceptScore W1561021858C115903868 @default.
- W1561021858 hasConceptScore W1561021858C127716648 @default.
- W1561021858 hasConceptScore W1561021858C138885662 @default.
- W1561021858 hasConceptScore W1561021858C160145156 @default.
- W1561021858 hasConceptScore W1561021858C185592680 @default.
- W1561021858 hasConceptScore W1561021858C188082640 @default.
- W1561021858 hasConceptScore W1561021858C199360897 @default.
- W1561021858 hasConceptScore W1561021858C25016198 @default.
- W1561021858 hasConceptScore W1561021858C41008148 @default.
- W1561021858 hasConceptScore W1561021858C43540301 @default.
- W1561021858 hasConceptScore W1561021858C4777664 @default.
- W1561021858 hasConceptScore W1561021858C55493867 @default.
- W1561021858 hasConceptScore W1561021858C80444323 @default.
- W1561021858 hasConceptScore W1561021858C98045186 @default.
- W1561021858 hasLocation W15610218581 @default.
- W1561021858 hasOpenAccess W1561021858 @default.
- W1561021858 hasPrimaryLocation W15610218581 @default.
- W1561021858 hasRelatedWork W1182598015 @default.
- W1561021858 hasRelatedWork W1515803496 @default.
- W1561021858 hasRelatedWork W1566191209 @default.
- W1561021858 hasRelatedWork W1608490958 @default.
- W1561021858 hasRelatedWork W177518465 @default.
- W1561021858 hasRelatedWork W1880050370 @default.
- W1561021858 hasRelatedWork W1983346515 @default.
- W1561021858 hasRelatedWork W1989760865 @default.
- W1561021858 hasRelatedWork W2013519563 @default.
- W1561021858 hasRelatedWork W2071793557 @default.
- W1561021858 hasRelatedWork W2079108861 @default.
- W1561021858 hasRelatedWork W2118793464 @default.
- W1561021858 hasRelatedWork W2146446683 @default.
- W1561021858 hasRelatedWork W216627714 @default.
- W1561021858 hasRelatedWork W2334372331 @default.
- W1561021858 hasRelatedWork W2419934280 @default.
- W1561021858 hasRelatedWork W2462072297 @default.
- W1561021858 hasRelatedWork W2551987959 @default.
- W1561021858 hasRelatedWork W2808836817 @default.
- W1561021858 hasRelatedWork W3021248082 @default.
- W1561021858 isParatext "false" @default.
- W1561021858 isRetracted "false" @default.
- W1561021858 magId "1561021858" @default.
- W1561021858 workType "article" @default.