Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023480513> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2023480513 abstract "Actual problems during design, implementation and maintenance of securities settlement systems software are achieving complementarity of several different, connected, asynchronously communicating settlement systems and verification of this complementarity. The aim of this paper is to create domain specific language for modeling of settlement systems and their interactions. Then use models to calculate settlement systems behavior. Specific of settlement systems requires that they perform accordingly to business rules in any situation. This makes use of model checking a very desirable step in development process of settlement systems. Defining a domain specific language and creating editor supporting it is a first step to enable use of model checking techniques. Created models also can be used as input for other analysis methods and tools, for example, basis path testing, simulation and as base for deriving test cases" @default.
- W2023480513 created "2016-06-24" @default.
- W2023480513 creator A5010541268 @default.
- W2023480513 creator A5014768132 @default.
- W2023480513 creator A5020344244 @default.
- W2023480513 date "2012-07-01" @default.
- W2023480513 modified "2023-09-26" @default.
- W2023480513 title "Domain specific language for securities settlement systems" @default.
- W2023480513 cites W1981369631 @default.
- W2023480513 cites W2102696830 @default.
- W2023480513 cites W2183975736 @default.
- W2023480513 cites W2533662917 @default.
- W2023480513 cites W4326358 @default.
- W2023480513 doi "https://doi.org/10.1109/icdipc.2012.6257291" @default.
- W2023480513 hasPublicationYear "2012" @default.
- W2023480513 type Work @default.
- W2023480513 sameAs 2023480513 @default.
- W2023480513 citedByCount "2" @default.
- W2023480513 countsByYear W20234805132020 @default.
- W2023480513 countsByYear W20234805132023 @default.
- W2023480513 crossrefType "proceedings-article" @default.
- W2023480513 hasAuthorship W2023480513A5010541268 @default.
- W2023480513 hasAuthorship W2023480513A5014768132 @default.
- W2023480513 hasAuthorship W2023480513A5020344244 @default.
- W2023480513 hasConcept C115903868 @default.
- W2023480513 hasConcept C134306372 @default.
- W2023480513 hasConcept C135257023 @default.
- W2023480513 hasConcept C136764020 @default.
- W2023480513 hasConcept C145097563 @default.
- W2023480513 hasConcept C199360897 @default.
- W2023480513 hasConcept C202269582 @default.
- W2023480513 hasConcept C2777063073 @default.
- W2023480513 hasConcept C33923547 @default.
- W2023480513 hasConcept C36503486 @default.
- W2023480513 hasConcept C41008148 @default.
- W2023480513 hasConcept C54355233 @default.
- W2023480513 hasConcept C86803240 @default.
- W2023480513 hasConcept C98045186 @default.
- W2023480513 hasConceptScore W2023480513C115903868 @default.
- W2023480513 hasConceptScore W2023480513C134306372 @default.
- W2023480513 hasConceptScore W2023480513C135257023 @default.
- W2023480513 hasConceptScore W2023480513C136764020 @default.
- W2023480513 hasConceptScore W2023480513C145097563 @default.
- W2023480513 hasConceptScore W2023480513C199360897 @default.
- W2023480513 hasConceptScore W2023480513C202269582 @default.
- W2023480513 hasConceptScore W2023480513C2777063073 @default.
- W2023480513 hasConceptScore W2023480513C33923547 @default.
- W2023480513 hasConceptScore W2023480513C36503486 @default.
- W2023480513 hasConceptScore W2023480513C41008148 @default.
- W2023480513 hasConceptScore W2023480513C54355233 @default.
- W2023480513 hasConceptScore W2023480513C86803240 @default.
- W2023480513 hasConceptScore W2023480513C98045186 @default.
- W2023480513 hasLocation W20234805131 @default.
- W2023480513 hasOpenAccess W2023480513 @default.
- W2023480513 hasPrimaryLocation W20234805131 @default.
- W2023480513 hasRelatedWork W12579158 @default.
- W2023480513 hasRelatedWork W145965506 @default.
- W2023480513 hasRelatedWork W1502913333 @default.
- W2023480513 hasRelatedWork W1508229089 @default.
- W2023480513 hasRelatedWork W1551610155 @default.
- W2023480513 hasRelatedWork W2014419036 @default.
- W2023480513 hasRelatedWork W2045475634 @default.
- W2023480513 hasRelatedWork W2076710603 @default.
- W2023480513 hasRelatedWork W2084764985 @default.
- W2023480513 hasRelatedWork W2097401894 @default.
- W2023480513 hasRelatedWork W2108566745 @default.
- W2023480513 hasRelatedWork W2109308438 @default.
- W2023480513 hasRelatedWork W2154705074 @default.
- W2023480513 hasRelatedWork W2155089036 @default.
- W2023480513 hasRelatedWork W2158849671 @default.
- W2023480513 hasRelatedWork W2172096649 @default.
- W2023480513 hasRelatedWork W2304993773 @default.
- W2023480513 hasRelatedWork W2353949897 @default.
- W2023480513 hasRelatedWork W24398128 @default.
- W2023480513 hasRelatedWork W2566494203 @default.
- W2023480513 isParatext "false" @default.
- W2023480513 isRetracted "false" @default.
- W2023480513 magId "2023480513" @default.
- W2023480513 workType "article" @default.