yusuke1997/dblp-id-title huggingface dataset:
Towards Maintaining Long-Living Information Systems by Incorporating Security Knowledge
Anforderungsspezifikation für sicherheitsrelevante Systeme
Patterns for Enterprise-wide SOA
Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen Softwareprojekten
FünfterWorkshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020)
Searching for Common Ground
A Requirements Management Template in Polarion for Model-Based Development of Airborne Systems
Einfluss dienstebasierter Architekturen auf das Requirements Engineering - Anforderungen und Anwendungsfall
ViCE-UPSLA: A Visual High Level Language for Accurate Simulation of Interlocked Pipelined Processors
CiFi: Versatile Analysis of Class and Field Immutability
Inkrementelle Transformation einer monolithischen Geschäftssoftware
Identifying Domain-Based Cyclic Dependencies in Microservice APIs Using Source Code Detectors
Innovative Systeme zur Unterstützung der zivilen Sicherheit: Architekturen und Gestaltungskonzepte (Public Safety)
Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille?
A TTCN-3-based Web Service Test Framework
WG4: Benutzbarkeit von Anwendungssystemen - Untersuchungen im Usability-Labor
Campuses as Living & Lived-in Laboratories for Smart City Development
5. Workshop für Anforderungsmanagement in Enterprise Systems-Projekten (AESP'24)
What's Hot in Product Roadmapping?
3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)
Test-Driven Requirements Management
Know Risk - Know Fun
Continuous Publishing of Online Programming Assignments with INLOOP
Kann statische Analyse unnützen Code erkennen?
Modulare Analyse Stochastischer Graphtransformationssysteme
Software Engineering 2025, Fachtagung des GI-Fachbereichs Softwaretechnik, Karlsruhe, Germany, February 24-28, 2025
The Legacy ECU Software Problem - Approach and Research Challenges
Predicting the Performance of ATL Model Transformations
Ein Klassifikationsansatz zur Variabilitätsmodellierung in E/E-Entwicklungsprozessen
Functional Interfaces vs. Function Types in Java with Lambdas
A framework for capturing, statistically modeling and analyzing the evolution of software models
Identifizierung von Vertraulichkeitsproblemen mithilfe von Angriffsausbreitung auf Architektur
GECO: A Generator Composition Approach for Aspect-Oriented DSLs
Requirements Bazaar: Experiences, Added-Value and Acceptance of Requirements Negotiation between End-Users and Open Source Software Developers
Analysis Strategies for Software Product Lines: A Classification and Survey
Taking the Pick out of the Bunch - Type-Safe Shrinking of Metamodels
Generating Accurate and Compact Edit Scripts using Tree Differencing
Performance-Influence Models
Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM2009)
IT-Unterstützung für Public Safety & Security: Interdisziplinäre Anforderungsanalyse, Architekturen und Gestaltungskonzepte (IT4PSS 2012)
Effizienzsteigerung im Systemtest von Steuergeräten. Eine empirische Untersuchung
Collaboration and Knowledge Sharing in Software Development Teams (SOFTEAM 2009)
CodeMatch
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation?
"Das hat sich bewährt"
Planning an experiment on user performance for exploration of diagrams displayed in 2½ dimensions
7. Arbeitstagung Programmiersprachen (ATPS 2014)
Probabilistic Grammar-based Test Generation
Der Mikroprozess von Programmierfehlern
Zulieferung und Integration in Automotive Produktlinien: Konfiguration von Prozessreihenfolgen innerhalb Tasks
Refactoring Delta-Oriented Software Product Lines
Communication is the Key - Support Durable Knowledge Sharing in Software Engineering by Microblogging
Reaching Steady State in Software Engineering Project Courses
Die Einführung eines wieder verwendbaren Testframeworks in der Sozialversicherung
Dynamische Prozesse und deren Abbildung auf ausführbare Workflows
Mining Input Grammars
Building a process layer for business applications using the blackboard pattern
GenBenchDroid: Fuzzing Android Taint Analysis Benchmarks
Gegen den Trend? Neue Software-Teststandards ISO/IEC/IEEE 29119
21st Workshop on Automotive Software Engineering (ASE'24)
"Perfekte Requirements Engineers" - Ansatz einer Kompetenzanalyse zur Bestimmung des Lehrumfangs
Rechnergestützte statische Analyse des Funktions- und Sofwareentwurfs in EPOS
A Domain-Specific Language Based Architecture Modeling Approach for Safety Critical Automotive Software Systems
Visualizing cross-tool ALM projects as graphs with the Open Service for Lifecycle Collaboration
Modellgetriebene Entwicklung eingebetteter Systeme mit Eclipse
Developing Domain-Specific Languages for Ocean Modeling
Continuous API Evolution in Heterogenous Enterprise Software Systems
Dritter Workshop zu "Design For Future - Langlebige Softwaresysteme"
Learning to Generate Fault-revealing Test Cases in Metamorphic Testing
Workshop "IT-Unterstützung von Einsatz- und Rettungskräften: Interdisziplinäre Anforderungsanalyse, Architekturen und Gestaltungskonzepte"
Do Developers Benefit from Recommendations when Repairing Inconsistent Design Models? a Controlled Experiment
Automotive Software Engineering in an increasingly Data-Driven Automotive Sector
Evolution wiederverwendbarer Schnittstellen in der Produktentwicklung
Navigation Recommendation on Knowledge Artifacts
Copy and paste redeemed
Revisited: Testing Culture on a Social Coding Site
Improved Bounds for Rounding Errors in Quantum Circuit Simulators
Geschäftsregelmanagement, Geschäftsprozessmodellierung und Unternehmensmodelle
Traceability in the Wild: Automatically Augmenting Incomplete Trace Links
Model-driven Development of Evolving Secure Software Systems
Systematic Quality Engineering - Lessons Learned
Vorwort Wissenschaftliches Programm der SE 2014
Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn
Capturing and Manipulating Context-sensitive Program Information
Spezifikationsbeschreibungen in der industriellen Praxis
Modellierung von Kennzahlensystemen mit BPMN
Grid-Workflows in Molecular Science
Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems
Distance-Based Sampling of Software Configuration Spaces
Wo ist der Fehler und wie wird er behoben? Ein Experiment mit Softwareentwicklern
Message from the SE'25 Workshop Chairs
Vorwort Technologietransfer-Programm der SE 2014
Business Integration mit service-orientierten Architekturen? Ein Erfahrungsbericht
Family-Based Performance Analysis of Variant-Rich Software Systems
How Do Professional Developers Comprehend Software?
On Enabling Technologies for Longevity in Software
Pseudo-Modelldifferenzen und die Phasenabhängigkeit von Metamodellen
Changes classification in M2 models
New Perspectives on the Human Factor in Software Engineering
Kompakte Anforderungsverfolgung in Modellen - ein Praxisbericht
NFR 2017 - 3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung
Automatisierte Identifikation von sicherheitsrelevanten Konfigurationseinstellungen mittels NLP
Scaling size and parameter spaces in variability-aware software performance models
Projektvorhersage - die nichtlineare Zukunft
Vorwort zum Doktorandensymposium 2013
Towards Semi-Automated Merge Conflict Resolution: Is It Easier Than We Expected?
Maintaining Consistency across Engineering Artifacts
Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011)
Agilität und Prozessreife: Erfüllbarkeit der CMMI-Prozessgebiete durch agile Methoden am Beispiel von XP
Ein Entwurfskonzept für lokal verteilte Systemsoftware
Exploring the relationship between performance metrics and cost saving potential of defect prediction models
Collaborative Sketching and Notation Creation with FlexiSketch Team
Diagrammatic Quantum Circuit Compression for Hamiltonian Simulation
Symbolic Execution for Realizability-Checking of Scenario-based Specifications
Professionalisation in ERP Selection Revisited
Modellierung und Qualitätssicherung von UML-Modellen der Geschäftslogik von Informationssystemen
C nach Eiffel: Automatische Übersetzung und objektorientierte Umstrukturierung von Legacy Quelltext
Optimization of Component Allocations in Middleware Platforms using Performance Models
Workflow Modeling for WS-BPEL-based Service Orchestration in SMEs
A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees
Ein kombinierter Black-Box- und Glass-Box-Test
Runtime Verification of Self-Adaptive Systems with Changing Requirements
Principles of Feature Modeling
Committed to Trust: A Qualitative Study on Security and Trust in Open Source Software Projects
Lösungsansätze für Probleme der Programmdokumentation
Robustness against Relaxed Memory Models
Compositional Verification of Timed Components using PVS
Efficiency of Projectional Editing
Fostering Collaboration of Academia and Industry by Open Source Software
Understanding the influence of user participation and involvement on system success - a systematic mapping study
Code Comprehension Confounders: A Study of Intelligence and Personality
Software Engineering 2024 (SE 2024) - Complete Volume
Industrielle Praxis modellbasierter Entwicklung im Bereich eingebetteter Systeme
Hamburger Informatik Technology Center e.V. - Technology Transfer at the Department of Informatics of the University of Hamburg
Intelligent code completion with Bayesian networks
Requirements traceability in the model-based testing process
TEAGER - Test Automation for UML State Machines
Mobile Dienste für die Einbindung von Bürgern und Hilfseinsatzkräften
Service-Oriented Architecture in Application and Integration Projects
Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision
Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary)
A Concept to Guide the System Engineer During the Design Space Exploration Process
Requirements Engineering und Geschäftsprozessmodellierung - zwei Seiten der gleichen Medaille
Efficient Detection of Test Interference in C Projects
Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012)
Ein Schnittstellen-Datenmodell der Variabilität in automatisch bewerteten Programmieraufgaben (An Interface Data Model of Variability in Automatically Graded Programming Tasks)
Multi-Level Test Models for Embedded Systems
Internal Resource Demand for ERP-System and Partner Evaluation at a Medium-Sized Enterprise with a Discrete Manufacturing Business Model in 2020
Software Engineering 2007 - Beiträge zu den Workshops, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg
Stakeholderanalyse in plattformbasierten Ökosystemen für industrielle IoT-Plattformen
Summary: Social Science Theories in Software Engineering Research
Integrating business process simulation and information system simulation for performance prediction
Cause-Effect Chain-Based Diagnosis of Automotive On-Board Energy Systems
International Workshop on Comparison and Versioning of Software Models (CVSM 2013)
#ifdef Directives and Program Comprehension: The Dilemma between Correctness and Preference
Aufbau eines Offshore Development Centers (ODC) - Herausforderungen und Erfolgsfaktoren
EA Management Patterns for Smart Networks
2nd Workshop on Innovative Software Engineering Education
AndroStep: Android Storage Performance Analysis Tool
Analysis of the trade-offs in different modeling approaches for performance prediction of software systems
Continuous Innovation and Experimentation in Complex Problem Domains
Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PIK2010)
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary
Integrating BPMN- and UML-based Security Engineering via Model Transformation
Improving Collaborative Modeling by an Operation-Based Versioning Approach
Towards Syntactical Model Quality Assurance in Industrial Software Development: Process Definition and Tool Support
variED: An Editor for Collaborative, Real-Time Feature Modeling
How EvoStreets Are Observed in Three-Dimensional and Virtual Reality Environments
UpCy: Safely Updating Outdated Dependencies (Summary)
Tool Support for Decision and Usage Knowledge in Continuous Software Engineering
Kontraktbasiertes Black-Box Testen von Webservices
Representative Load Testing in Continuous Software Engineering: Automation and Maintenance Support
Applying the ISO 9126 quality model to test specifications - exemplified for TTCN-3 test specifications
Sieben Strategien gegen beißende Hunde
Testing Scratch Programs Automatically
On the validity of pre-trained transformers for natural language processing in the software engineering domain
Understanding Organizational Evolution of Software Projects
7th Collaborative Workshop on Evolution and Maintenance of Long-Living Systems
Method for Service-Oriented EAM with Standard Platforms in Heterogeneous IT Landscapes
Generierung konsistenzerhaltender Editierskripte im Kontext der Modellversionierung
Produktlinien-Engineering im SOA-Kontext
Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden
Equality, Identity, and a Modified Contract
Structural Equivalence Partition and Boundary Testing
Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin
Das Business Model House of Quality
Cooperative Android App Analysis with CoDiDroid
Visual Debugger for Single-Point-Contact Haptic Rendering
Zwei Metriken zum Messen des Umgangs mit Zugriffsmodifikatoren in Java
Evolution of software in automated production systems: challenges and research directions
Ein formal fundierter Entscheidungs-Ansatz zur Behandlung von Technical Debt
Behavior-Driven Dynamics in Agile Development
Empirische Untersuchungen zwei- und dreidimensionaler Darstellungen von zur Laufzeit erzeugten Objektstrukturen
Analyse von Änderungsauswirkungen in langlebigen Automatisierungssystemen
Increasing the Throughput of Pipe-and-Filter Architectures by Integrating the Task Farm Parallelization Pattern
AvioSE 2025 Workshop Summary
Traceability Gap Analysis for Assessing the Conformance of Software Traceability to Relevant Guidelines
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
Agile Software Quality Function Deployment
What Kind of Questions Do Developers Ask on Stack Overflow? A Comparison of Automated Approaches to Classify Posts Into Question Categories
Achieving Cloud Scalability with Microservices and DevOps in the Connected Car Domain
Einige Bemerkungen zu Modellierung, Kommunikation und Dokumentation bei der Anforderungsanalyse und ihre Unterstützung durch SADT
Eine Methode für das Co-Design von Anforderungs- und Entwurfsartefakten
Concolic Testing of Concurrent Programs
A Survey of Refactoring Detection Tools
iStar-Erweiterung für kollaborative cyber-physische Systeme
Model-based Monitoring of Integrated UML State Machine Models and Code
Software Engineering im Unterricht der Hochschulen 2020
Ist Programmieren ein Mannschaftssport?
Claimed Advantages and Disadvantages of (dedicated) Model Transformation Languages: A Systematic Literature Review
Wie programmiert man die neue Robotergeneration - und wie lernt man das im Studium?
Mutual knowledge transfer between industry and academia to improve testing with defect taxonomies
SALN-4, A Software Specification and Design Language
Socio-Technical Challenges and Recommendations for Mitigation when Building ML-Enabled Systems
Unterstützte Fehlerbehebung durch kausales Strukturwissen in Überwachungssystemen der Automobilfertigung
Xtext - Werkzeugunterstützung für bestehende sowie eigene Sprachen einfach entwickeln
Using Essence in a Software Development Methodologies Course: An Experience Report
Pattern-Based Detection and Utilization of Potential Parallelism in Software Systems
MoMuT - Eine Transfer-Geschichte über modellbasiertes Testen
Requirements-based testing with defect taxonomies
Optimized Application Deployment using Fog and Cloud Computing Environments
Synthesis of Component and Connector Models from Crosscutting Structural Views
Promoting Open Science in Test-driven Software Experiments
Semi-automatic Matching of Heterogeneous Model-based Specifications
Software Architecture Optimization Methods: A Systematic Literature Review
API Deprecation: A Systematic Mapping Study
Produkt-Variabilität im gesamten Lebenszyklus (PVLZ 2009)
Reporting on a Survey on Approaches to Co-Evolution of Metamodels and Models
EPK nach BPEL Transformation als Voraussetzung für praktische Umsetzung einer SOA
Time-aware Test Execution Scheduling for Cyber-Physical Systems
Exploration of Lean Management Methods
AXA: Cross-Language Analysis through Integration of Single-Language Analyses
Semantic Debugging
Do Users Like This Feature? A Fine Grained Sentiment Analysis of App Reviews
Architekturen von Differenzwerkzeugen für Modelle
Towards Computer-Aided Software Requirements Process
UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering
Towards a Multi-Layer IT Infrastructure Monitoring Approach based on Enterprise Architecture Information
Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten
Die Zertifizierung des Modellierungswerkzeugs ASCET nach der IEC 6 15 08
Adding overloading to Java type inference
Quality Experience
Using Architecture Knowledge to Improve Automated Software Architecture Design Space Exploration
Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments
Neuroevolution-Based Generation of Tests and Oracles for Games
Network Situational Awareness: A Representative Study
Checking Consistency and Completeness of Software Systems
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary
Formal software verification for the migration of embedded code from single- to multicore systems
On the Cost and Profit of Software Defect Prediction
Some Process Patterns for Enterprise Architecture Management
Stammdatenverwaltung als Basis für eine Serviceorienterte IT-Architektur: ein subjektiver Projektbericht
In welchem Verhältnis stehen Nutzen zu Aufwand beim Einsatz von Werkzeugen?
Keynote: Prof. Dr. Stefanie Betz (Sozioinformatik, Hochschule Furtwangen)
Experience with Microservices for Legacy Software Modernization
Unified Modeling Style and Unified Process Architecture: Model-Driven Design and Model-Based Verification Key to Safety and Cost-reduction
Tool Support for Correctness-by-Construction
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
MDA und KI: Domänenspezifische Modellierung und Umsetzung wissensintensiver Prozesse
The TURBO Diaries: Application-controlled Frequency Scaling Explained
What Developers (Care to) Recall: An Interview Survey on Smaller Systems
A Large-Scale Longitudinal Study of Flaky Tests
Software Reconfiguration in Robotics
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis
Anforderungen klären mit Videoclips
A Pragmatic Approach For Debugging Parameter-Driven Software
Vom Wiegen allein wird die Sau nicht fett - Erfahrungen aus einem Jahrzehnt Qualitätsanalyse in Forschung und Praxis
Integrating Software Lifecycle Models into a uniform Software Engineering Model
Explanations in Everyday Software Systems: Towards a Taxonomy for Explainability Needs
Systematischer Vergleich von Methoden, Sprachen und Werkzeugen zur Definition und Analyse von Anforderungen an Software-Produkte
Modellbasierte Datenschutzprüfung datenintensiver Cloud Dienste
Ein Ansatz zur Entwicklung operationalisierter Usability-Anforderungen
Empirical research on requirements quality: a systematic mapping study
Software-Features: Die unbekannten Wesen
Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments
A Systematic Mapping Study of Developer Social Network Research
Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen
Pragmatische Kurskorrekturen für Spezifikationssprachen in der Praxis
The Role of Visualization in the Naturalization of Remote Software Immigrants
An Evolutionary Analysis of Software-Architecture Smells
Towards a Systematic Approach to Integrate Usage and Decision Knowledge in Continuous Software Engineering
EMLS 2020 Preface
Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata
Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X
ISS Columbus Module On-Board Software Maintenance
Kooperative Methoden- undWerkzeugentwicklung zur Cloudmigration von proprietären Anwendungskomponenten
Software Engineering für E-Learning-Systeme (SEELS)
How to Select a Suitable Tool for a Software Development Project: Three Case Studies and the Lessons Learned
WG6: Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung
Synthese komponentenbasierter Konfigurationen
Anforderungen auf Konsistenz überprüft - Formalisierung hilft
Analyse der sozialen Teamstruktur in Softwareprojekten
Software-Qualitätsmodellierung und -bewertung (SQMB 2009)
Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015)
Automated Software Remodularization Based on Move Refactoring - A Complex Systems Approach
How Useful Are Existing Monitoring Languages for Securing Android Apps?
International Workshop on Comparision and Versioning of Software Models (CVSM 2014)
Success Factors for the Implementation of a Cloud-based ERP System at Personnel Service Companies
The Impact of Test Ownership and Team Structure on the Reliability, Effectiveness of Quality Test Runs
Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS
An Approach for Partially Automated Test Generation Based on Signal Recordings
Using Language Workbenches and Domain-Specific Languages for Safety-critical Software Development
Planungsregeln für die Anpassung von Fachanwendungen
Characterizing Implicit Communal Components as Technical Debt in Automotive Software Systems
A Scaleable Online Programming Platform for Software Engineering Education
Architekturgetriebenes Pairwise-Testing für Software Produktlinien
Aufbau und Betrieb eines Testcenters
Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible?
Früherkennung fachlicher und technischer Projektrisiken mit dem Interaction Room
Entwurf und Implementierung eines modernen industriellen Messsystems
Anforderungen an das Software-Engineering in der Automatisierungstechnik
Software-Engineering-Fortbildung für Studierende und Industrie
Platform Architecture for the Diagram Assessment Domain
A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution
Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver
A Web Platform for Social Requirements Engineering
On-the-fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft
Architecture and Quality of Cloud Simulators
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 25.-26. Februar 2014 in Kiel, Deutschland
A pattern-based requirement specification language: Mapping automotive specific timing requirements
Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities
Wertorientierte Portfolio-Optimierung bei Software-Produktlinien
SOA bis in die Präsentationsschicht im Prozessportal einer Leasinggesellschaft
6th Workshop on Software Engineering for Cyber-Physical Production Systems (SECPPS'24)
Aufwandschätzung von Softwareentwicklungsprojekten
Malleable Invasive Applications
Eine Taxonomie für aspektorientierte Systeme
Software Engineering 2020 - Komplettband
Using RenderScript and RCUDA for Compute Intensive Tasks on Mobile Devices: a Case Study
User-Driven Requirements Engineering for Mobile Social Software
Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria