Overview: Presents techniques for robotics, related to model-based software engineering, product lines, mission specification, component-based development, simulation, testing, and verification.Includes example.The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to ser
|