Matches in SemOpenAlex for { <https://semopenalex.org/work/W1989760865> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W1989760865 abstract "Contracts have proved a powerful concept in software engineering, to the point where we have a well regarded software development approach centered on their use, and native support in programming languages. However, it is not clear that there is a uniform concept of contract that can be applied to both algorithmic and interactive software. We propose a framework for thinking about software contracts based on the idea that a contract aims to preserve a formal proposition about the software system being built, and the form of the contract must reflect both the proposition whose truth is to be preserved and the formal reasoning system used for verification. In particular, we believe that very different forms of contract are needed for algorithmic and interactive software and illustrate this with examples." @default.
- W1989760865 created "2016-06-24" @default.
- W1989760865 creator A5046593476 @default.
- W1989760865 date "2010-06-15" @default.
- W1989760865 modified "2023-09-25" @default.
- W1989760865 title "A framework for the semantics of behavioral contracts" @default.
- W1989760865 cites W1990781571 @default.
- W1989760865 cites W2082690451 @default.
- W1989760865 cites W2987907651 @default.
- W1989760865 doi "https://doi.org/10.1145/1811147.1811150" @default.
- W1989760865 hasPublicationYear "2010" @default.
- W1989760865 type Work @default.
- W1989760865 sameAs 1989760865 @default.
- W1989760865 citedByCount "1" @default.
- W1989760865 countsByYear W19897608652014 @default.
- W1989760865 crossrefType "proceedings-article" @default.
- W1989760865 hasAuthorship W1989760865A5046593476 @default.
- W1989760865 hasBestOaLocation W19897608652 @default.
- W1989760865 hasConcept C184337299 @default.
- W1989760865 hasConcept C199360897 @default.
- W1989760865 hasConcept C41008148 @default.
- W1989760865 hasConceptScore W1989760865C184337299 @default.
- W1989760865 hasConceptScore W1989760865C199360897 @default.
- W1989760865 hasConceptScore W1989760865C41008148 @default.
- W1989760865 hasLocation W19897608651 @default.
- W1989760865 hasLocation W19897608652 @default.
- W1989760865 hasOpenAccess W1989760865 @default.
- W1989760865 hasPrimaryLocation W19897608651 @default.
- W1989760865 hasRelatedWork W1483213041 @default.
- W1989760865 hasRelatedWork W1587224678 @default.
- W1989760865 hasRelatedWork W1778728081 @default.
- W1989760865 hasRelatedWork W2056977125 @default.
- W1989760865 hasRelatedWork W2099080307 @default.
- W1989760865 hasRelatedWork W2109507516 @default.
- W1989760865 hasRelatedWork W2135396778 @default.
- W1989760865 hasRelatedWork W27605384 @default.
- W1989760865 hasRelatedWork W4243252198 @default.
- W1989760865 hasRelatedWork W1894736207 @default.
- W1989760865 isParatext "false" @default.
- W1989760865 isRetracted "false" @default.
- W1989760865 magId "1989760865" @default.
- W1989760865 workType "article" @default.