Die itestra GmbH besitzt enge Verbindungen zur TU München und anderen internationalen Forschungseinrichtungen und baut diese Kontakte weiter aus. Sie begrüßt und fördert explizit, dass Mitarbeiter wissenschaftliche Publikationen mit Bezug zur industriellen Praxis verfassen und diese auf internationalen Konferenzen vorstellen. Die Ergebnisse fließen direkt in die Services der itestra GmbH ein. Die hohe Qualifikation der Mitarbeiter und die Übertragung innovativer Ansätze aus der Forschung in die Praxis stellen die Basis für den Erfolg des Unternehmens dar.
2011
2010
2009
- The Curse of Copy&Paste — Cloning in Requirements Specifications
- Establishing Economic Effectiveness through Software Health-Management
- Iteratives Reengineering: Der schrittweise Umbau von Altsystemen
- Softwarequalitätsmodelle – Praxisempfehlungen und Forschungsagenda
- The Contextual Map - A Context Model for Detecting Affinity between Contexts
- Turning Inductive into Equational Specifications
2008
- Selected Topics in Software Quality
- Tool Support for Continuous Quality Control
- Practically Relevant Quality Criteria for Requirements Documents
- Checkstyle for Legacy Applications
- Probabilistic Analysis of Process Economics
- Eine Forschungsagenda für Softwarequalität
- Software Quality Modelling Put Into Practice
- Applying Hierarchical Graphs to Pedestrian Indoor Navigation
- Content Adaptation for heterogeneous mobile Devices
- A Generalized Context-aware Architecture in Heterogeneous: Mobile Computing Environments
- Heterogeneity in mobile computing Environments
- Context-aware Computing: A Survey Preparing a generalized Approach
- Imperative Functional Programming with Isabelle/HOL
- A Compiled Implementation of Normalization by Evaluation
- Local Theory Specifications in Isabelle/Isar
2007
- Measuring Productivity Using the Infamous Lines of Code Metric
- An activity-based quality model for maintainability
- Automated language evolution
- Software Engineering Services
- FoAM – A Framework for Application-Oriented O/R Mapping
- Preserving Logical Time while Abstracting from Distributed Computations
- The economic impact of software process variations
- How to effectively define and measure maintainability
- Junge Legacy-Systeme
- SOA² Report - Stand der Technik Service-Orientierter Architekturen
- Tool-supported multi-level language evolution
- Kosten-basierte Klassifikation von Qualitätsanforderungen
- Tree Clocks: An Efficient and Entirely Dynamic Logical Time System
- Variability models must not be invariant!
- Similarity in programs
- Content Adaptation for Heterogeneous Mobile Devices using web-based Mobile Services
- Mobile services based on client-server or P2P architectures facing issues of context-awareness and heterogeneous environments
- A framework for effizient regression tests on database applications
2006
- Reengineering web-basierter und anderer junger Legacy-Systeme - Erfahrungsbericht
- SALT - structured assertion language for temporal logic
- Concise and Consistent Naming
- Dynamic Vector Clocks for Consistent Ordering of Events
- Realizing Consistent Event Ordering in Distributed Shared Memory Systems
- Goal-driven software development
- The language evolver Lever
- Demystifying Maintainability
- Projekt PQL Qualitätsmodell
- Dynamic mapping of cooperating tasks to nodes in a distributed system
- Constructive Type Classes in Isabelle
2005
- Tool Supported for Continuous Quality Assessment
- A holistic approach to software quality at work
- Validating documentation with domain ontologies
- Constituting the need for flexibility in distributed operating systems
- Workshop Hot Spots der Software-Entwicklung - Service-orientierte Architekturen
- Fundamentals for Consistent Event Ordering in Distributed Shared Memory Systems
- Concise and consistent naming
- Code normal forms
- Der Beitrag Freier Software zur Software-Evolution
- Building an Adaptive Infrastructure for Education Service Providing
- Efficient Regression Tests for Database Applications
- Parallel Execution of Test Runs for Database Application Systems
