Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108566745> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2108566745 endingPage "68" @default.
- W2108566745 startingPage "57" @default.
- W2108566745 abstract "Event-B is a formal method that allows one to develop various kinds of systems including discrete control systems. However, it is lacking a systematic approach for developing this type of systems and it hinders the applicability of Event-B. Our contribution is such an approach and it is presented in this paper. Our proposed method focuses on a set of elements that should be captured by the formal model and prescribes an order in which they should be introduced. The key aspect of our approach is to first model the required behaviour of the environment, and then to introduce the controller to appropriately influence the environment. It has the advantage that every step of such a development is dictated by the information available so far, including the requirements. We argue that having a clear development strategy early in the design process will assist the developers in producing high-quality models of the future software systems." @default.
- W2108566745 created "2016-06-24" @default.
- W2108566745 creator A5042805366 @default.
- W2108566745 creator A5056271188 @default.
- W2108566745 date "2011-12-01" @default.
- W2108566745 modified "2023-09-25" @default.
- W2108566745 title "Development of Control Systems Guided by Models of their Environment" @default.
- W2108566745 cites W1556900989 @default.
- W2108566745 cites W1588875097 @default.
- W2108566745 cites W16607718 @default.
- W2108566745 cites W1971486022 @default.
- W2108566745 cites W2103953153 @default.
- W2108566745 cites W2127975217 @default.
- W2108566745 cites W2155155771 @default.
- W2108566745 doi "https://doi.org/10.1016/j.entcs.2011.11.018" @default.
- W2108566745 hasPublicationYear "2011" @default.
- W2108566745 type Work @default.
- W2108566745 sameAs 2108566745 @default.
- W2108566745 citedByCount "8" @default.
- W2108566745 countsByYear W21085667452013 @default.
- W2108566745 countsByYear W21085667452015 @default.
- W2108566745 countsByYear W21085667452016 @default.
- W2108566745 countsByYear W21085667452017 @default.
- W2108566745 countsByYear W21085667452018 @default.
- W2108566745 countsByYear W21085667452020 @default.
- W2108566745 crossrefType "journal-article" @default.
- W2108566745 hasAuthorship W2108566745A5042805366 @default.
- W2108566745 hasAuthorship W2108566745A5056271188 @default.
- W2108566745 hasBestOaLocation W21085667451 @default.
- W2108566745 hasConcept C111472728 @default.
- W2108566745 hasConcept C115903868 @default.
- W2108566745 hasConcept C121332964 @default.
- W2108566745 hasConcept C127413603 @default.
- W2108566745 hasConcept C134306372 @default.
- W2108566745 hasConcept C138885662 @default.
- W2108566745 hasConcept C177264268 @default.
- W2108566745 hasConcept C199360897 @default.
- W2108566745 hasConcept C201995342 @default.
- W2108566745 hasConcept C203479927 @default.
- W2108566745 hasConcept C26517878 @default.
- W2108566745 hasConcept C2776542497 @default.
- W2108566745 hasConcept C2779530757 @default.
- W2108566745 hasConcept C2779662365 @default.
- W2108566745 hasConcept C33923547 @default.
- W2108566745 hasConcept C38652104 @default.
- W2108566745 hasConcept C41008148 @default.
- W2108566745 hasConcept C62520636 @default.
- W2108566745 hasConcept C6557445 @default.
- W2108566745 hasConcept C75606506 @default.
- W2108566745 hasConcept C86803240 @default.
- W2108566745 hasConcept C98045186 @default.
- W2108566745 hasConceptScore W2108566745C111472728 @default.
- W2108566745 hasConceptScore W2108566745C115903868 @default.
- W2108566745 hasConceptScore W2108566745C121332964 @default.
- W2108566745 hasConceptScore W2108566745C127413603 @default.
- W2108566745 hasConceptScore W2108566745C134306372 @default.
- W2108566745 hasConceptScore W2108566745C138885662 @default.
- W2108566745 hasConceptScore W2108566745C177264268 @default.
- W2108566745 hasConceptScore W2108566745C199360897 @default.
- W2108566745 hasConceptScore W2108566745C201995342 @default.
- W2108566745 hasConceptScore W2108566745C203479927 @default.
- W2108566745 hasConceptScore W2108566745C26517878 @default.
- W2108566745 hasConceptScore W2108566745C2776542497 @default.
- W2108566745 hasConceptScore W2108566745C2779530757 @default.
- W2108566745 hasConceptScore W2108566745C2779662365 @default.
- W2108566745 hasConceptScore W2108566745C33923547 @default.
- W2108566745 hasConceptScore W2108566745C38652104 @default.
- W2108566745 hasConceptScore W2108566745C41008148 @default.
- W2108566745 hasConceptScore W2108566745C62520636 @default.
- W2108566745 hasConceptScore W2108566745C6557445 @default.
- W2108566745 hasConceptScore W2108566745C75606506 @default.
- W2108566745 hasConceptScore W2108566745C86803240 @default.
- W2108566745 hasConceptScore W2108566745C98045186 @default.
- W2108566745 hasLocation W21085667451 @default.
- W2108566745 hasLocation W21085667452 @default.
- W2108566745 hasOpenAccess W2108566745 @default.
- W2108566745 hasPrimaryLocation W21085667451 @default.
- W2108566745 hasRelatedWork W2054097655 @default.
- W2108566745 hasRelatedWork W2141452888 @default.
- W2108566745 hasRelatedWork W219051881 @default.
- W2108566745 hasRelatedWork W2341351907 @default.
- W2108566745 hasRelatedWork W2363516177 @default.
- W2108566745 hasRelatedWork W2363566761 @default.
- W2108566745 hasRelatedWork W2372119299 @default.
- W2108566745 hasRelatedWork W2587498865 @default.
- W2108566745 hasRelatedWork W3037877393 @default.
- W2108566745 hasRelatedWork W4274063 @default.
- W2108566745 hasVolume "280" @default.
- W2108566745 isParatext "false" @default.
- W2108566745 isRetracted "false" @default.
- W2108566745 magId "2108566745" @default.
- W2108566745 workType "article" @default.