Matches in SemOpenAlex for { <https://semopenalex.org/work/W96055412> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W96055412 endingPage "18" @default.
- W96055412 startingPage "3" @default.
- W96055412 abstract "The rapid evolution of the technological landscape and the impact of information technologies on our everyday life raise new challenges which cannot be tackled by a purely technological approach. Generally speaking, legal and technical means should complement each other to reduce risks for citizens and consumers : on one side, laws (or contracts) can provide assurances which are out of reach of technical means (or cope with situations where technical means would be defeated); on the other side, technology can help enforce legal and contractual commitments. This synergy should not be taken for granted however, and if legal issues are not considered from the outset, technological decisions made during the design phase may very well hamper or make impossible the enforcement of legal rights. But the consideration of legal constraints in the design phase is a challenge in itself, not least because of the gap between the legal and technical communities and the difficulties to establish a common understanding of the concepts at hand. In this paper, we advocate the use of formal methods to reduce this gap, taking examples in areas such as privacy, liability and compliance." @default.
- W96055412 created "2016-06-24" @default.
- W96055412 creator A5022042532 @default.
- W96055412 date "2011-01-01" @default.
- W96055412 modified "2023-09-23" @default.
- W96055412 title "Formal Methods as a Link between Software Code and Legal Rules" @default.
- W96055412 cites W1496626515 @default.
- W96055412 cites W1502932156 @default.
- W96055412 cites W1521938291 @default.
- W96055412 cites W1566482261 @default.
- W96055412 cites W1967366741 @default.
- W96055412 cites W1972764621 @default.
- W96055412 cites W1977100096 @default.
- W96055412 cites W1977779870 @default.
- W96055412 cites W1991300505 @default.
- W96055412 cites W2022542575 @default.
- W96055412 cites W2051888899 @default.
- W96055412 cites W2058343120 @default.
- W96055412 cites W2064889916 @default.
- W96055412 cites W2077212436 @default.
- W96055412 cites W2083147302 @default.
- W96055412 cites W2104715133 @default.
- W96055412 cites W2109740450 @default.
- W96055412 cites W2139701376 @default.
- W96055412 cites W2159024459 @default.
- W96055412 cites W2911978475 @default.
- W96055412 cites W3123303344 @default.
- W96055412 cites W3137220996 @default.
- W96055412 cites W3205357727 @default.
- W96055412 cites W4229564893 @default.
- W96055412 cites W4253404828 @default.
- W96055412 doi "https://doi.org/10.1007/978-3-642-24690-6_2" @default.
- W96055412 hasPublicationYear "2011" @default.
- W96055412 type Work @default.
- W96055412 sameAs 96055412 @default.
- W96055412 citedByCount "6" @default.
- W96055412 countsByYear W960554122012 @default.
- W96055412 countsByYear W960554122013 @default.
- W96055412 countsByYear W960554122015 @default.
- W96055412 countsByYear W960554122019 @default.
- W96055412 countsByYear W960554122020 @default.
- W96055412 crossrefType "book-chapter" @default.
- W96055412 hasAuthorship W96055412A5022042532 @default.
- W96055412 hasConcept C104317684 @default.
- W96055412 hasConcept C112313634 @default.
- W96055412 hasConcept C112930515 @default.
- W96055412 hasConcept C127716648 @default.
- W96055412 hasConcept C144024400 @default.
- W96055412 hasConcept C144133560 @default.
- W96055412 hasConcept C17744445 @default.
- W96055412 hasConcept C185592680 @default.
- W96055412 hasConcept C188082640 @default.
- W96055412 hasConcept C190253527 @default.
- W96055412 hasConcept C199539241 @default.
- W96055412 hasConcept C2777834853 @default.
- W96055412 hasConcept C2779777834 @default.
- W96055412 hasConcept C38652104 @default.
- W96055412 hasConcept C41008148 @default.
- W96055412 hasConcept C55493867 @default.
- W96055412 hasConceptScore W96055412C104317684 @default.
- W96055412 hasConceptScore W96055412C112313634 @default.
- W96055412 hasConceptScore W96055412C112930515 @default.
- W96055412 hasConceptScore W96055412C127716648 @default.
- W96055412 hasConceptScore W96055412C144024400 @default.
- W96055412 hasConceptScore W96055412C144133560 @default.
- W96055412 hasConceptScore W96055412C17744445 @default.
- W96055412 hasConceptScore W96055412C185592680 @default.
- W96055412 hasConceptScore W96055412C188082640 @default.
- W96055412 hasConceptScore W96055412C190253527 @default.
- W96055412 hasConceptScore W96055412C199539241 @default.
- W96055412 hasConceptScore W96055412C2777834853 @default.
- W96055412 hasConceptScore W96055412C2779777834 @default.
- W96055412 hasConceptScore W96055412C38652104 @default.
- W96055412 hasConceptScore W96055412C41008148 @default.
- W96055412 hasConceptScore W96055412C55493867 @default.
- W96055412 hasLocation W960554121 @default.
- W96055412 hasOpenAccess W96055412 @default.
- W96055412 hasPrimaryLocation W960554121 @default.
- W96055412 hasRelatedWork W2030496847 @default.
- W96055412 hasRelatedWork W2041471845 @default.
- W96055412 hasRelatedWork W2119993996 @default.
- W96055412 hasRelatedWork W2268203155 @default.
- W96055412 hasRelatedWork W2755344985 @default.
- W96055412 hasRelatedWork W2899084033 @default.
- W96055412 hasRelatedWork W2998820412 @default.
- W96055412 hasRelatedWork W3007967230 @default.
- W96055412 hasRelatedWork W3126006356 @default.
- W96055412 hasRelatedWork W4313313264 @default.
- W96055412 isParatext "false" @default.
- W96055412 isRetracted "false" @default.
- W96055412 magId "96055412" @default.
- W96055412 workType "book-chapter" @default.