Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293259107> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2293259107 abstract "The various theories of model based refinement that have arisen over the years offer powerful methods of transforming abstract formal models into (what are ultimately) implementations, with a high degree of assurance that suitable properties of the abstract model have been preserved. Formal model based refinement has had considerable success in selected critical projects such as the M´et´eor Project for the Paris Metro and a number of smartcard based developments such as the Mondex Purse and the Javacard. However, refinement is very demanding as regards the precise relationship between abstract models and their more concrete counterparts, and these aspects can inhibit its use, or at least undermine its connection to system requirements. Examples of such scenarios arise in large scale discrete applications, where low level details can clutter the structure of abstract models to an extent that inhibits their proper incorporation in the abstract model. Others arise in the modelling of continuous systems, in which the controllers to be built are nonetheless digital, and thus the transition from modelling in the continuous domain to modelling in the discrete domain has to be overcome. In practice, situations like these are usually dealt with by ad hoc means that depend on the example at hand. (Typical strategies range from: changing the abstract model to fit the exigencies of refinement, to making the mathematical concrete model subtly inconsistent with the actual executable code, to simply neglecting certain low level details in all the mathematical development.)" @default.
- W2293259107 created "2016-06-24" @default.
- W2293259107 creator A5075794170 @default.
- W2293259107 date "2006-10-24" @default.
- W2293259107 modified "2023-09-24" @default.
- W2293259107 title "Retrenchment Tutorial" @default.
- W2293259107 doi "https://doi.org/10.1109/sefm.2006.32" @default.
- W2293259107 hasPublicationYear "2006" @default.
- W2293259107 type Work @default.
- W2293259107 sameAs 2293259107 @default.
- W2293259107 citedByCount "0" @default.
- W2293259107 crossrefType "proceedings-article" @default.
- W2293259107 hasAuthorship W2293259107A5075794170 @default.
- W2293259107 hasConcept C110251889 @default.
- W2293259107 hasConcept C115903868 @default.
- W2293259107 hasConcept C134306372 @default.
- W2293259107 hasConcept C14331664 @default.
- W2293259107 hasConcept C160145156 @default.
- W2293259107 hasConcept C177264268 @default.
- W2293259107 hasConcept C199360897 @default.
- W2293259107 hasConcept C26713055 @default.
- W2293259107 hasConcept C2776760102 @default.
- W2293259107 hasConcept C33923547 @default.
- W2293259107 hasConcept C36503486 @default.
- W2293259107 hasConcept C41008148 @default.
- W2293259107 hasConcept C75606506 @default.
- W2293259107 hasConcept C80444323 @default.
- W2293259107 hasConcept C92548554 @default.
- W2293259107 hasConcept C98045186 @default.
- W2293259107 hasConceptScore W2293259107C110251889 @default.
- W2293259107 hasConceptScore W2293259107C115903868 @default.
- W2293259107 hasConceptScore W2293259107C134306372 @default.
- W2293259107 hasConceptScore W2293259107C14331664 @default.
- W2293259107 hasConceptScore W2293259107C160145156 @default.
- W2293259107 hasConceptScore W2293259107C177264268 @default.
- W2293259107 hasConceptScore W2293259107C199360897 @default.
- W2293259107 hasConceptScore W2293259107C26713055 @default.
- W2293259107 hasConceptScore W2293259107C2776760102 @default.
- W2293259107 hasConceptScore W2293259107C33923547 @default.
- W2293259107 hasConceptScore W2293259107C36503486 @default.
- W2293259107 hasConceptScore W2293259107C41008148 @default.
- W2293259107 hasConceptScore W2293259107C75606506 @default.
- W2293259107 hasConceptScore W2293259107C80444323 @default.
- W2293259107 hasConceptScore W2293259107C92548554 @default.
- W2293259107 hasConceptScore W2293259107C98045186 @default.
- W2293259107 hasLocation W22932591071 @default.
- W2293259107 hasOpenAccess W2293259107 @default.
- W2293259107 hasPrimaryLocation W22932591071 @default.
- W2293259107 hasRelatedWork W145965506 @default.
- W2293259107 hasRelatedWork W1992514752 @default.
- W2293259107 hasRelatedWork W2045475634 @default.
- W2293259107 hasRelatedWork W2108566745 @default.
- W2293259107 hasRelatedWork W2187704572 @default.
- W2293259107 hasRelatedWork W2337818390 @default.
- W2293259107 hasRelatedWork W2402804972 @default.
- W2293259107 hasRelatedWork W2470616799 @default.
- W2293259107 hasRelatedWork W2550474203 @default.
- W2293259107 hasRelatedWork W2731606488 @default.
- W2293259107 hasRelatedWork W2750863162 @default.
- W2293259107 hasRelatedWork W2764170761 @default.
- W2293259107 hasRelatedWork W2800800175 @default.
- W2293259107 hasRelatedWork W2972049303 @default.
- W2293259107 hasRelatedWork W2989021963 @default.
- W2293259107 hasRelatedWork W3013571126 @default.
- W2293259107 hasRelatedWork W39944018 @default.
- W2293259107 hasRelatedWork W40408592 @default.
- W2293259107 hasRelatedWork W818789911 @default.
- W2293259107 hasRelatedWork W897090774 @default.
- W2293259107 isParatext "false" @default.
- W2293259107 isRetracted "false" @default.
- W2293259107 magId "2293259107" @default.
- W2293259107 workType "article" @default.