Joseph Gabay, David Gabay, "UML 2 Analyse et conception : Mise en oeuvre guidée avec études de cas" Dunod | 2008 | ISBN: 2100518305 | French | True PDF | 242 pages | 9.2 MB
Ce nouvel ouvrage de J. Gabay s'inscrit dans la continuité de son ouvrage « Merise et UML » dont la 5e édition arrive aujourd'hui à épuisement. L'objectif des auteurs pour ce nouveau titre est triple …
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers By Nils Przigoda English | PDF,EPUB | 2018 | 257 Pages | ISBN : 331972813X | 10.96 MB
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.
Christoph Kecher, Alexander Salvanos, Ralf Hoffmann-Elbern, "UML 2.5: Das umfassende Handbuch. Ausgabe 2018. Inkl. DIN A2-Poster mit allen Diagrammtypen" German | ISBN: 3836260182 | 2017 | EPUB | 450 pages | 9,4 MB
UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design, 2nd Edition by Jim Arlow, Ila Neustadt English | 2009 | ISBN: 0321321278, 9780321321275 | 621 Pages | True PDF | 17.80 MB
This thoroughly revised edition provides an indispensable and practical guide to the complex process of object-oriented analysis and design using UML 2. It describes how the process of OO analysis and design fits into the software development lifecycle as defined by the Unified Process (UP).
Learning Dynamic Spatial Relations: The Case of a Knowledge-based Endoscopic Camera Guidance Robot By Andreas Bihlmaier English | PDF | 2016 | 278 Pages | ISBN : 3658149132 | 12.13 MB
Andreas Bihlmaier describes a novel method to model dynamic spatial relations by machine learning techniques. The method is applied to the task of representing the tacit knowledge of a trained camera assistant in minimally-invasive surgery. The model is then used for intraoperative control of a robot that autonomously positions the endoscope. Furthermore, a modular robotics platform is described, which forms the basis for this knowledge-based assistance system. Promising results from a complex phantom study are presented.
The Case Writer’s Toolkit By June Gwee English | PDF,EPUB | 2018 | 250 Pages | ISBN : 9811071721 | 5.17 MB
This book deconstructs the case study, describes the case writing process and explains how a good case study is composed. It is a reference book that accompanies case writers on their case writing journey. It serves as a guide for writers to develop case studies for teaching, research, and knowledge-capture. There are illustrations and charts to help writers visualise concepts, signpost ideas, break down complex information and apply techniques in a practical manner.