Gesundheit und Krankheiten in Gegenwart und Geschichte
Jacobson
Seite 10
Stressfrei durch Progressive Relaxation (Sonderausgabe mit CD): Mehr Gelassenheit durch Tiefmuskelentspannung nach Jacobson: So nutzen Sie die Erfolgsmethode.Autor: Dietmar Ohm
Taschenbuch
|
The Avenger: Thomas Bennet and a Father's Lament (Bennet Wardrobe, Book 6)Autor: Don Jacobson
Audible Hörbuch
|
Getting Unstuck: Using Leadership Paradox to Execute with Confidence (English Edition)Autor: Ralph Jacobson
Kindle eBook und andere Ausgaben
 |
Stressbewältigung mit der Jacobson-Methode der progressiven MuskelentspannungAutor: isadora ivy
Kindle eBook und andere Ausgaben
|
Begehre mich! - Band 10-12Autor: Kate B. Jacobson
Kindle eBook und andere Ausgaben
|
Gérer le stress avec la méthode Jacobson de relaxation progressiveAutor: isadora ivy
Taschenbuch
|
A Bennet Wardrobe Christmas Miracle: A Pride and Prejudice Variation (The Bennet Wardrobe Series)Autor: Don Jacobson
Audible Hörbuch
|
Gefährliches Wiedersehen (Ein Fall für Jacobson und Kerr 1)Autor: Iain McDowall
Kindle eBook und andere Ausgaben
|
A Spiritual Guide to the Counting of the Omer: Forty-Nine Steps to Personal Refinement According to the Jewish Tradition (English Edition)Autor: Rabbi Simon Jacobson
Kindle eBook und andere Ausgaben
|
Der perfekte Tod (Ein Fall für Jacobson und Kerr 3)Autor: Iain McDowall
Kindle eBook und andere Ausgaben
|
Formaler Entwurf effizienter Authentisierungsprotokolle mit SchlüsselabspracheGunnar JacobsonTaschenbuchThe author presents a new, original method for the formal requirements definition and the design of authentication and key-agreement protocols and demonstrates its usage as a design-tool for such protocols. The exemplary formal design of Kerberos demonstrates the applicability and reliability of the method. The author then classifies cryptosystems and protocol runs and provides a generic design approach, which is on an idealised layer independent from the cryptosystem to be used. Generic design schemes for two- and three-party protocols are being worked out and it is shown, how concrete specifications of new protocols may be derived easily. Doing this, specifications of new protocol are generated, for example a three-party private-key protocol. The design is done by applying logical rules, starting from the protocol goals and prerequisites, which have been previously defined in a requirements definition. The author introduces a new representation technique for this. The author's approach is the inverse application of the popular logic of Burrows, Abadi and Needham, which has up to now been used for the verification of authentication and key-agreement protocols. The new method is called the inverse BAN logic. The representation of the protocol behaviour is done using the specification and description language SDL. This new representation is called "SDL combined with inverse BAN logic", SDL/iBAN. Furthermore, the author presents a development model, which enables a layered, general development of such protocols. [written in German] Key words: Security protocols, authentication, key agreement, key distribution, formal methods, formal design, BAN logic, Kerberos, SDL. |
Object-oriented Software EngineeringIvar JacobsonTaschenbuchHow can software developers, programmers and managers meet the challenges of the 90s and begin to resolve the software crisis? This book is based on Objectory which is the first commercially available comprehensive object-oriented process for developing large-scale industrial systems. Ivar Jacobson developed Objectory as a result of 20 years of experience building real software-based products. The approach takes a global view of system development and focuses on minimizing the system's life cycle cost. Objectory is an extensible industrial process that provides a method for building large industrial systems. This revised printing has been completely updated to make it as accessible and complete as possible. New material includes the revised Testing chapter, in which new product developments are discussed. Contents same as US/UK editions. |
The Unified Modeling Language Reference Manual , with cdTaschenbuchBy the creators of the UML, this is a timely revision of the definitive reference to the UML which has been updated to reflect UML 2.0. Thoroughly revised and expanded coverage of UML in its latest version- 2.0 From the Three Amigos- Rumbaugh, Jacobson, and Booch -- the creators of the Unified Modeling Language The industry standard modeling language has grown increasingly more complex; the need for a thorough reference has never been greater The recently-released UML 2.0 specification is much less readable than the original UML 1.1 specification. The UML has grown more complex, and therefore, the need for a thorough reference book from the creators of the language is more pronounced than it was when the first edition was published more than five years ago. This timely second edition has been thoroughly revised, expanded, and updated to reflect the intricacies of the latest version of UML. The authors have incorporated feedback from the first edition. Significant changes include revisions in the area of sequence diagrams, activity models, action models, protocol state machines, components, internal structure of classes and components, and profiles. The result is a thoroughly useful reference that is completely up-to-date and essential to any software practitioner who needs to understand the inner-workings of the industry standard modeling language. Contents same as US/UK editions. |
The Unified Software Development ProcessTaschenbuchA software process defines the steps required to create software successfully. Written by the same authors who brought you the Unified Modelling Language (UML), The Unified Software Development Process introduces a new standard for creating today's software that will certainly be useful for any software developer or manager who is acquainted with UML. Early sections introduce four basic principles of the unified process: that software should stress use cases (which show how it interacts with users), that the process is architecture-centric and that it is iterative and incremental. The authors then apply these principles to their software process, which involves everything from gathering system requirements to analysis, design, implementation and testing. The use-case examples are excellent and include concrete examples drawn from such areas as banking and inventory control. The authors point out the connection between UML document types (like use-cases, class diagrams and state transition diagrams) with various models used throughout the software process. They provide very short, real-world examples that illustrate how their ideas have been successfully applied. The straightforward tour of the new unified software process gets extra elaboration--along with some advice--in later chapters that further describe the author's ideas on design. With the weight of these three expert authors behind it, readers can expect The Unified Software Development Process to be an important book and one that will be valuable to any working designer or manager. Contents same as US/UK editions. |
Unified Modeling Language User GuideTaschenbuchIntroduced in 1997, the Unified Modeling Language (UML) has rapidly been accepted throughout the software industry as the standard graphical language for specifying, constructing, visualizing, and documenting software-intensive systems. The UML provides anyone involved in the production, deployment, and maintenance of software with a standard notation for expressing a system's blueprint. The UML covers conceptual things, such as business processes and system functions, as well as concrete things, such as programming-language classes, database schemas, and reusable software components. In The Unified Modeling Language User Guide, the original developers of the UML, Grady Booch, James Rumbaugh, and Ivar Jacobson, provide a tutorial to the core aspects of the language in a two-color format designed to facilitate learning. Starting with a conceptual model of the UML, the book progressively applies the UML to a series of increasingly complex modeling problems across a variety of application domains. This example-driven approach helps readers quickly understand and apply the UML. For more advanced developers, the book includes a learning track focused on applying the UML to advanced modeling problems. Contents same as US/UK editions. |
Automation and Society.Howard Boone/ Roucek, Joseph S. (eds.) JacobsonGebundene Ausgabe |
Jacobson, Weitere Seiten:
Insgesamt 1000 Artikel zu
Jacobson direkt auflisten!Alphabetische Listen:
Autoren Persönlichkeiten Reisen, Geografie Gesundheit/Krankheiten Allgemeine Themen
Home