Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um Informatiksysteme analysieren oder entwerfen zu konnen.

Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pragnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsubergangs- und Sequenzdiagramme. Inharenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzprufung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen ubertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten."

Java and Object Orientation: An Introduction (2nd edition) shows readers how to build object oriented applications in Java. Written in a clear and concise style, with lots of examples, this revised edition provides:- A detailed understanding of object orientation- A thorough introduction to Java including building blocks, constructs, classes, data structures etc.- Coverage of graphical user interfaces and applets (AWT, Servlets)- Object oriented analysis and design including UML. If you are looking for a good introduction to Java and object orientation, then this is the book for you. Source code for the examples in this book is available at: http://www.java-and-oo.net

"Moving to ASP.NET: Web Development with VB .NET" provides focused and thorough guidance on creating Web applications using ASP.NET, including both Web Form applications and Web Services. Authors -->Steve Harris--> and -->Rob MacDonald--> have worked extensively with .NET throughout the beta program, and offer their real-world experience creating and implementing ASP.NET applications.

The authors discuss and examine relevant topics, and teach you how to make immediate use of ASP.NET. Topics include Web Forms, server-side and mobile controls, data access and binding, and XML integration. Also covered are .NET architecture and configuration, security, state and session management, scalability design, and Web Services. Extensive examples are featured throughout the book, and are also available on the Web for you to access and download.

IT-Governance, Sarbanes-Oxley Act, Basel II: Information Lifecycle Management (ILM) ist ein Thema, das alle CIO's beherrschen m ssen. Die Autoren fassen Information als Produkt auf, das einem Lebenszyklus unterliegt. Jede Phase dieses Produktlebenszyklus erfordert andere IT-Methoden, um Information kostenbewusst zu speichern, sowie zu be- und verarbeiten. Die Autoren erl utern die Gesetzeslage, Klassifizierungs- und Sicherheitskonzepte sowie deren Anforderungen an Betriebsf hrung und Unternehmen. Ausf hrlich: Qualit ts- und Risikomanagement. Plus: Disaster Recovery als Bestandteil der Security-Strategie und Betrachtung der globalen Aspekte.

Smart cards are playing an increasingly important role in areas such as ban- 1 king,electroniccommerce,andtelecommunications. TheJavaCard language hasbeenproposedasahigh-levellanguageforprogrammingmulti-application smartcards. Theuseofahigh-levellanguagecanfacilitatethedevelopmentand veri?cation of software for smart cards. The modest code size and the imp- tanceoftheapplicationareasimpliesthatitisbothpossibleanddesirableto developandapplyformalmethodsintheconstructionofsafeandsecureJava Cardsoftware. ThepresentvolumeconstitutestheproceedingsoftheJavaCardworkshop heldinCannes,14September2000. TheworkshopgrewoutoftheINRIAAction deRechercheCoop'erative"JavaCard"andwasorganizedincollaborationwith the Java Card Forum. A call for papers resulted in 14 submissions of which theprogramcommitteeselected11papersforpresentationattheworkshop. In addition,theworkshopfeaturedaninvitedtalkbyDanielLeM'etayer,Trusted Logic,onformalmethodsandsmartcardsecurity. WewishtothankCatherine Godest and Maryse Renaud for their help with preparing the proceedings for thisworkshop. February2001IsabelleAttali ThomasJensen 1 ItshouldbenotedthatJavaCardisatrademarkofSunMicrosystems. Organization ProgramCommittee ProgramChair: IsabelleAttali(INRIA,France) ThomasJensen(IRISA/CNRS,France) Committeemembers: ChristianGoire(BullCP8,France) SebastianHans(SunMicrosystems,USA) PieterHartel(UniversityofSouthampton,UK) PeterHoneyman(UniversityofMichigan,USA) PierreParadinas(Gemplus,France) JoachimPosegga(SAPCorporateResearch,Germany) TableofContents InvitedTalk FormalMethodsinContext:SecurityandJavaCard ...1 D. Bolignano,D. LeM'etayer,C. Loiseaux ContributedPapers ADynamicLogicfortheFormalVeri?cationofJavaCardPrograms ...6 BernhardBeckert ThePACAPPrototype:AToolforDetectingJavaCardIllegalFlow ...25 P. Bieber,J. Cazin,A. ElMarouani,P. Girard,J. -L. Lanet,V. Wiels, G. Zanon CardKt:AutomatedMulti-modalDeductiononJavaCardsfor Multi-applicationSecurity...38 RajeevGor'e,LanDuyNguyen A Programming and a Modelling Perspective on the Evaluation of Java CardImplementations...52 PieterH. Hartel,EduarddeJong SecureInternetSmartcards...73 NaomaruItoi,TomokoFukuzawa,PeterHoneyman IssuesinSmartcardMiddleware...90 RogerKehr,MichaelRohs,HaraldVogt OpenPlatfomSecurity ...98 MarcKekiche?,ForoughKashef,DavidBrewer ASimple(r)InterfaceDistributionMechanismforJavaCard ...1 14 KsheerabdhiKrishna,MichaelMontgomery AutomaticTestGenerationforJavaCardApplets ...121 HuguesMartin,LydieduBousquet FormalSpeci?cationandVeri?cationofJavaCard'sApplicationIdenti?er Class...137 JoachimvandenBerg,BartJacobs,ErikPoll X TableofContents Security on Your Hand: Secure Filesystems with a "Non-cryptographic" JAVA-Ring...151 R..udigerWeis,BastiaanBakker,StefanLucks AuthorIndex ...163 Formal Methods in Context: Security and Java Card D. Bolignano, D. Le Metayer, and C. Loiseaux Trusted Logic www. trusted-logic. fr 1. Security and Java Card: An Ideal Application Area for Formal Methods The benefits of formal methods for software engineering have been described at length in many research papers. They include among others: Better understanding and improved communication through unambiguous descriptions. Early bug detection thanks to the formalisation of specifications.

