Matches in SemOpenAlex for { <https://semopenalex.org/work/W2165347818> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2165347818 abstract "Formal specifications and reasoning techniques in software modelling are needed to ensure the correctness of the system at the design phase. Event-B is a formal method with support tools that allows the stepwise development of reactive systems. Such systems include multi-agent systems as a subclass. In this paper, we propose an approach to specify capabilities of a number of software agents. We then verify whether these capabilities help the agents to accomplish a certain task using a supported tool for Event-B. We use the binary numeral system as a case study to illustrate our approach." @default.
- W2165347818 created "2016-06-24" @default.
- W2165347818 creator A5005464312 @default.
- W2165347818 creator A5042477912 @default.
- W2165347818 creator A5054567629 @default.
- W2165347818 date "2009-01-01" @default.
- W2165347818 modified "2023-09-27" @default.
- W2165347818 title "A Computability Perspective on Self-Modifying Programs" @default.
- W2165347818 cites W139343445 @default.
- W2165347818 cites W2122686415 @default.
- W2165347818 doi "https://doi.org/10.1109/sefm.2009.25" @default.
- W2165347818 hasPublicationYear "2009" @default.
- W2165347818 type Work @default.
- W2165347818 sameAs 2165347818 @default.
- W2165347818 citedByCount "17" @default.
- W2165347818 countsByYear W21653478182013 @default.
- W2165347818 countsByYear W21653478182014 @default.
- W2165347818 countsByYear W21653478182015 @default.
- W2165347818 countsByYear W21653478182016 @default.
- W2165347818 countsByYear W21653478182017 @default.
- W2165347818 countsByYear W21653478182018 @default.
- W2165347818 countsByYear W21653478182019 @default.
- W2165347818 countsByYear W21653478182020 @default.
- W2165347818 countsByYear W21653478182022 @default.
- W2165347818 crossrefType "proceedings-article" @default.
- W2165347818 hasAuthorship W2165347818A5005464312 @default.
- W2165347818 hasAuthorship W2165347818A5042477912 @default.
- W2165347818 hasAuthorship W2165347818A5054567629 @default.
- W2165347818 hasBestOaLocation W21653478182 @default.
- W2165347818 hasConcept C111498074 @default.
- W2165347818 hasConcept C115903868 @default.
- W2165347818 hasConcept C121332964 @default.
- W2165347818 hasConcept C12713177 @default.
- W2165347818 hasConcept C127413603 @default.
- W2165347818 hasConcept C149091818 @default.
- W2165347818 hasConcept C152062344 @default.
- W2165347818 hasConcept C154945302 @default.
- W2165347818 hasConcept C199360897 @default.
- W2165347818 hasConcept C201995342 @default.
- W2165347818 hasConcept C2777904410 @default.
- W2165347818 hasConcept C2779662365 @default.
- W2165347818 hasConcept C2780451532 @default.
- W2165347818 hasConcept C41008148 @default.
- W2165347818 hasConcept C55439883 @default.
- W2165347818 hasConcept C62520636 @default.
- W2165347818 hasConcept C75606506 @default.
- W2165347818 hasConcept C80444323 @default.
- W2165347818 hasConceptScore W2165347818C111498074 @default.
- W2165347818 hasConceptScore W2165347818C115903868 @default.
- W2165347818 hasConceptScore W2165347818C121332964 @default.
- W2165347818 hasConceptScore W2165347818C12713177 @default.
- W2165347818 hasConceptScore W2165347818C127413603 @default.
- W2165347818 hasConceptScore W2165347818C149091818 @default.
- W2165347818 hasConceptScore W2165347818C152062344 @default.
- W2165347818 hasConceptScore W2165347818C154945302 @default.
- W2165347818 hasConceptScore W2165347818C199360897 @default.
- W2165347818 hasConceptScore W2165347818C201995342 @default.
- W2165347818 hasConceptScore W2165347818C2777904410 @default.
- W2165347818 hasConceptScore W2165347818C2779662365 @default.
- W2165347818 hasConceptScore W2165347818C2780451532 @default.
- W2165347818 hasConceptScore W2165347818C41008148 @default.
- W2165347818 hasConceptScore W2165347818C55439883 @default.
- W2165347818 hasConceptScore W2165347818C62520636 @default.
- W2165347818 hasConceptScore W2165347818C75606506 @default.
- W2165347818 hasConceptScore W2165347818C80444323 @default.
- W2165347818 hasLocation W21653478181 @default.
- W2165347818 hasLocation W21653478182 @default.
- W2165347818 hasLocation W21653478183 @default.
- W2165347818 hasLocation W21653478184 @default.
- W2165347818 hasOpenAccess W2165347818 @default.
- W2165347818 hasPrimaryLocation W21653478181 @default.
- W2165347818 hasRelatedWork W1863373278 @default.
- W2165347818 hasRelatedWork W1977144985 @default.
- W2165347818 hasRelatedWork W2026335217 @default.
- W2165347818 hasRelatedWork W2142545871 @default.
- W2165347818 hasRelatedWork W2149144703 @default.
- W2165347818 hasRelatedWork W2157198002 @default.
- W2165347818 hasRelatedWork W2556057931 @default.
- W2165347818 hasRelatedWork W2973962686 @default.
- W2165347818 hasRelatedWork W3091728393 @default.
- W2165347818 hasRelatedWork W4250105839 @default.
- W2165347818 isParatext "false" @default.
- W2165347818 isRetracted "false" @default.
- W2165347818 magId "2165347818" @default.
- W2165347818 workType "article" @default.