Das Software Engineering & Programming Language Lab bietet Unterstützung in einer Vielzahl von Techniken und Technologien, die darauf abzielen, die Zuverlässigkeit Ihrer Software zu erhöhen. Diese Techniken reichen von Tests und Reviews bis hin zu formalen Methoden, die Beweise für kritische Eigenschaften ganzer Systeme ermöglichen.
Das Software Enginnering & Programming Language Lab bietet die folgenden professionellen Dienstleistungen an:
✓Beratung zu verschiedenen Themen rund um Software-Korrektheit
✓Massgeschneiderte Kurse von unterschiedlicher Länge zu spezifischen Aspekten und Techniken zur Sicherstellung der Softwarekorrektheit
✓Einen Software Health Check zur unabhängigen Beurteilung der Qualität Ihres Softwareprojekts
✓Reviews und Empfehlungen zur Ergänzung Ihres Softwareentwicklungsprozesses
✓Entwicklung von Software und kundenspezifischen Algorithmen, die genau auf Ihre Bedürfnisse zugeschnitten sind
Director:
Falls Sie an einer unserer professionellen Dienstleistungen interessiert sind, kontaktieren Sie uns bitte. Wir unterbreiten Ihnen gerne ein Angebot.
Neben unseren fachlichen Dienstleistungen kooperieren wir mit Unternehmen und anderen Institutionen in den Bereichen Forschung und Technologietransfer. Falls Sie ein interessantes Problem oder eine Idee haben, die Sie gemeinsam mit uns als Forschungsprojekt verfolgen möchten, nehmen Sie bitte Kontakt mit uns auf.
Prof. Dr. Farhad D. MehtaIFS Institut für SoftwareProfessor of Programming Languages and Software Engineering
+41 58 257 46 16farhad.mehta@ost.ch