Packed with lots of examples and illustrations, including an 8-page colour section, Essential Java 3D fast is an introductory textbook for those who want to learn Java 3D fast.The best way to learn any programming language is by writing programs. In this book, Ian Palmer takes you through the steps to write a simple program in Java 3D, and then shows you how to modify and add features to this program, so you learn the key features of Java 3D.Learn about: Writing a simple Java 3D program;Creating Shapes;Defining Appearance;Animation;Behaviours.The examples in this book assume a working knowledge of Java and some background in 3D graphics, in order to explain the new concepts in Java 3D.

The Collections Framework is supplied with all versions of the Java 2 platform and provides programmers with incredibly efficient ways to manipulate data. However, given the large number of methods and classes in this library, using them correctly is hardly a cakewalk. Well-known columnist and bestselling author John Zukowski gives the Java professional exactly what he or she needs to know about this vital library in order to maximize productivity. This practical book contains comprehensive coverage of the important Collections Framework from the working programmer's point of view, while staying away from academic abstractions.

"Java Collections" leads you through the standard Java support for maintaining abstract groups of data, from the historical collection classes available since the inception of Java time, through the Collections Framework introduced with the Java 2 platform, and on to third-party alternative libraries for times when the standard support isn't enough. If you're working with data in Java programs, you need to understand the Collections Framework. Let Zukowski's "Java Collections" be your guide Table of Contents Java Collections Framework: An Overview Arrays The Vector and Stack Classes The Enumeration Interface The Dictionary, Hashtable, and Properties Classes The BitSet Class Collections Introduction Sets Lists Maps Sorting Special Collections Support Array Algorithm Support Custom Implementations Compatibility Issues Advanced Usages JGL Libraries util.concurrent Colt

Get a comprehensive, in-depth introduction to the core Python language with this hands-on book. Based on author Mark Lutz's popular training course, this updated fifth edition will help you quickly write efficient, high-quality code with Python. It's an ideal way to begin, whether you're new to programming or a professional developer versed in other languages.

Complete with quizzes, exercises, and helpful illustrations, this easy-to-follow, self-paced tutorial gets you started with both Python 2.7 and 3.3-- the latest releases in the 3.X and 2.X lines--plus all other releases in common use today. You'll also learn some advanced language features that recently have become more common in Python code.Explore Python's major built-in object types such as numbers, lists, and dictionariesCreate and process objects with Python statements, and learn Python's general syntax modelUse functions to avoid code redundancy and package code for reuseOrganize statements, functions, and other tools into larger components with modulesDive into classes: Python's object-oriented programming tool for structuring codeWrite large programs with Python's exception-handling model and development toolsLearn advanced Python tools, including decorators, descriptors, metaclasses, and Unicode processing

