SOFSEM 2010: Theory and Practice of Computer Science

Invited Talks.- Forcing Monotonicity in Parameterized Verification: From Multisets to Words.- Research Issues in the Automated Testing of Ajax Applications.- Essential Performance Drivers in Native XML DBMSs.- Continuous Processing of Preference Queries in Data Streams.- Clock Synchronization: Open Problems in Theory and Practice.- Regret Minimization and Job Scheduling.- Lessons in Software Evolution Learned by Listening to Smalltalk.- The Web of Things: Extending the Web into the Real World.- Web Science: The Digital-Heritage Case.- Model-Driven Software Product Line Testing: An Integrated Approach.- Taming the Complexity of Inductive Logic Programming.- Regular Papers.- A Rule Format for Unit Elements.- Approximability of Edge Matching Puzzles.- A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks.- R-Programs: A Framework for Distributing XML Structural Joins across Function Calls.- Fast Arc-Annotated Subsequence Matching in Linear Space.- Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs.- A Kernel for Convex Recoloring of Weighted Forests.- Symbolic OBDD-Based Reachability Analysis Needs Exponential Space.- A Social Vision of Knowledge Representation and Reasoning.- Flavors of KWQL, a Keyword Query Language for a Semantic Wiki.- On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances.- On a Labeled Vehicle Routing Problem.- Improved Matrix Interpretation.- Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays.- Query Optimization through Cached Queries for Object-Oriented Query Language SBQL.- Perfect Matching for Biconnected Cubic Graphs in O(n log2 n) Time.- Destructive Rule-Based Properties and First-Order Logic.- Learning User Preferences for 2CP-Regression for a Recommender System.- Parallel Randomized Load Balancing: A Lower Bound for a More General Model.- Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String

Bernhard Rumpe lehrt an der RWTH Aachen den Einsatz modellbasierter Methoden auf Basis der UML für das Software Engineering und forscht an modellbasierten Software- und System-Entwicklungsmethoden in Bezug auf Qualität des Ergebnisses und Effizienz des Entwicklungsprozesses.
In einer Reihe von Publikationen hat er zur Standardisierung der UML und zur verbesserten Handhabung von Entwicklungsprozessen beigetragen. Er ist Autor und Editor von 14 Büchern sowie Mitgründer des internationalen Springer Journals on Software and Systems Modeling "SoSyM".