How To Write A Contract On A Microsoft System.Io (For Free)
|
|
- Berniece Ross
- 3 years ago
- Views:
Transcription
1 Vertragssicher Code Contracts unter.net Michael Wiedeking N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 1
2 Der Wächter double sqrt(double x) { if (x < 0) { throw new IllegalArgumentException(); // Berechnung der Quadratwurzel N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 2
3 Vorbedingung double sqrt(double x) { assert (x 0); // Berechnung der Quadratwurzel N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 3
4 Nachbedingung double sqrt(double x) { double result = // Berechnung der Quadratwurzel assert (abs((result * result) x) < ε); assert (result 0); return result; N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 4
5 Vor- und Nachbedingungen void increment() { assert (this.i > 0); int old_i = i; this.i += 1; assert (this.i == old_i + 1); N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 5
6 Invarianten void f (double a, double b) { assert (this.v 0); this.v = this.v a + b; assert (this.v 0); N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 6
7 Beispiel: Code Contracts using System; using System.Diagnostics.Contracts; namespace ContractExample1 { class Rational { int numerator; int denominator; N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 7
8 Beispiel: Code Contracts public Rational(int n, int d) { Contract.Requires(d! = 0); this.numerator = n; this.denominator = d; N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 8
9 Beispiel Code Contracts public int Denominator { get { Contract.Ensures(Contract.Result<int>()!= 0); return this.denominator; N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 9
10 Beispiel Code Contracts [ContractInvariantMethod] protected void ObjectInvariant () { Contract.Invariant(this.denominator! = 0); N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 10
11 Vorbedingung n n Contract.Requires(x!= null); Contract.Requires<ArgumentNullException>(x!= null, "x"); N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 11
12 Vorbedingung double sqrt(double x) { if (x < 0) { throw new IllegalArgumentException(); if (x > 0) { throw new DegeneratedResultException(); // Berechnung der Quadratwurzel N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 12
13 Abgrenzung der Vorbedingungen double sqrt(double x) { if (x < 0) { throw new IllegalArgumentException(); Contract. EndContractBlock() if (x == 0) { throw new DegeneratedResultException(); // Berechnung der Quadratwurzel N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 13
14 Nachbedingung Contract.Ensures(this.value > 0); Contract.EnsuresOnThrow<T>(this.value == 0); Contract.Ensure(Contract.Result<int>() > 0); Contract.Ensures(Contract.OldValue(xs.Length) > xs.length) Aber n Nachbedingung muss berechenbar sein (xs!= null E) n Contract.Result<T>() und out-paramneter nicht in einer Contract.Old-Anweisung benutzt werden N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 14
15 Nachbedingung public void OutParam(out int x) { Contract.Ensures(Contract.ValueAtReturn(out x) == 0); x = 0; N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 15
16 Invarianten [ContractInvariantMethod] protected void ObjectInvariant() { Contract.Invariant(velocity > 0); Contract.Invariant(direction!= null); n n n nur nach Aufruf einer public-methode ggf. Aussetzen der Prüfung (reentrant) nicht bei finalize oder dispose N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 16
17 Annahmen f = createbyname("x"); Contract.Assert(f!= null) N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 17
18 Annahmen f = createbyname("x"); Contract.Assume(f!= null) N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 18
19 Bedingungen für Collections public void findmultiples<t>(ienumerable<t> collection) { Contract.Requires( Contract.ForAll(collection, (T x) => x!= null) ); N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 19
20 Bedingungen für Collections public int[] Squares() { Contract.Ensures( ); Contract.ForAll( 0, Contract.Result<int[]>().Length, i => Contract.Result<int[]>()[i] > 0 ) N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 20
21 Bedingungen für Collections n n n n Contract.ForAll Contract.Exists System.Linq.Enumable.All System.Linq.Enumable.Any N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 21
22 Schnittstellen [ContractClass(typeof(IFooContract))] interface IFoo { int Count { get; void Put(int value); N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 22
23 Schnittstellen [ContractClassFor(typeof(IFoo))] sealed class IFooContract : IFoo { int IFoo.Count { get { Contract.Ensures(Contract.Result<int>() >= 0); return default(int); void IFoo.Put(int value){ Contract.Requires(0 <= value); N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 23
24 Schnittstellen [ContractClassFor(typeof(IFoo))] sealed class IFooContract : IFoo { void IFoo.Put(int value){ IFoo this = this; Contract.Requires(value >= 0); Contract.Requires(this.Count < 10); N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 24
25 Abstrakte Klassen [ContractClass(typeof(FooContract))] abstract class Foo { public abstract int Count { get; public abstract void Put(int value); N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 25
26 Abstrakte Klassen [ContractClassFor(typeof(Foo))] abstract class FooContract : Foo { public override int Count { get { Contract.Ensures(Contract.Result<int>() >= 0); return default(int); public override void Put(int value){ Contract.Requires(value >= 0); N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 26
27 Referenzen n n Microsoft Corporation Code Contracts User Manual C2715F76-F56C-4D EF8076B7EC13/userdoc.pdf Microsoft Research Code Contracts N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 27
28 Fragen? Vielen Dank! N3 Vertragssicher Michael Wiedeking Copyright 2010 MATHEMA Software GmbH 28
Code Contracts User Manual
Code Contracts User Manual Microsoft Corporation August 14, 2013 What s New? We fixed the debug information generated by the rewriter for async and iterator methods so that locals now appear again when
More informationHow To Write A Validator In Java 1.1.1
Bean Validation 1.1 What's cooking? 05.04.2013 Gunnar Morling JBoss, by Red Hat Bean Validation 1.1 JSR 349 Final Approval Ballot nächste Woche! Vollständig offen Issue-Tracker Mailingliste GitHub: Spezifikation
More informationSPICE auf der Überholspur. Vergleich von ISO (TR) 15504 und Automotive SPICE
SPICE auf der Überholspur Vergleich von ISO (TR) 15504 und Automotive SPICE Historie Software Process Improvement and Capability determination 1994 1995 ISO 15504 Draft SPICE wird als Projekt der ISO zur
More informationTobias Flohre codecentric AG. Ein Standard für die Batch- Entwicklung JSR-352
Tobias Flohre Ein Standard für die Batch- Entwicklung JSR-352 Tobias Flohre Düsseldorf @TobiasFlohre www.github.com/tobiasflohre blog.codecentric.de/en/author/tobias.flohre tobias.flohre@codecentric.dewww.codecentric.de
More informationInternationale Gute Praxis für den Umgang mit Baggergut
Internationale Gute Praxis für den Umgang mit Baggergut und das Sedimentmanagement für die Elbe 7 R 7. Rostocker t k B Baggergutseminar, t i 25. 25 + 26 26. S September t b 2012 Axel Netzband 1 Annual
More informationService Data and Notifications
Service Data and Notifications Steffen Pingel Fakultät für Elektrotechnik und Informatik Universität Stuttgart Hauptseminar Grid Computing 16.12.2003 Überlick Service Data Notifications Fazit Service Data
More informationCopyright 2013 wolfssl Inc. All rights reserved. 2
- - Copyright 2013 wolfssl Inc. All rights reserved. 2 Copyright 2013 wolfssl Inc. All rights reserved. 2 Copyright 2013 wolfssl Inc. All rights reserved. 3 Copyright 2013 wolfssl Inc. All rights reserved.
More informationMicrosoft Certified IT Professional (MCITP) MCTS: Windows 7, Configuration (070-680)
Microsoft Office Specialist Office 2010 Specialist Expert Master Eines dieser Examen/One of these exams: Eines dieser Examen/One of these exams: Pflichtexamen/Compulsory exam: Word Core (Exam 077-881)
More informationDiese Liste wird präsentiert von. Netheweb.de
Diese Liste wird präsentiert von Netheweb.de Die Liste enthält 1000 Do-Follow Blogs, die zum Linkbuilding genutzt werden können, es kann sein, dass verkürzte URL s nicht korrekt weiter geleitet werden.
More informationChapter 52 Routing. Packets on the Large. DeepSec Vienna 2007. 7 Layers of Insecurity
Chapter 52 Routing Packets on the Large. Copyright Information Some rights reserved / Einige Rechte vorbehalten Michael Kafka, René Pfeiffer, Sebastian Meier C.a.T. Consulting and Trainings, Vienna, Austria
More informationCentral Release and Build Management with TFS. Christian Schlag
Central Release and Build Management with TFS Christian Schlag OUR DAILY MOTIVATION It s hard enough for software developers to write code that works on their machine. But even when it s done, there s
More information23.11.2012 Martin Käser. Single Sign-on mit OpenSAML
23.11.2012 Martin Käser Single Sign-on mit OpenSAML SAML Überblick l SAML = Security Assertion Markup Language v1.1 OASIS Standard 2003 v2.0 OASIS Standard 2005 l Rollen: User agent (Principal) Identity
More informationBrazil Brésil Brasilien. Report Q193
Brazil Brésil Brasilien Report Q193 in the name of the Brazilian Group by João Luis D OREY FACCO VIANNA, David MERRYLEES, Leonor MAGALHAES PERES GALVAO DE BOTTON, Igor SIMÕES and Ivan B. AHLERT Divisional,
More informationAbstraction and Abstract Data Types
Abstraction and Abstract Data Types Abstraction: o Whatever is visible to the user? Examples: Variable names & real numbers. o How real numbers are implemented? o How arrays are implemented? The abstraction
More informationThomas Rümmler AIT GmbH & Co. KG Christian Schlag AIT GmbH & Co. KG. Central Build and Release Management with TFS
Thomas Rümmler AIT GmbH & Co. KG Christian Schlag AIT GmbH & Co. KG Central Build and Release Management with TFS 2 OUR DAILY MOTIVATION It s hard enough for software developers to write code that works
More informationHorizon 2020 Aktuelle Fragen Organisation von Forschungspolitik und Programmdurchführung
Horizon 2020 Aktuelle Fragen Organisation von Forschungspolitik und Programmdurchführung Europäische Kommission Generaldirektion Forschung & Innovation Dr. Johannes Klumpers Aktuelle Fragen Inhalt Die
More informationOXID Modul-Zertifizierung Bedingungen
OXID Modul-Zertifizierung Bedingungen Copyright Copyright 2012 OXID esales AG, Deutschland Die Vervielfältigung dieses Dokuments oder Teilen davon, insbesondere die Verwendung von Texten oder Textteilen
More informationSQL 2014 CTP1. Hekaton & CSI Version 2 unter der Lupe. Sascha Götz Karlsruhe, 03. Dezember 2013
Hekaton & CSI Version 2 unter der Lupe Sascha Götz Karlsruhe, 03. Dezember 2013 Most of today s database managers are built on the assumption that data lives on a disk, with little bits of data at a time
More informationMit einem Auge auf den mathema/schen Horizont: Was der Lehrer braucht für die Zukun= seiner Schüler
Mit einem Auge auf den mathema/schen Horizont: Was der Lehrer braucht für die Zukun= seiner Schüler Deborah Löwenberg Ball und Hyman Bass University of Michigan U.S.A. 43. Jahrestagung für DidakEk der
More informationRFC's und Internet- Drafts mit URN-Bezug in Zusammenhang mit der Definition von Namen. Nik Klever FB Informatik - FH Augsburg klever@fh-augsburg.
RFC's und Internet- Drafts mit URN-Bezug in Zusammenhang mit der Definition von Namen Nik Klever FB Informatik - FH klever@fh-augsburg.de RFC's und Internet-Drafts mit URN-Bezug Namensräume Namensbezeichnungen
More informationHow To Manage Build And Release With Tfs 2013
#dwx14 feedback@developer-week.de #dwx14 Central Build and Release Management with TFS Thomas Rümmler AIT GmbH & Co. KG Christian Schlag AIT GmbH & Co. KG 1 2 OUR DAILY MOTIVATION It s hard enough for
More informationThe Collaborative Information Portal and NASA s Mars Rover Mission
The Collaborative Information Portal and NASA s Mars Rover Mission Bildquelle: Ronald Mak, University of California, Santa Cruz Joan Walton, NASA Ames Research Center Qualitative Anfoderungen Message-Service
More informationBenutzerfreundlich, tiefe Betriebskosten und hohe Sicherheit. Warum sich diese Ziele nicht widersprechen müssen
Benutzerfreundlich, tiefe Betriebskosten und hohe Sicherheit. Warum sich diese Ziele nicht widersprechen müssen Jean Paul Kölbl CEO IT-Secure.com AG Total access security Heutige Situation Kostendruck
More informationrepositor.io Simple Repository Management Jürgen Brunk München, 03/2015
repositor.io Simple Repository Management Jürgen Brunk München, 03/2015 Agenda 1. Was ist repositor.io? 2. Praxis 3. Installation 4. Configuration 5. Command Line Options 6. CentOS Repository 7. Debian
More informationSoftware Requirements, Version 2015_01_12
Software Requirements, Version 2015_01_12 Product / Version DSM 7.2.1 DSM 2013.2 DSM 2014.1 Server Software (EN) Windows Server 2008 R2 Standard, Enterprise, Datacenter, Core (all SP) Windows Server 2008
More informationGet Instant Access to ebook Ellen Shop PDF at Our Huge Library ELLEN SHOP PDF. ==> Download: ELLEN SHOP PDF
ELLEN SHOP PDF ==> Download: ELLEN SHOP PDF ELLEN SHOP PDF - Are you searching for Ellen Shop Books? Now, you will be happy that at this time Ellen Shop PDF is available at our online library. With our
More informationAPPLICATION SETUP DOCUMENT
APPLICATION SETUP DOCUMENT HeiTek Software Development GmbH Add-Ons Oracle Application Change Layout in Receiving Personalisation Example Ref Prepared by HeiTek Software Development GmbH Author: : Georg
More informationGurkensalat statt Spaghetticode. Stuttgarter Testtage 2013
Gurkensalat statt Spaghetticode Stuttgarter Testtage 2013 1.Motivation für BDD 2.Einführung in BDD 3.Cucumber für Java 4.Lessons Learned Motivation für BDD 3 Requirements 4 ... ein wenig Excel 5 dazu noch
More informationAgile Software-Requirements: User Stories und (Vieles) mehr
Agile Software-Requirements: User Stories und (Vieles) mehr Handout-Version Dr. Andreas Birk, Software.Process.Management 8. Oktober 2012, GI/GChACM Regionalgruppe Stuttgart/Böblingen Gestatten Dr. Andreas
More informationIT Transformation - CA Project & Portfolio Management Jurgen Schachner Senior Solutions
Driving IT Transformation with CA Project & Portfolio Management Jürgen Schachner Senior Solution Strategist Inhalt IT Transformation als Top Priorität CIO als Portfolio Strategist PPM als Transformation
More informationNeues in SQL Server 2016. Evaluierung SQL Server 2016 CTP 3 für den BI Stack. Sascha Götz Inovex GmbH
Neues in SQL Server 2016 Evaluierung SQL Server 2016 CTP 3 für den BI Stack Sascha Götz Inovex GmbH SQL Server BI Roadmap 2016+ 2 Relationale Engine MSSQL 2016 CTP3 3 SQL Server 2016 CTP 3 Relationale
More informationLinux & Docker auf Azure
Linux & Docker auf Azure Linux in der Azure Cloud Web Mail Twitter Rainer Stropek software architects gmbh http://www.timecockpit.com rainer@timecockpit.com @rstropek Saves the day. Your Host Rainer Stropek
More informationFinancial Reinsurance with Applications in Life Reassurance
Financial Reinsurance with Applications in Life Reassurance Reinhard Dehlinger Germany Summary The main reasons for the growing interest in Financial Reinsurance (Fin Re) concepts are the lack of capacity
More informationwww.infoplc.net Application example AC500 Scalable PLC for Individual Automation Communication between AC500 and KNX network abb
Application example www.infoplc.net AC500 Scalable PLC for Individual Automation Communication between AC500 and KNX network abb Content www.infoplc.net 1 Disclaimer...2 1.1 For customers domiciled outside
More informationKurz-Einführung Python
Sommersemester 2008 Paul Graham Paul Graham The programmers you ll be able to hire to work on a Java project won t be as smart as the ones you could get to work on a project written in Python. http://www.paulgraham.com/gh.html
More information(Meine) Wahrheit über. Symfony. Timon Schroeter. www.php-schulung.de
(Meine) Wahrheit über Symfony Timon!= Timon Schulung, Coaching, Beratung Version 4.2 (2002) OOP? register_globals? http://doitandhow.com/2012/07/16/fun-colored-spaghetti/ OOP C++ C++ HPC C++ fortran HPC
More informationTill Vollmer Geschäftsführer MindMeister
Till Vollmer Geschäftsführer MindMeister Was ist Google Gears? Browser Plugin Lokale Datenbank Lokaler Store (urls) Tools Klassen JavaScript Library Aktuelle Version (1.6.08 : V 0.3.X) Plugin für? Windows
More informationTechnische Alternative elektronische Steuerungsgerätegesellschaft mbh. A-3872 Amaliendorf, Langestr. 124 Tel +43 (0)2862 53635 mail@ta.co.
Technische Alternative elektronische Steuerungsgerätegesellschaft mbh. A-3872 Amaliendorf, Langestr. 124 Tel +43 (0)2862 53635 mail@ta.co.at USB driver Vers. 2.2 EN USB driver Table of Contents General...
More informationIDENTIKEY FEDERATION SERVICES
Die sichere Brücke zur Cloud IDENTIKEY FEDERATION SERICES Web-Single-Sign-On auf alle Ihre Webapplikationen, aber sicher! Alexander Kehl, Regional Sales Manager 2013 - ASCO Data Security Alltägliche Nachrichten:
More informationLEHMAN BROTHERS SECURITIES N.V. LEHMAN BROTHERS (LUXEMBOURG) EQUITY FINANCE S.A.
SUPPLEMENTS NO. 2 DATED 6 JUNE 2008 in accordance with 6(2) and 16 of the German Securities Prospectus Act to the two published Base Prospectuses, one per Issuer (together the "Base Prospectus") relating
More information1. Wenn der Spieler/die Spielerin noch keine IPIN hat, bitte auf den Button Register drücken
Welcome to IPIN The ipin (International Player Identification Number) is brought to you by the International Tennis Federation, the world governing body of tennis. All players who wish to compete in ITF
More informationHow To Manage Information Technology
Nachweis der erreichten Sicherheit durch Prüfungen nach Standards?! DECUS Rheinlandtreffen St. Augustin, 18.11.2004 Bundesamt für Sicherheit in der Informationstechnik ISO/IEC nicht ISO/IEC 2. Standards
More informationUpgrade-Preisliste. Upgrade Price List
Upgrade-Preisliste Mit Firmware Features With list of firmware features Stand/As at: 10.09.2014 Änderungen und Irrtümer vorbehalten. This document is subject to changes. copyright: 2014 by NovaTec Kommunikationstechnik
More informationFirst Environmental Comparison of Rail Transport
First Environmental Comparison of Rail Transport A projectof the Alianz pro Schiene Co-funded by the Federal Ministry for Environment, Nature Conservation and Nuclear Safety (BMU) in co-operation with
More informationEchtzeit-Analyse von Social Media Daten mit Jedox und GPU-beschleunigten OLAP Datenbanken
Echtzeit-Analyse von Social Media Daten mit Jedox und GPU-beschleunigten OLAP Datenbanken Peter Strohm, Offenburg, 05.03.2015 Jedox: In-Memory OLAP Database 2002 Gegründet in Freiburg Heute 100+ Mitarbeiter
More information22b.1. Software Platforms and Software Ecosystems. 22b Software Ecosystems. Plattform Leadership. Platforms and Ecosystems. Prof. Dr. U.
Fakultät für Informatik Institut für Software- und Multimediatechnik Fakultät für Informatik Institut für Software- und Multimediatechnik 22b 22b.1. Software s and Prof. Dr. Uwe Aßmann Version 11-0.5-17.12.11
More informationDokumentation über die Übernahme von. "GS-R-3" (The Management System for Facilities and Activities) "Sicherheitskriterien für Kernkraftwerke"
Dokumentation über die Übernahme von "GS-R-3" () in die "Sicherheitskriterien für Kernkraftwerke" REVISION D APRIL 2009 1. INTRODUCTION BACKGROUND 1.1 This Safety Requirements publication defines the requirements
More informationMarc Grote. OCSP / CRL Schlüssel Archivierung CA-Konsole Certutil PKI Health
IT-Symposium 2008 04.06.2008 Marc Grote www.it-symposium2008.de 1 Bestandteile einer PKI CA-Hierarchien Windows 2008 PKI CA-Arten Funktionen Zertifikatvorlagen OCSP / CRL Schlüssel Archivierung CA-Konsole
More informationBack to Basics Wissenswertes aus java.lang.* Senior Software Engineer Frankenwerft 35 christian.robert@anderscore.com www.anderscore.
Back to Basics Wissenswertes aus java.lang.* anderscore GmbH Senior Software Engineer Frankenwerft 35 christian.robert@anderscore.com 50667 Köln www.anderscore.com Senior Software Engineer Seit über 10
More informationRainer Stropek software architects gmbh. Entwicklung modularer Anwendungen mit C# und dem Managed Extensibility Framework (MEF)
Rainer Stropek software architects gmbh Entwicklung modularer Anwendungen mit C# und dem Managed Extensibility Framework (MEF) Abstract (German) Größere Softwareprojekte werden heute üblicherweise in Teams
More informationTBarCode.NET Barcodes in MS SQL Reporting Services
TBarCode.NET Barcodes in MS SQL Reporting Services Version 1.0.1 Printing Barcodes with MS SQL Reporting Services 29 January 2013 TEC-IT Datenverarbeitung GmbH Hans-W agner-str. 6 A-4400 Steyr, Austria
More informationMicrosoft LINQ.NET meets data
1 conplement AG 2007. All rights reserved. Donnerstag, 29.11.2007 Microsoft LINQ.NET meets data ASQF Fachgruppe Java / XML 29.11.2007 conplement AG Thomas Hemmer CTO thomas.hemmer@conplement.de 2 conplement
More informationHP SAP. Where Development, Test and Operations meet. Application Lifecycle Management
HP SAP Where Development, Test and Operations meet Application Lifecycle Management 1 Introduction 1.1 ALM CONCEPTS Application Lifecycle Management (ALM) empowers IT to manage the core application life-cycle,
More informationSECTION 1: Identification of the substance/mixture and of the company/undertaking
SECTION 1: Identification of the substance/mixture and of the company/undertaking 1.1 Product identifier Commercial Product Name Ceramill ZI 1.2 Relevant identified uses of the substance or mixture and
More informationDie SharePoint-Welt für den erfahrenen.net- Entwickler. Fabian Moritz MVP Office SharePoint Server
Die SharePoint-Welt für den erfahrenen.net- Entwickler Fabian Moritz MVP Office SharePoint Server 1 SharePoint Object Model IFilter Webpart Connections Webparts Web Server Controls Custom Field Types Web
More informationMicrosoft Visual Studio 2008 Anwendungsentwicklung für Vista
1 conplement AG 2008. All rights reserved. Microsoft Visual Studio 2008 Anwendungsentwicklung für Vista Vista Revisited - NIK Nürnberg 28.02.2008 conplement AG Thomas Hemmer CTO thomas.hemmer@conplement.de
More informationInformation Systems 2
Information Systems 2 Prof. Dr. Dr. L. Schmidt-Thieme MSc. André Busche Übung 9 0. Allerlei 1. Übung 2. Hands on some things 2.1 Saxon 2.2 Corba 28.06.10 2/ 0. Allerlei 1. Übung 2. Hands on some things
More informationTIn 1: Lecture 3: Lernziele. Lecture 3 The Belly of the Architect. Basic internal components of the 8086. Pointers and data storage in memory
Mitglied der Zürcher Fachhochschule TIn 1: Lecture 3 The Belly of the Architect. Lecture 3: Lernziele Basic internal components of the 8086 Pointers and data storage in memory Architektur 8086 Besteht
More informationRegistries: An alternative for clinical trials?
Registries: An alternative for clinical trials? Prof. Dr. Joerg Hasford, M.D., Ph.D. Department of Medical Informatics, Biometry and Epidemiology Ludwig-Maximilians-Universität Email: has@ibe.med.uni-muenchen.de
More informationMicrosoft Nano Server «Tuva» Rinon Belegu
1 Microsoft Nano Server «Tuva» Rinon Belegu Partner: 2 Agenda Begrüssung Vorstellung Referent Content F&A Weiterführende Kurse 3 Vorstellung Referent Rinon Belegu Microsoft Certified Trainer (AWS Technical
More informationLEARNING AGREEMENT FOR STUDIES
LEARNING AGREEMENT FOR STUDIES The Student Last name (s) First name (s) Date of birth Nationality 1 Sex [M/F] Academic year 20../20.. Study cycle EQF level 6 Subject area, Code Phone E-mail 0421 The Sending
More informationSEIDENADER MASCHINENBAU GMBH
SEIDENADER MASCHINENBAU GMBH Track & Trace ILMAC Lunch & Learn Basel, September 2013 1 Strong Brands Within a Strong Group 9/30/2013 Seidenader T&T Presentation sste 8 Company Profile Founded in 1895 350
More informationAktives Service-, Asset- und Lizenzmanagement mit Altiris
Aktives Service-, Asset- und Lizenzmanagement mit Altiris Mike Goedeker, Principal Systems Engineer Now Part of Symantec Agenda Kernthemen in IT Organisationen Kurzüberblick Portfolio / Architektur Altiris
More informationTransfers of securities to The Royal Bank of Scotland plc pursuant to Part VII of the UK Financial Services and Markets Act 2000 RBS plc
Transfers of securities to The Royal Bank of Scotland plc pursuant to Part VII of the UK Financial Services and Markets Act 2000 On 6 February 2010, ABN AMRO Bank N.V. (registered with the Dutch Chamber
More informationWindows HPC Server 2008 Deployment
Windows HPC Server 2008 Michael Wirtz wirtz@rz.rwth-aachen.de Rechen- und Kommunikationszentrum RWTH Aachen Windows-HPC 2008 19. Sept 08, RWTH Aachen Windows HPC Server 2008 - Agenda o eines 2 Knoten Clusters
More informationAllgemeines Dienstmanagement Das MNM-Dienstmodell in Herleitung und Anwendungsmethodik
1. Fachgespräch Applikationsmanagement Karlsruhe, 28. Februar 1. März 2002 Allgemeines Dienstmanagement Das MNM-Dienstmodell in Herleitung und Anwendungsmethodik Institut für Informatik, Ludwig-Maximilians-Universität
More informationAGIL JA, ABER SICHER? 29.07.2015, ANDREAS FALK, 34. SCRUM TISCH
AGIL JA, ABER SICHER? 29.07.2015, ANDREAS FALK, 34. SCRUM TISCH Vorstellung: Andreas Falk Langjährige Erfahrungen als Entwickler, Architekt und Tester in verschiedenen Projekten mit Fokus Enterprise-Anwendungen
More informationTECHNISCHE INFORMATION NR. SI36-053 SERVICE INFORMATION NO. SI36-053
Diamond Aircraft Industries G.m.b.H N.A. Otto-Straße 5 A-2700 Wiener Neustadt Austria DAI SI36-053 Page 1 of 2 9-Dec-2008 FT TECHNISCHE INFORMATION NR. SI36-053 Hinweis: Technische Informationen werden
More informationExemplar for Internal Assessment Resource German Level 1. Resource title: Planning a School Exchange
Exemplar for internal assessment resource German 1.5A for Achievement Standard 90887! Exemplar for Internal Assessment Resource German Level 1 Resource title: Planning a School Exchange This exemplar supports
More informationANMERKUNGEN ZUR SCHULARBEIT
ANMERKUNGEN ZUR SCHULARBEIT Fach: Englisch, achtjährig Klasse: 8. Klasse (2. Schularbeit, 2. Semester) Kompetenzniveau: B2 Dauer der SA: 200 Minuten Teilbereiche Themenbereich Testformat/Textsorte Anzahl/
More informationSearch Engines Chapter 2 Architecture. 14.4.2011 Felix Naumann
Search Engines Chapter 2 Architecture 14.4.2011 Felix Naumann Overview 2 Basic Building Blocks Indexing Text Acquisition Text Transformation Index Creation Querying User Interaction Ranking Evaluation
More informationPASS Deutschland e.v. Regionalgruppe Köln/Bonn/Düsseldorf
PASS Deutschland e.v. Regionalgruppe Köln/Bonn/Düsseldorf dbwarden Agenda Vorstellung Überblick Installation Settings Jobs Health Report IT Leiter / zertifizierter IT Projektleiter IT Team mit 7 Mitarbeitern
More informationJ2EE-Application Server
J2EE-Application Server (inkl windows-8) Installation-Guide F:\_Daten\Hochschule Zurich\Web-Technologie\ApplicationServerSetUp.docx Last Update: 19.3.2014, Walter Rothlin Seite 1 Table of Contents Java
More informationRisk-Oriented Methodology for Creating a 10-Year Shut-Down Interval. Risk. Application Case within the Chemical Industry
Risk-Oriented Methodology for Creating a 10-Year Shut-Down Interval Application Case within the Chemical Industry Contact: Dr.-Ing. Robert Kauer TÜV Industrie Service GmbH TÜV Süd Group robert.kauer@tuev-sued.de
More informationINFORMATIONEN (nicht per E-Mail)
INFORMATIONEN (nicht per E-Mail) Der Versicherungsschutz: Bei Campingfahrzeugen ist Teil/Vollkasko nicht möglich. Wer wird versichert: Was wird versichert: Versicherungsdauer: Prämien: Antrag: Police:
More informationFDT for Mobile Devices
FDT for Mobile Devices ABSTRACT Currently the established FDT2 technology is bound to PCs with Windows Operating System. However, there is an increasing trend for mobile applications in automation industry.
More informationSuccessful Collaboration in Agile Software Development Teams
Successful Collaboration in Agile Software Development Teams Martin Kropp, Magdalena Mateescu University of Applied Sciences Northwestern Switzerland School of Engineering & School of Applied Psychology
More informationLANCOM VoIP USB Handset LANCOM Advanced VoIP Client
LANCOM VoIP USB Handset LANCOM Advanced VoIP Client 2006 LANCOM Systems GmbH, Würselen (Germany). Alle Rechte vorbehalten. Alle Angaben in dieser Dokumentation sind nach sorgfältiger Prüfung zusammengestellt
More informationOpenSSL mit Delphi. Max Kleiner. http://max.kleiner.com/download/openssl_opengl.pdf
OpenSSL mit Delphi Max Kleiner http://max.kleiner.com/download/openssl_opengl.pdf 1 OpenSSL is an org http://www.openssl.org free library providing cryptographic functions it s not the only one, alternatives:
More informationProgrammieren von Schnittstellen für LiveCycle ES2-Modulen (November 2009)
Programmieren von Schnittstellen für LiveCycle ES2-Modulen (November 2009) In diesem Dokument werden die Programmierschnittstellen aufgeführt, mit deren Hilfe Entwickler Anwendungen unter Verwendung von
More informationClasses and Objects in Java Constructors. In creating objects of the type Fraction, we have used statements similar to the following:
In creating objects of the type, we have used statements similar to the following: f = new (); The parentheses in the expression () makes it look like a method, yet we never created such a method in our
More informationNATIVE ADVERTISING, CONTENT MARKETING & CO. AUFBRUCH IN EIN NEUES GOLDENES ZEITALTER DES MARKETINGS?
NATIVE ADVERTISING, CONTENT MARKETING & CO. AUFBRUCH IN EIN NEUES GOLDENES ZEITALTER DES MARKETINGS? 2014 in Frankfurt am Main DATUM 11.11.2014 SEITE 2 Christian Paul Stobbe Director Strategy Düsseldorf
More informationAC500. Application Example. Scalable PLC for Individual Automation. Webserver Login Application Example With PM564-ETH. abb
Application Example AC500 Scalable PLC for Individual Automation Webserver Login Application Example With PM564-ETH abb Content 1 Disclaimer... 2 1.1 For customers domiciled outside Germany/ Für Kunden
More informationErste Schritte mit mysql. Der Umgang mit einer relationalen Datenbank
Erste Schritte mit mysql Der Umgang mit einer relationalen Datenbank Relationale Datenbanken Prinzip: Daten sind in Tabellen gespeichert Tabellen können verknüpft sein alter Name: RDBMS - Relational Database
More informationR versus SQL. Christoph Dalitz. 18. November 2013. Hochschule Niederhein Fachbereich Elektrotechnik & Informatik
R versus SQL Christoph Dalitz Hochschule Niederhein Fachbereich & Informatik 18. November 2013 R versus SQL R als Turing-vollständige Sprache mit vielen ready-to-use Bibliotheken ist natürlich viel mächtiger
More informationCambridge English Prüfungszentrum Sachsen
Cambridge English Candidate Registration form Die Kontoverbindung finden Sie auf Seite 3. Cambridge English Prüfungszentrum Sachsen Use this form, if you are 17, or under 17, years of age. Exam details:
More informationThe Management of Contract Claims and the Resolution of Disputes
Fédération Internationale des Ingénieurs Conseils Contract and Claims Management GmbH, Austria ECV Consultancy Ltd UK present International FIDIC Contracts Training Course at the HOTEL ASTORIA VIENNA (AUSTRIA)
More informationTransforming and optimization of the supply chain to create value and secure growth and performance
Transforming and optimization of the supply chain to create value and secure growth and performance Niedersachsen Aviation, Jahresnetzwerktreffen Hannover, 10th December 2015 Today s storyboard Short introduction
More informationSatzgliedstellung. Regel #4: Adverbien: Die Satzgliedstellung verändert sich nicht, wenn eine adverbiale Bestimmung vorausgeht.
Satzgliedstellung Aussagen Die feste Satzgliedstellung im englischen Aussagesatz ist: Subjekt Prädikat Objekt (S P O) Bsp. Meg drinks tea. S P O wird im Hauptsatz auch dann beibehalten, wenn ein Nebensatz
More informationImplementing a PKI Infrastructure with Windows Server 2008/2012
Implementing a PKI Infrastructure with Windows Server 2008/2012 Dauer: 2 Tage Kursnummer: GKWINPKI Überblick: Noch mehr als bei anderen IT-Projekten kommt bei der Implementierung einer CA-Infrastruktur
More informationBuilding an Architecture Model 1. 1. Entwerfen Sie mit AxiomSys ein Kontextdiagramm, das folgendermaßen aussieht:
Building an Architecture Model 1 1. Entwerfen Sie mit AxiomSys ein Kontextdiagramm, das folgendermaßen aussieht: Wie Ihnen aus der vergangenen Lehrveranstaltung bekannt ist, bedeuten Sterne neben den Bezeichnungen,
More informationBei Fragen zu dieser Änderung wenden Sie sich bitte an Ihren Kundenbetreuer, der Ihnen gerne weiterhilft.
FIL Investment Management (Luxembourg) S.A. 2a rue Albert Borschette, L-1246 B.P. 2174, L-1021 Luxembourg Tél: +352 250 404 1 Fax: +352 26 38 39 38 R.C.S. Luxembourg B 88635 Dezember 2014 Wichtige Ankündigung:
More informationSemantic Web. Semantic Web: Resource Description Framework (RDF) cont. Resource Description Framework (RDF) W3C Definition:
Semantic Web: The Semantic Web is an extension of the current web in which information is given well-defined meaning, better enabling computers and people to work in cooperation. Tim Berners-Lee, James
More information