• Fakultät
  • Kontakt
  • English
Twitter icon

s-lab @ Twitter

Abgeschlossenen Masterarbeiten

TitelKooperationspartner
Matching of Situational Factors with Method Services
Enactment of Software Engineering Methods with the Support of BPEL Workflow Engines
Quality Assurance of Software Engineering Methods using Graph Transformation Rules
Unterstützung von Framework-Versionen in Framework-Beschreibungssprachen für mobile Anwendungen
Konzeption und Umsetzung einer Werkzeugintegration für modellbasiertes Testen
Automatische Verteilung von Softwarekomponenten auf Hardwarekomponenten
Migration von textuellen Systemspezifikationen zu Systemmodellen auf Basis von Sequenzdiagrammen
Integration des modellbasierten Testens in agile Methoden am Beispiel von Scrum
Identifikation und Modellierung von Variabilität in Anwendungsfällen und deren Testartefakten in einer Softwareproduktlinie
Konzeption und Vergleich von Testdesign-Strategien für Software-Produktlinien
Testdesign und Testdatengenerierung für Schnittstellentests unter Berücksichtigung von Variabilität
Teilautomatisierte Generierung von Testplänen aus Anforderungsspezifikationen für offene, verteilte Identifikationssysteme
Evaluation der sd&m-Spezifikationsmethodik anhand ausgewählter Projekte
Grafische Modellierung und Generierung von Echtzeittests
Verbesserte Softwarequalitätssicherung auf Basis früher formaler Spezifikationen
Entwicklung eines automatischen Verfahrens für den Test eines Codegenerators
Heuristische Suchverfahren zur Laufzeitoptimierung von Information-Extraction-Pipelines
Effiziente Information-Extraction-Verfahren zur Erstellung von Use-Case-Diagrammen aus Texten
Effizienz und Effektivität der Integration von Textklassifikation in Information-Extraction-Pipelines
Entwicklung eines intelligenten Expertensystems zur Erstellung effizienter Information-Extraction-Pipelines
Evaluation of model-based testing for component based systems at Bosch Security Systems
Efficiency and Effectiveness of Multi-Stage Machine Learning Algorithms for Text Quality Assessment
Transparent Uppaal-based Verication of MechatronicUML Models
Execution of Adapt Cases on Service-based Business Process
Decision Support for Testing and Compatibility Issues during the Evolution of Software Platforms
Empirische Untersuchung unterschiedlicher Technologien der dynamischen Codegenerierung
Ontology-based Normalization and Matching of Rich Service Descriptions
Integration von Usability-Aspekten in Anforderungsspezifikationen gemäß IEEE Std 830-1998
Test Object Measurement
Entwicklung eines Monitoring- und Adaptionskonzeptes für Geschäftsprozesse in serviceorientierten Systemen
Effizienz und Effektivität der Integration von Textklassifikation in Information-Extraction-Pipelines
Testprozessoptimierung für ein Billingsystem mit Hilfe von modellbasiertem Testen
Heuristische Suchverfahren zur Laufzeitoptimierung von Information-Extraction-Pipelines
Entwicklung eines Expertensystems zur automatischen Erstellung effizienter Information-Extraction-Pipelines
Effiziente Information-Extraction-Verfahren zur Erstellung von Use-Case-Diagrammen aus Texten
Systematische Bewertung von Testprozessen nach TPI NEXT mit Geschaftsprozess-Mustern
Goal-driven Refinement of Quality Constraints for Adaptive Business Processes
Model Driven Architecture als Ansatz für Cross-Channel-Lösungen am Beispiel einer mobilen und webbasierten Shopping Anwendung
Modeling Structural and Behavioral Adaptation of Software Systems
Werkzeuggestützter Übergang von der plattformunabhängigen zur plattformabhängigen Modellebene für eingebettete Systeme im Automobilbereich
Assessing the Quality of Model-to-Model Transformations Based on Scenarios
Automated Testing of Software Platform Evolution
Efficient Quality Assurance for Self-Adaptive Software Systems