標(biāo)題: Titlebook: Software Engineering for Robotics; Ana Cavalcanti,Brijesh Dongol,Jim Woodcock Book 2021 Springer Nature Switzerland AG 2021 Software Engin [打印本頁] 作者: Optician 時(shí)間: 2025-3-21 17:09
書目名稱Software Engineering for Robotics影響因子(影響力)
書目名稱Software Engineering for Robotics影響因子(影響力)學(xué)科排名
書目名稱Software Engineering for Robotics網(wǎng)絡(luò)公開度
書目名稱Software Engineering for Robotics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Software Engineering for Robotics被引頻次
書目名稱Software Engineering for Robotics被引頻次學(xué)科排名
書目名稱Software Engineering for Robotics年度引用
書目名稱Software Engineering for Robotics年度引用學(xué)科排名
書目名稱Software Engineering for Robotics讀者反饋
書目名稱Software Engineering for Robotics讀者反饋學(xué)科排名
作者: 移動(dòng) 時(shí)間: 2025-3-22 00:02 作者: 譏諷 時(shí)間: 2025-3-22 02:05
,RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing,ration for simulation. Diagrammatic domain-specific, but tool-independent, notations for design and simulation use state machines, differential equations, and controlled English to specify behavior. We illustrate the RoboStar approach using an autonomous vehicle as an example.作者: Cleave 時(shí)間: 2025-3-22 07:02 作者: MEET 時(shí)間: 2025-3-22 10:44
Software Product Line Engineering for Robotics,ough to easily accommodate frequently changing requirements. In various application domains, software product line (SPL) development has proven to be the most effective approach to achieving software flexibility and to face this kind of challenges..This chapter reviews the fundamental concepts in SP作者: jeopardize 時(shí)間: 2025-3-22 16:43
Towards Autonomous Robot Evolution,e that such systems offer significant potential for advancing both science and engineering. For science, evolving robots can be used to investigate fundamental issues about evolution and the emergence of embodied intelligence. For engineering, artificial evolution can be used as a tool that produces作者: pancreas 時(shí)間: 2025-3-22 20:46 作者: 消音器 時(shí)間: 2025-3-23 00:19 作者: 啟發(fā) 時(shí)間: 2025-3-23 05:03 作者: GULP 時(shí)間: 2025-3-23 09:16
Robot Accident Investigation: A Case Study in Responsible Robotics,ation of social robots is now becoming commonplace. Equipped with sophisticated embedded artificial intelligence (AI), social robots might be deployed as care robots to assist elderly or disabled people to live independently. Smart robot toys offer a compelling interactive play experience for childr作者: 柏樹 時(shí)間: 2025-3-23 13:04 作者: IOTA 時(shí)間: 2025-3-23 16:22
,Verification of Autonomous Robots: A Roboticist’s Bottom-Up Approach,he most critical parts of their software are robust and reliable. Moreover, autonomous robots embed onboard deliberation functions. This is what makes them autonomous but open for new challenges. There are many approaches to consider for the V&V of AR software, e.g. write high-level specifications a作者: Hyperplasia 時(shí)間: 2025-3-23 19:00
,RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing, basis to program tool-specific simulations. The simulation code, written in general or proprietary programming languages, is, however, the only full account of the robotic system. Here, we present the RoboStar technology, a modern approach to design that supports automatic generation of simulation 作者: freight 時(shí)間: 2025-3-24 00:57
CorteX: A Software Framework for Interoperable, Plug-and-Play, Distributed, Robotic Systems of Syst is resulting in ever more complex robotics installations being deployed, maintained, and extended over long periods of time. Additionally, the unstructured, experimental, or unknown operational conditions frequently result in new or changing system requirements, meaning extension and adaptation is 作者: 生氣的邊緣 時(shí)間: 2025-3-24 05:00
Mutation Testing for RoboChart,leading to a set of mutants of .. Given a mutant . of ., we check whether . is a valid implementation of ., and, if it is not, we find a test case that demonstrates this: a test case that reveals the seeded fault. In order to automate this approach, we used the Wodel tool to seed faults and a combin作者: Memorial 時(shí)間: 2025-3-24 10:31 作者: CORE 時(shí)間: 2025-3-24 13:20
RoboStar Technology: Modelling Uncertainty in RoboChart Using Probability, we discuss first why we need probability by surveying how we use it in designing robots. To illustrate our approach, we focus on the verification of probabilistic robotic algorithms for pose estimation. We verify a model-fitting algorithm: random sample consensus (Ransac). This is a popular algorit作者: 才能 時(shí)間: 2025-3-24 17:55 作者: 障礙 時(shí)間: 2025-3-24 19:54 作者: 錫箔紙 時(shí)間: 2025-3-24 23:49 作者: alabaster 時(shí)間: 2025-3-25 05:27
Mutation Testing for RoboChart,ation of two tools, RoboTool and FDR, to generate tests that detect the seeded faults. The result is an overall test-generation technique that can be automated and that derives test cases that are guaranteed to find certain faults.作者: engrave 時(shí)間: 2025-3-25 09:52
CorteX: A Software Framework for Interoperable, Plug-and-Play, Distributed, Robotic Systems of Systlong-term maintainability and extensibility issues encountered in such scenarios through the use of a standardised, self-describing data representations and associated communications protocols. Progress in developing and testing the CorteX framework, as well as an overview of current and planned deployments, will be presented.作者: 招致 時(shí)間: 2025-3-25 14:54 作者: Paleontology 時(shí)間: 2025-3-25 19:33 作者: 微塵 時(shí)間: 2025-3-25 22:30 作者: Keshan-disease 時(shí)間: 2025-3-26 01:06
Ipek Caliskanelli,Matthew Goodliffe,Craig Whiffin,Michail Xymitoulias,Edward Whittaker,Swapnil Verma作者: Mutter 時(shí)間: 2025-3-26 06:27
Robert M. Hierons,Maciej Gazda,Pablo Gómez-Abajo,Raluca Lefticaru,Mercedes G. Merayo作者: Musculoskeletal 時(shí)間: 2025-3-26 11:33 作者: calamity 時(shí)間: 2025-3-26 15:19 作者: Countermand 時(shí)間: 2025-3-26 19:35 作者: condescend 時(shí)間: 2025-3-26 22:47 作者: Memorial 時(shí)間: 2025-3-27 02:23
Robot Accident Investigation: A Case Study in Responsible Robotics,ccident investigation, a framework that proposes both the technology and processes that would allow social robot accidents to be investigated with no less rigour than we expect of air or rail accident investigations. The chapter also places accident investigation within the practice of responsible r作者: 單純 時(shí)間: 2025-3-27 06:15
,Verification of Autonomous Robots: A Roboticist’s Bottom-Up Approach,ss existing well-known formal V&V frameworks (UPPAAL, BIP, FIACRE-TINA). Gen oM was originally developed by roboticists and software engineers who wanted to clearly and precisely specify how a reusable, portable, middleware-independent, functional component should be specified and implemented. As a 作者: SLUMP 時(shí)間: 2025-3-27 13:24 作者: resistant 時(shí)間: 2025-3-27 13:36 作者: Contort 時(shí)間: 2025-3-27 18:52
Kerstin Eder die mathematisch besonders interessierten Leser...Die Themen Elemente der komplexen Funktionentheorie, gew?hnliche und partielle Differentialgleichungen, Variationsrechnung, Fourierreihen und Fouriertransforma978-3-540-48767-8978-3-540-48768-5Series ISSN 0937-7433 Series E-ISSN 2512-5214 作者: 同時(shí)發(fā)生 時(shí)間: 2025-3-27 23:03 作者: 態(tài)度暖昧 時(shí)間: 2025-3-28 05:14 作者: 圓柱 時(shí)間: 2025-3-28 09:53
d practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concep978-3-030-66496-1978-3-030-66494-7作者: 用樹皮 時(shí)間: 2025-3-28 13:12 作者: 懶鬼才會(huì)衰弱 時(shí)間: 2025-3-28 18:00
Christian Schlegel,Alex Lotz,Matthias Lutz,Dennis Stampfert jedoch erst das Integral von ., und auch die theoretische Physik kommt heute nicht mehr an dieser modernen Integrationstheorie vorbei. Sie sprengt jedoch den Rahmen dieses Grundkurses, und wir werden an anderer Stelle auf sie zurückkommen (vgl. [14]).作者: 付出 時(shí)間: 2025-3-28 19:16
Arnaud Gotlieb,Dusica Marijan,Helge Spiekert jedoch erst das Integral von ., und auch die theoretische Physik kommt heute nicht mehr an dieser modernen Integrationstheorie vorbei. Sie sprengt jedoch den Rahmen dieses Grundkurses, und wir werden an anderer Stelle auf sie zurückkommen (vgl. [14]).作者: 阻止 時(shí)間: 2025-3-29 01:56
Alan F. T. Winfield,Katie Winkle,Helena Webb,Ulrik Lyngs,Marina Jirotka,Carl Macraet jedoch erst das Integral von ., und auch die theoretische Physik kommt heute nicht mehr an dieser modernen Integrationstheorie vorbei. Sie sprengt jedoch den Rahmen dieses Grundkurses, und wir werden an anderer Stelle auf sie zurückkommen (vgl. [14]).作者: morale 時(shí)間: 2025-3-29 03:30 作者: 不再流行 時(shí)間: 2025-3-29 08:23
https://doi.org/10.1007/978-3-030-66494-7Software Engineering; Software Design; Software Verification; Software Testing; Software Quality Assuran作者: 凈禮 時(shí)間: 2025-3-29 15:12
978-3-030-66496-1Springer Nature Switzerland AG 2021作者: CUMB 時(shí)間: 2025-3-29 16:07
Ana Cavalcanti,Brijesh Dongol,Jim WoodcockPresents techniques for robotics, related to model-based software engineering, product lines, mission specification, component-based development, simulation, testing, and verification.Includes example作者: 油膏 時(shí)間: 2025-3-29 23:22 作者: Cumulus 時(shí)間: 2025-3-30 03:46 作者: ULCER 時(shí)間: 2025-3-30 06:48
Arnaud Gotlieb,Dusica Marijan,Helge Spiekerdes ?., die geometrisch nicht allzu kompliziert sind. Man denke an Quader, Kugeln, Kegel, Zylinder etc., also an geometrische Gebilde, deren Rand aus endlich vielen glatten Stücken besteht. Wir wollen hier das n?tigste Handwerkszeug zu diesem Thema bereitstellen. Gerne würden wir uns dabei auf steti作者: Defraud 時(shí)間: 2025-3-30 10:27 作者: hemorrhage 時(shí)間: 2025-3-30 14:02 作者: 取消 時(shí)間: 2025-3-30 17:52