Essential ColdFusion fast gives the reader a working knowledge of ColdFusion and how to use it and how it integrates with other web-based technologies. Lots of working examples are included throughout, all of which are also available via a web-site that is powered by ColdFusion, which shows exactly how they work.Matthew Norman has written a 'get started quick' guide to ColdFusion, in the style of the Essential series, describing the setting up of a development system. He talks about how to achieve this on a budget, using techniques that are applicable to large scale operations as well.Anyone with a working knowledge of the internet, and who wants to learn more about what ColdFusion does and how they can start using it quickly, will find this book a real help.

Das Konzept des Service Engineering, das Vorgehensweisen und Methoden fA1/4r die schnelle und effiziente Realisierung von Dienstleistungen bietet, findet zunehmend Verbreitung in der Praxis. Um die Verfahren mAglichst gewinnbringend einsetzen zu kAnnen, gilt es, den Dienstleistungsprozess auch durch geeignete Informationssysteme zu unterstA1/4tzen. Dieses Buch gibt einen fundierten Einblick in aktuelle softwaretechnische Konzepte und prAsentiert praktische Erfahrungen aus deren Anwendung bei Entwicklungsprojekten. Es richtet sich gleichermaAen an Praktiker in Dienstleistungsunternehmen und Affentlichen Verwaltungen sowie an Mitarbeiter produzierender Unternehmen, die ihr Dienstleistungsangebot systematisieren und ausbauen wollen.

"J2EE FrontEnd Technologies: A Programmer's Guide to Servlets, JavaServer Pages, and Enterprise JavaBeans" concisely and accurately describes what you need to know about effective enterprise development based on servlets, JSPs, and EJBs. Servlets, JSPs, and EJBs are the most important aspects of Java as it is used in the production of enterprise Web applications today. Lennart Jorelid 's book concentrates on teaching programmers how to fit the various technologies together while spending as little time as possible on "plumbing."

Jorelid discusses servlet development and architecture, and he teaches developers how to integrate servlets into distributed enterprise systems with illustrated examples. He explains the architecture and implementation of JSPsincluding introductory concepts such as using all built-in facilities of the JSP library and advanced topics such as creating your own custom actions using the JSP Tag Library API.

Jorelid also addresses the open-source Struts framework from the Apache Software Foundation, which provides a powerful framework for J2EE Web application development by combining servlets and JSPs. And, finally, Jorelid explores the EJB programming paradigm, covering development and architecture of EJBs and J2EE integration and deployment.

"J2EE FrontEnd Technologies: A Programmer's Guide to Servlets, JavaServer Pages, and Enterprise JavaBeans" provides developers with a unique approach to understanding the profound relationship between servlets, JSPs, and EJBs. Developers will gain a clear understanding of all three and will be able to harness this knowledge for their own real-world applications.

"The .NET Languages: A Quick Translation Guide" answers two questions posed by the introduction of the .NET Framework: "How do I quickly upgrade my skills to this new language?" and "How do I understand the code that another developer has written?"

Author Brian Bischof offers a complete translation guide for converting programs among the three primary Microsoft languages: Visual Basic 6.0, Visual Basic .NET, and C#. Bischof makes it easy for the thousands of Visual Basic 6.0 programmers to take the knowledge they already have and use it to write for the .NET platform.

Each chapter is laid out in a clear and concise format. Most chapters begin with a syntax conversion chart displaying how each language translates into the other languages. Included are detailed points explaining these conversions. Each chapter ends with a fully comprehensive example, written in each language, that demonstrates that particular chapters concepts. This provides you with all the information you need for converting your programs: quick lookup charts, detailed explanations, and thorough examples. Nothing is left out.

To understand Jini, imagine that you could move to a new office across the world, or check into any hoteland could simply plug your notebook or Palm directly into the local network. Your device would immediately be recognized, and you would have access to the services at that location"transparently."

Jini is Sun's Java-based technology, with potential to make transparant, "universal plug and play" a reality. This book is an expanded, updated version of the most popular online tutorial for Jini. Author Jan Newmarch includes comprehensive Jini advancements announced at Java One in June 2000. And he includes other important topics, like how Enterprise Java Beans blend in with the Jini framework and how CORBA fits in as well.

Fully updated for the Java 2 Platform, Standard Edition version 5.0, the third edition of this praised book is a one-stop resource for serious Java developers. This book shows you the parts of Java Swing API that you will use daily to create graphical user interfaces (GUI). You will also learn about the Model-View-Controller architecture that lies behind all Swing components, and about customizing components for specific environments. Author John Zukowski also provides custom editors and renderers for use with tables, trees, and list components. You'll encounter an overview of Swing architecture, and learn about core Swing components, toggelable components, event handling with the Swing Component Set, Swing menus and toolbars, borders, pop-ups, choosers, and more.

