Skip to content
HSR Notizen HS17
Index
Type to start searching
GitHub
HSR Notizen HS17
GitHub
Home
Playground
PrfM
PrfM
Index
Introduction
Formal Proof
Propositional Calculus
Logical Programming Intro
Prolog Unification
Prolog Lists
Prolog Recursion
Prolog Arithmetic
Prolog Under the Hood
Lambda Calculus
Lambda Computation
Functional Programming Intro
Haskell
Summary
PmQm
PmQm
Index
Exam
Projekt und Qualität
Projekte
Finanzen
AppArch
AppArch
Index
Overview
Fundamentals
Agile Architecture
Solution Strategy
Component Modeling
Component Dynamics & Container Patterns
Tactic DDD & Architectural Coding Style
Strategic DDD & Buy vs. Build
SOA / RESTful HTTP
Enterprise Service Bus
Service Contract & Microservices
State and Event Management / Service Granularity
Guest Lecture Credit Suisse
Evaluation / Summary
Exam
APF
APF
Index
Introduction
GoF Revisited
Beyond GoF
Values
Reflection
JUnit Dissection
WAM
Eclipse Architecture
Parallel Programming Patterns
Flyweight Boxing / Singleton Assasination
Programmiersprachen und formale Methoden
¶
Introduction