Skip to content

Instantly share code, notes, and snippets.

View hschne's full-sized avatar
⛰️

Hans Schnedlitz hschne

⛰️
View GitHub Profile
@hschne
hschne / Kollegiale Hospitation.md
Created November 16, 2017 08:29
Beschreibung von ASE, Verlaufsplaung der zu hospitierende Sitzung etc.

Thema der LVA

Jour Fixe in Advanced Software Engineering.

Beschreibung der LVA

Advanced Software Engineering (ASE) hat das Ziel, Konzepte der Erstellung von Softwaresystemen anhand eines realer Projekts zu vertiefen. Dabei wird besonderer Wert auf die Erarbeitung von Entwicklungslösungen im Team gelegt. Fertigkeiten aus der LVA 'Software Engineering und Projektmanagement' (SEPM) werden vorrausgesetzt. Das Projektumfeld wird im Vergleich zu SEPM um fortgeschrittene Technologien und Anwendungsgebiete erweitert. Kurz gesagt entwickeln Studierende somit im Team ein neuartiges, technologisch anspruchsvolles Softwareprodukt.

Die Studierenden werden im Laufe des Semsters bei wöchentlichen Treffen (Jour Fixe) von ihrem Tutor / ihrer Tutorin betreut. Die Studierenden arbeiten prinzipiell in Gruppen von 5-6 Personen. In diesem speziellen Fall besteht die Gruppe allerdings nur aus drei Personen.

@hschne
hschne / VerificationToolAnalysis.md
Last active February 25, 2017 14:22
An initial survey of verification tools

Preliminary Tool Analysis

The Key Project

The Key Project is primarily a symbolic execution engine for Java Programs. It is available as a standalone application and an eclipse plugin.

Pros

  • Heavy on formal methods: Pre-Conditions, Invariants, etc. must be understood to properly utilize the tool
  • Appart from that, appears to be relatively easy to use
@hschne
hschne / Instructions.md
Created February 7, 2017 22:45 — forked from pgilad/Instructions.md
Git commit-msg hook to validate for jira issue or the word merge

Instructions

  • copy the file commit-msg to .git/hooks/commit-msg
  • make sure your delete the sample file .git/hooks/commit-msg.sample
  • Make commit msg executable. chmod +x .git/hooks/commit-msg
  • Edit commit-msg to better fit your development branch, commit regex and error message
  • Profit $$

Shell example

#!/bin/bash
function usage()
{
echo "Available parameters:"
echo "---------------------"
echo "-h --help"
echo "-d|--date: Date used in aurora link, e.g. 20160315"
echo "-c|--count: Amount of slides available, default is 10"
echo "-o|-output: Name of output file. Default is output.pdf"
@hschne
hschne / ChangeSpellChecking.vb
Last active August 29, 2015 14:16
Makro for changing the language in all power point slides
Option Explicit
Public Sub ChangeSpellCheckingLanguage()
Dim j As Integer, k As Integer, m As Integer, scount As Integer, fcount As Integer, ncount As Integer
scount = ActivePresentation.Slides.Count
For j = 1 To scount
If ActivePresentation.Slides(j).HasNotesPage Then
ncount = ActivePresentation.Slides(j).NotesPage.Shapes.Count
For m = 1 To ncount
If ActivePresentation.Slides(j).NotesPage.Shapes(m).HasTextFrame Then
ActivePresentation.Slides(j).NotesPage.Shapes(m).TextFrame.TextRange.LanguageID = msoLanguageIDEnglishUK
@hschne
hschne / DynamicAssembly
Last active August 29, 2015 14:05
Working csproj file with dynamic assembly info from subversion
<?xml version="1.0" encoding="utf-8"?>
<Project DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003" ToolsVersion="4.0">
<PropertyGroup>
<MSBuildCommunityTasksPath>$(SolutionDir)\.build</MSBuildCommunityTasksPath>
</PropertyGroup>
<Import Project="$(MSBuildCommunityTasksPath)\MSBuild.Community.Tasks.Targets" />
<PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
<Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
<ProductVersion>8.0.50727</ProductVersion>
@hschne
hschne / RemoteDebugging with VisualStudio.md
Last active August 29, 2015 14:04
Darkest Magic or Using the Visual Studio Remote Debugger

#Using the Visual Studio Remote Debugger

###Introduction Imagine you were to deploy an application developed in Visual Studio to a remote server, or some virtual machine or something. Funny things happen, and on this one single machine, you application displays some rather weird behaviour. How are you gonna debug that? Well, fret not and enter the dark and magic world of remote debugging.

##Tutorial

###Attach to process

Open your favourite version of visual studio. Head over to the menu entry Debug and Attach to Process. You can select a process running on the machine specified in the field Qualifier to attach your debugger to and hit that attach button. Visual Studio will enter the debug mode. You can now hit breakpoints set in visual studio by steering the selected process, just like you would when hitting that debug button.