Matches in SemOpenAlex for { <https://semopenalex.org/work/W2503341098> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2503341098 endingPage "99" @default.
- W2503341098 startingPage "24" @default.
- W2503341098 abstract "Introduction The intent of this chapter is to introduce a complete example of a small system development. During this development, we will become aware of the systematic approach we are using: it consists in developing a series of more and more accurate models of the system we want to construct. This technique is called refinement . The reason for building consecutive models is that a unique one would be far too complicated to reason about. Note that each model does not represent the programming of our system using a high-level programming language, it rather formalizes what an external observer of this system could perceive of it. Each model will be analyzed and proved, thus enabling us to establish that it is correct relative to a number of criteria. As a result, when the last model is finished, we will be able to say that this model is correct by construction . Moreover, this model will be so close to a final implementation that it will be very easy to transform it into a genuine program. The correctness criteria alluded to above will be made completely clear and systematic by giving a number of proof obligation rules which will be applied on our models. After applying such rules, we shall have to prove formally a number of statements. To this end, we shall also give a reminder of the classical rules of inference of the sequent calculus . Such rules concern propositional logic, equality, and basic arithmetic." @default.
- W2503341098 created "2016-08-23" @default.
- W2503341098 creator A5065128505 @default.
- W2503341098 date "2013-03-06" @default.
- W2503341098 modified "2023-09-23" @default.
- W2503341098 title "Controlling cars on a bridge" @default.
- W2503341098 doi "https://doi.org/10.1017/cbo9781139195881.003" @default.
- W2503341098 hasPublicationYear "2013" @default.
- W2503341098 type Work @default.
- W2503341098 sameAs 2503341098 @default.
- W2503341098 citedByCount "2" @default.
- W2503341098 countsByYear W25033410982014 @default.
- W2503341098 countsByYear W25033410982017 @default.
- W2503341098 crossrefType "book-chapter" @default.
- W2503341098 hasAuthorship W2503341098A5065128505 @default.
- W2503341098 hasConcept C199343813 @default.
- W2503341098 hasConcept C199360897 @default.
- W2503341098 hasConcept C2777686260 @default.
- W2503341098 hasConcept C2780801425 @default.
- W2503341098 hasConcept C41008148 @default.
- W2503341098 hasConcept C55439883 @default.
- W2503341098 hasConcept C69562738 @default.
- W2503341098 hasConcept C71924100 @default.
- W2503341098 hasConcept C80444323 @default.
- W2503341098 hasConcept C89421646 @default.
- W2503341098 hasConceptScore W2503341098C199343813 @default.
- W2503341098 hasConceptScore W2503341098C199360897 @default.
- W2503341098 hasConceptScore W2503341098C2777686260 @default.
- W2503341098 hasConceptScore W2503341098C2780801425 @default.
- W2503341098 hasConceptScore W2503341098C41008148 @default.
- W2503341098 hasConceptScore W2503341098C55439883 @default.
- W2503341098 hasConceptScore W2503341098C69562738 @default.
- W2503341098 hasConceptScore W2503341098C71924100 @default.
- W2503341098 hasConceptScore W2503341098C80444323 @default.
- W2503341098 hasConceptScore W2503341098C89421646 @default.
- W2503341098 hasLocation W25033410981 @default.
- W2503341098 hasOpenAccess W2503341098 @default.
- W2503341098 hasPrimaryLocation W25033410981 @default.
- W2503341098 hasRelatedWork W108827548 @default.
- W2503341098 hasRelatedWork W1579802618 @default.
- W2503341098 hasRelatedWork W1789705734 @default.
- W2503341098 hasRelatedWork W195945525 @default.
- W2503341098 hasRelatedWork W1982205379 @default.
- W2503341098 hasRelatedWork W2003507016 @default.
- W2503341098 hasRelatedWork W2042758550 @default.
- W2503341098 hasRelatedWork W2071195323 @default.
- W2503341098 hasRelatedWork W2100370904 @default.
- W2503341098 hasRelatedWork W2127452188 @default.
- W2503341098 hasRelatedWork W2218451200 @default.
- W2503341098 hasRelatedWork W2237075155 @default.
- W2503341098 hasRelatedWork W2425366967 @default.
- W2503341098 hasRelatedWork W2489277889 @default.
- W2503341098 hasRelatedWork W253191695 @default.
- W2503341098 hasRelatedWork W2580052002 @default.
- W2503341098 hasRelatedWork W2899314369 @default.
- W2503341098 hasRelatedWork W3011603826 @default.
- W2503341098 hasRelatedWork W3212605150 @default.
- W2503341098 hasRelatedWork W37298515 @default.
- W2503341098 isParatext "false" @default.
- W2503341098 isRetracted "false" @default.
- W2503341098 magId "2503341098" @default.
- W2503341098 workType "book-chapter" @default.