This second edition of Foundations of Python Network Programming targets Python 2.5 through Python 2.7, the most popular production versions of the language. Python has made great strides since Apress released the first edition of this book back in the days of Python 2.3. The advances required new chapters to be written from the ground up, and others to be extensively revised. You will learn fundamentals like IP, TCP, DNS and SSL by using working Python programs; you will also be able to familiarize yourself with infrastructure components like memcached and message queues. You can also delve into network server designs, and compare threaded approaches with asynchronous event-based solutions. But the biggest change is this edition's expanded treatment of the web. The HTTP protocol is covered in extensive detail, with each feature accompanied by sample Python code. You can use your HTTP protocol expertise by studying an entire chapter on screen scraping and you can then test lxml and BeautifulSoup against a real-world web site. The chapter on web application programming now covers both the WSGI standard for component interoperability, as well as modern web frameworks like Django. Finally, all of the old favorites from the first edition are back: E-mail protocols like SMTP, POP, and IMAP get full treatment, as does XML-RPC. You can still learn how to code Python network programs using the Telnet and FTP protocols, but you are likely to appreciate the power of more modern alternatives like the paramiko SSH2 library. If you are a Python programmer who needs to learn the network, this is the book that you want by your side.

This is a book about computer programming for everyone: artist, poet, student, doctor, accountant, or engineer. This book will show students how to write understandable computer programs in Java. While emphasizing general principles of programming this book: - uses examples from the humanities only, requiring no math or engineering knowledge -explains all programming concepts by means of complete programs -concentrates on exercises solved by writing complete programs -takes the reader from text input/output to object-oriented programming in the equivalent of a one semester class. -gives the reader a solid background for follow-on courses on the graphics and networking facilities of Java. This book is a sound and complete introduction to programming. Although the book uses Java, the same methods can be used for systematic programming in other languages, such as C, Fortran, and Pascal.

Essential Dynamic HTML fast provides a step-by-step approach to discovering DHTML and its techniques - everything you need to know from standard HTML tags to Layers and DOM (Document Object Model). You'll learn everything you need to know to build a dynamic web site - starting from choosing which font to use, to using dynamic positioning and contents, and how to incorporate audio, video and animation, and Scripting. Start with basic HTML tags. See what makes a site interactive. Learn about multimedia effects. Discover Cascade Style Sheets (CSS): dynamic web pages. Understand Document Object Model (DOM) and layers. And learn how to manage dynamic sites: from layout to after design.Written in the inimitable style of the Essentials series, this book tells you everything you need to know to get your first project up and running, with lots of tips on how to manage a dynamic site and resourceful URL addresses.

Das Buch zeigt, welche Potentiale sich f r Unternehmen durch eine konsequente Orientierung an den Kundenprozessen und einer kooperativen Zusammenarbeit zwischen Unternehmen ergeben. Eine wichtige Rolle nehmen dabei elektronische Dienstleister (sogenannte WebService-Anbieter) ein, die diese Kooperationsprozesse erst erm glichen oder die elektronischen Services viel effizienter erbringen als jedes einzelne Unternehmen im Netzwerkverbund, z.B. f r den Zahlungsverkehr und die Logistik. Dazu werden anhand anschaulicher Beispiele aus der Praxis methodische Vorschl ge zur Gestaltung des Kundenprozesses, zum Portaldesign und zur Kooperationsprozessanalyse und Out-tasking sowie Architekturen f r Kooperationsprozesse und WebServices entwickelt.

Any programmer working in a dynamically typed language will tell you how hard it is to scale that language to more lines of code and to more engineers. That's why Facebook, Google, and Microsoft invented gradual static type layers for their dynamically typed JavaScript and Python code. TypeScript is one such type layer, and does something unique among them: it makes programming fun with its powerful, modern, static type system. With this book, programmers who understand JavaScript at an intermediate level will learn how to master the TypeScript language. You'll understand how TypeScript can help you get rid of bugs in your code, scale your code across 10x more engineers, and make programming fun again.

