Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097476716> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2097476716 abstract "Developing robot control applications is a software engineering domain that still relies on low-level development tools with limited testing capabilities. The Java Application Building Center (jABC), a framework for model-based application development that supports the modelling process of service-oriented software applications, on the contrary offers a number of early error detection mechanisms like animation, analysis, simulation, and formal verification. We investigate the adequacy of jABC to model, verify and implement robot control applications in a model driven paradigm, and aim at addressing the design of software for autonomous robots for space missions later on. Being able to model and verify their reconfiguration behaviour before launching them is of central importance there. We developed a proof-of-concept application that controls a Lego <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>®</sup> Mindstorms <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>™</sup> robot which finds its way through a maze. As this maze may change dynamically, the robot must be capable of reacting and adjusting its behaviour. This application was completely modelled, verified, and generated with the jABC." @default.
- W2097476716 created "2016-06-24" @default.
- W2097476716 creator A5038401310 @default.
- W2097476716 creator A5067889732 @default.
- W2097476716 creator A5070470420 @default.
- W2097476716 creator A5072582583 @default.
- W2097476716 date "2007-03-01" @default.
- W2097476716 modified "2023-10-14" @default.
- W2097476716 title "Model Driven Design of Reliable Robot Control Programs Using the jABC" @default.
- W2097476716 cites W1593428110 @default.
- W2097476716 cites W1972004564 @default.
- W2097476716 cites W1996832037 @default.
- W2097476716 cites W2011767010 @default.
- W2097476716 cites W2015640848 @default.
- W2097476716 cites W2029496912 @default.
- W2097476716 cites W2031452489 @default.
- W2097476716 cites W2037090831 @default.
- W2097476716 cites W2104073228 @default.
- W2097476716 cites W2119149970 @default.
- W2097476716 cites W2138282870 @default.
- W2097476716 cites W3023191323 @default.
- W2097476716 cites W4245106453 @default.
- W2097476716 doi "https://doi.org/10.1109/ease.2007.17" @default.
- W2097476716 hasPublicationYear "2007" @default.
- W2097476716 type Work @default.
- W2097476716 sameAs 2097476716 @default.
- W2097476716 citedByCount "23" @default.
- W2097476716 countsByYear W20974767162012 @default.
- W2097476716 countsByYear W20974767162015 @default.
- W2097476716 countsByYear W20974767162016 @default.
- W2097476716 countsByYear W20974767162019 @default.
- W2097476716 countsByYear W20974767162020 @default.
- W2097476716 countsByYear W20974767162021 @default.
- W2097476716 crossrefType "proceedings-article" @default.
- W2097476716 hasAuthorship W2097476716A5038401310 @default.
- W2097476716 hasAuthorship W2097476716A5067889732 @default.
- W2097476716 hasAuthorship W2097476716A5070470420 @default.
- W2097476716 hasAuthorship W2097476716A5072582583 @default.
- W2097476716 hasConcept C115903868 @default.
- W2097476716 hasConcept C119701452 @default.
- W2097476716 hasConcept C134306372 @default.
- W2097476716 hasConcept C149635348 @default.
- W2097476716 hasConcept C154945302 @default.
- W2097476716 hasConcept C199360897 @default.
- W2097476716 hasConcept C2777904410 @default.
- W2097476716 hasConcept C33923547 @default.
- W2097476716 hasConcept C36503486 @default.
- W2097476716 hasConcept C41008148 @default.
- W2097476716 hasConcept C548217200 @default.
- W2097476716 hasConcept C90509273 @default.
- W2097476716 hasConcept C98045186 @default.
- W2097476716 hasConceptScore W2097476716C115903868 @default.
- W2097476716 hasConceptScore W2097476716C119701452 @default.
- W2097476716 hasConceptScore W2097476716C134306372 @default.
- W2097476716 hasConceptScore W2097476716C149635348 @default.
- W2097476716 hasConceptScore W2097476716C154945302 @default.
- W2097476716 hasConceptScore W2097476716C199360897 @default.
- W2097476716 hasConceptScore W2097476716C2777904410 @default.
- W2097476716 hasConceptScore W2097476716C33923547 @default.
- W2097476716 hasConceptScore W2097476716C36503486 @default.
- W2097476716 hasConceptScore W2097476716C41008148 @default.
- W2097476716 hasConceptScore W2097476716C548217200 @default.
- W2097476716 hasConceptScore W2097476716C90509273 @default.
- W2097476716 hasConceptScore W2097476716C98045186 @default.
- W2097476716 hasLocation W20974767161 @default.
- W2097476716 hasOpenAccess W2097476716 @default.
- W2097476716 hasPrimaryLocation W20974767161 @default.
- W2097476716 hasRelatedWork W1490787830 @default.
- W2097476716 hasRelatedWork W1493446239 @default.
- W2097476716 hasRelatedWork W1860988706 @default.
- W2097476716 hasRelatedWork W1979547103 @default.
- W2097476716 hasRelatedWork W2097082130 @default.
- W2097476716 hasRelatedWork W2137409926 @default.
- W2097476716 hasRelatedWork W2162118494 @default.
- W2097476716 hasRelatedWork W3217667592 @default.
- W2097476716 hasRelatedWork W4254917997 @default.
- W2097476716 hasRelatedWork W2528467228 @default.
- W2097476716 isParatext "false" @default.
- W2097476716 isRetracted "false" @default.
- W2097476716 magId "2097476716" @default.
- W2097476716 workType "article" @default.