You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book represents the proceedings of the 9th SDL Forum which was held in Montreal, Quebec, Canada, during the week of June 21-25, 1999. The 9th SDL Forum presents papers on the past and future development of the MSC and SDL languages.The volume presents information on experience with the use of these languages in industrial development projects, on tools and techniques for using these languages in the software and hardware development process, and other aspects of these languages.
The International Workshop on “Human Interaction with Machines” is the sixth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin. The goal of those workshops is to bring together researchers from both universities in order to present research results to an international community. The series of workshops started in 1990 with the International Workshop on “Artificial Intelligence” and was continued with the International Workshop on “Advanced Software Technology” in 1994. Both workshops have been hosted by Shanghai Jiaotong University. In 1998 the third wo- shop took place in Berlin. This International Workshop on “Communi- tion Based Systems” was essentially based on results from the Graduiertenkolleg on Communication Based Systems that was funded by the German Research Society (DFG) from 1991 to 2000. The fourth Int- national Workshop on “Robotics and its Applications” was held in Sha- hai in 2000. The fifth International Workshop on “The Internet Challenge: Technology and Applications” was hosted by TU Berlin in 2002.
Dieses Buch liefert sowohl die theoretischen Grundlagen als auch das praktische Handwerkszeug zur Anwendung der Model-Driven-Architecture der OMG. Nach einer Definition und der Einordnung des Ansatzes in die heutige Welt des Software-Engineering sowie der Vorstellung der notwendigen Grundlagen entwickeln die Autoren anhand eines Fallbeispiels ein prototypisches MDA Framework und setzen so die zuvor erarbeiteten Erkenntnisse in die Praxis um. Besonderes Augenmerk wird dabei auf die Verwendung von Open-Source Technologien, insbesondere der Eclipse-Plattform und ihrer untergliederten Projekte gelegt. Eine Übersicht über verwandte Ansätze und sinnvolle Ergänzungen zum vorgestellten Vorgehen sowie eine abschließende Bewertung und ein vorsichtiger Ausblick in die Zukunft runden die Darstellung ab. Das Buch richtet sich damit sowohl an Entscheider, die ein fundiertes Basiswissen zur MDA erlangen wollen, als auch an Praktiker, die Antworten auf konkrete Fragestellungen zur Umsetzung benötigen.
Ein Lehrbuch, das die Brücke zwischen der Mechatronik und der Entwicklung eingebetteter Software schlägt. Zunächst werden die Grundlagen eingebetteter Systeme, die die Gebiete Systemtheorie, Steuerung und Regelung sowie Sensorik und Aktuatorik umfassen, für Informatiker verständlich umrissen. Im zweiten Teil werden darauf aufbauend moderne Entwicklungsmethoden für eingebettete Software erläutert. Informatiker erhalten hierbei die notwendigen Grundlagen, die sie für die Entwicklung ihrer eingebetteten Software benötigen. Elektrotechniker, Maschinenbauer und Mechatroniker profitieren von den modernen Softwareentwicklungsmethoden für eingebettete Systeme, die sie sonst nur verstreut in verschiedener Spezialliteratur finden würden.
Der Einsatz mobiler Computer wie Smartphones für die Abarbeitung mobiler Geschäftsprozesse bringt neben großen Vorteilen auch spezifische Sicherheitsherausforderungen mit sich. Als ein Lösungsansatz hierfür wird "ortsabhängige Zugriffskontrolle" verfolgt. Die Grundidee dabei ist es, den aktuellen Aufenthaltsort des Nutzers für die Zugriffskontrollentscheidung auszuwerten. Zur Modellierung solcher Ortseinschränkungen wird eine auf UML-Aktivitätsdiagrammen aufbauende Notation eingeführt.
None
Message Sequence Charts (MSC) have had an unanticipated success, both with SDL, on its own and in conjunction with other methods and tools. Major tool vendors now offer both SDL and MSC in their tool set. This timely volume reports on the recent developments in this expanding field. Several papers deal with language issues, tools and methods for effective use of MSC. Advances in "SDL technology" are discussed, and several papers deal with the early stages of product development and how SDL may be complemented by other methods, such as OMT, to improve problem understanding and make better SDL designs. New developments in the areas of tools for verification, validation and testing are also included, together with a large number of papers on applications.
This book constitutes the refereed proceedings of the 11th International SDL Forum, SDL 2003, held in Stuttgart, Germany in July 2003. The 23 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on performance, evolution, development, modeling, timing, validation, design, and application. Thus all aspects of systems design and system design languages are addressed.
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly UML conferences), MoDELS 2006. The book presents 51 revised full papers and 2 invited papers. Discussion is organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, and more.