Der St. Galler Ansatz zum Business Knowledge Management f hrt Erfahrungen aus einer zunehmenden Anzahl von Praxisprojekten zusammen: Zahlreiche Fallstudien und Anwendungsbeispiele aus Telekommunikation, Finanzdienstleistung, Beratung und Industrie zeigen, wie Unternehmen durch Wissensmanagement sowohl ihre Kundenorientierung und Innovationsgeschwindigkeit als auch ihren Unternehmenswert erh hen. Das daraus abgeleitete Gesamtmodell setzt Wissensmanagement in Beziehung zu neuen Gesch ftsmodellen des Informationszeitalters. Es demonstriert, was neue Instrumente der F hrung und Wissensorganisation zur verbesserten Wissensentwicklung und -nutzung in Gesch ftsprozessen beitragen k nnen. "Knowledge Portals" erweitern die technologischen M glichkeiten des Wissensmanagements. Zwei Beitr ge identifizieren die wesentlichen Komponenten und beschreiben typische Praxisanwendungen von Knowledge Portals.

If you are a new programmer or a Java programmer moving to Java 2 then this is the book for you! It offers: a complete introduction to Java 2; describes the language and many of its class libraries; shows how they are used; describes the key concepts of object orientation with lots of examples of how to apply the theory. This book will show you how to take advantage of Java 2's new features (such as the abstract windowing toolkit and the Swing classes) for creating graphical user interfaces. John Cowell explains how to use Swing components to change the look and feel of your Java applications so that they look like Windows, Mac or Motif applications. Sun Microsystems Java 2 (formerly called the Java Development Kit 1.2 - JDK 1.2) is a major step forward in the growth of Java into a powerful mature language for writing both applications and applets. Topics covered in this book include: the Java language; the abstract windowing toolkit; the new Java Swing components; handling component, keyboard and mouse events; polymorphism and inheritance; animation and multithreading; handling exceptions; using files. Essential Java 2 - fast is designed for professional developers or students who need to learn the maximum in the minimum time. You'll develop applications and applets fast, learning everything you need to write Java applications and applets quickly with Java.

In diesem Werk zum Thema Software-Architekturen veranschaulichen drei international renommierte Experten den Zusammenhang zwischen Prinzipien, Standardarchitekturen und praxisrelevanten Problemstellungen aus den Bereichen Web Services, Peer-to-Peer, Workflow und weiteren Anwendungsgebieten. Dieses Buch richtet sich an Praktiker, Software-Projektmanager und Studenten der Informatik/Wirtschaftsinformatik, die fur Design und Entwicklung von grossen verteilten Softwaresystemen verantwortlich oder am Einsatz solcher Systeme in ihrem Arbeitsbereich interessiert sind. Hier wird erstmals der "State of the Art" in der Forschung industrierelevant und verstandlich umgesetzt. Die Autoren konnen auf jahrelange Erfahrung im Forschungs- und Entwicklungsbereich im Rahmen von grossen multinationalen Entwicklungsprojekten verweisen."

Intended to teach readers Java and object orientation, as well as presenting object oriented design and analysis, Java for Practitioners is written such that it is possible to dip into chapters as required. It introduces concepts by getting the reader to follow exercises, rather than by extensive discussion, and includes the new release 1.2 of Java. Practicals are included at the of each chapter, as well as the Java Self-Tester, designed to allow readers to determine whether they are ready to take the Sun Java Certification exam, and follows a similar format and style to the actual Online Certification Examination. In short, a thoroughly comprehensive guide.

Online communities offer a wide range of opportunities today for supporting a cause, marketing a product or service, or developing open source software. The Art of Community helps you develop the talents you need to recruit members to your community, and motivate and manage them to become active participants. This expanded edition offers advice for using social networking platforms, organizing summits, and tracking progress on your goals. You'll also benefit from interviews with several community management leaders. Author Jono Bacon offers experiences and observations from his decade-long effort to build and manage communities, including his current position as manager for Ubuntu. Discover how a vibrant community can provide a reliable support network, a valuable source of new ideas, and a powerful marketing force - vital ingredients for any organization or project, particularly when money is tight. * Develop specific objectives and goals for building your community * Build simple, nonbureaucratic processes to help your community perform tasks, work together, and share successes * Provide tools and infrastructure that let contributors work quickly * Create buzz around your community to get more people involved * Track the community's work so it can be optimized and simplified * Explore a capable, representative governance strategy for your community * Identify and manage conflict, such as dealing with divisive personalities

Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book gives you all the essential information you need using lots of examples. Topics covered in this book include: the Java language, polymorphism, inheritance and encapsulation, graphics and animation, handling events, using files, exception handling, abstract windowing toolkit, the Java applet wizard and the resource wizards, debugging, and project management. Essential Visual J++ 6.0 fast is designed for professional developers or students who need to learn the maximum in the minimum time and to develop applications fast.