yusuke1997/dblp-id-title huggingface dataset:
Inner Source in Platform-based Product Engineering
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung
Practical Flaky Test Prediction using Common Code Evolution and Test History Data
Workshop Agile Knowledge Sharing for Distributed Software Teams
Introducing Adaptivity to Achieve Longevity for Software
FeatRacer: Locating Features Through Assisted Traceability (Summary)
Wann liefert eine Serviceorientierte Architektur echten Nutzen?
Software-Entwurf nach dem Modell der hierarchisch strukturierten Interaktion HSI
Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich
Wirtschaftlich und wirksam: Entwicklungsprozesse auf Basis des Eclipse Process Frameworks
Enhancing the UML with shadows for agile development
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Capture-Avoiding Program Transformations with name-fix
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis
Effective Visualization and Control of the Indoor Environmental Quality in Smart Buildings
Diversity and Inclusion in Software Engineering
MLS 2017 - 4th Collaborative Workshop on Evolution and Maintenance of Long-Living Systems
Sind wir bereit für die Software Factory?
Ein Stichprobenverfahren zur Abschätzung der Fehlerzahl
On the Automatic Classification of App Reviews
Variability Representations in Class Models: An Empirical Assessment (Summary)
A systematic literature review on counterexample explanation - Summary
Muster zur Migration betrieblicher Informationssysteme
Model-Based Analysis of Design Artefacts Applying an Annotation Concept
Using Goal Models to Support Safety Analysis of Human Robot Collaborations
CPSSC: 1st international workshop on cyber-physical systems in the context of smart cities
Behavioral Interfaces for Executable DSLs
A Retrospective Study of one Decade of Artifact Evaluations
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany
An abstract machine for concurrent haskell with futures
Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis)
ATPS 2016: 9. Arbeitstagung Programmiersprachen
Patterns in Enterprise Architecture Management (PEAM 2009)
AGREEMENT - An Approach for Agile Rationale Management
Design and evaluation of a customizable multi-domain reference architecture on top of product lines of self-driving heavy vehicles - an industrial case study
Domain-spanning Maintainability Analysis for Software-intensive Systems
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
No PAIN, no gain? the utility of parallel fault injections
Benchmarking Scalability of Stream Processing Frameworks Deployed as Microservices in the Cloud
Extracting frame conditions from operation contracts
Designing an App that promotes Sustainable Mobility - Agile and user-centered development of an app and corresponding business model
Doktorandensymposium der SE 2010
Employing Classifying Terms for Testing Model Transformations
PIK2010 Workshop-Einleitung und Überblick
Sichtenbasierte Kontextmodellierung für die Entwicklung kollaborativer cyber-physischer Systeme
Reusability in Artificial Neural Networks: An Empirical Study
Textual model-based software/system architecture documentation using MPS
Towards DevOps in Multi-provider Projects
Workshop on Continuous Software Engineering
Software Engineering within Social Software Environments (SENSE 2009)
Case Study: Creating a Reusable Execution Environment for WiKoDa
Software Competence Center Hagenberg: Wissens- und Technologietransfer in Software und Data Science
A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles
Patchen von Modellen
Approach to Systematic Test Signal Definition forOperation Scenarios of Aircraft Systems
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules
Modellgetriebene Validierung von System-Architekturen
Workflow for Creating and Sealing a Research Data Management Container (RDMC)
Ein Rahmenwerk zur Konsistenzprüfung von Domänen-anforderungsspezifikationen in der Produktlinienentwicklung
Software Analytics for Digital Games
Ein modellgetriebener Ansatz zur Nutzung von WS-BPEL für Scientific Workflows
Towards Social Information Systems
Specification Patterns from Research to Industry: A Case Study in Service-Based Applications
Identifying the Intensity of Variability Changes in Software Product Line Evolution
Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden
Accurate Modeling of Performance Histories for Evolving Software Systems
Ein Entwurfskonezept für verteilte Systemsoftware
Exploring software variance with hypermodelling - an exemplary approach
Hybrid Software and System Development in Practice
Investigating the Suitability of Web X.Y Features for Software Engineering - Towards an Empirical Survey
An Empirical Analysis of the Costs of Clone- and Platform-Oriented Software Reuse
Challenges in Modularization of Discrete Event Simulations
Transparent object proxies for javascript
A controlled experiment on manual test case derivation from UML activity diagrams and state machines
Der Werkzeug-und-Material-Ansatz für die Entwicklung interaktiver Software- Systeme
Von der Strategie zur Anwendung - Entwicklung langfristiger strategischer Rahmenbedingungen für die IT einer großen Versicherung
Timing Overhead Analysis for Fault Tolerance Mechanisms
Efficient State Merging in Symbolic Execution
1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19)
Neue Ansätze und Methoden für die Fehlermodellierung und -behandlung bei automobilen Videodatenübertragungenstrecken (Novel Approaches and Techniques for Fault Modeling and Fault Handling in Automotive Video Links)
On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors
Nachweis von Sicherheitseigenschaften in modellbasierten Entwurfsprozessen
weHelp: A Reference Architecture for Social Recommender Systems
Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen
SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years
Aufbau einer Software Factory zur Erstellung spezialisierter Bildverarbeitungslösungen
Exchanging Verification Witnesses between Verifiers
Intrinsic software redundancy for self-healing software systems, automated oracle generation
Advanced Mutation Testing of Java Bytecode Using Model Transformation
Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2011 in Karlsruhe
Experiences on Traceability and Consistency Checking across Engineering Tools in an Automation Solution Company
Erfolgsfaktoren bei der Entwicklung der OBCE-WW
Interaktive Softwareentwicklung durch schrittweise Formalisierung
Static and Dynamic Method Unboxing for Python
Modularisierte Systemspezifikation anhand des JDPOOLS
Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems
Modularity for Automated Assessment: A Design-Space Exploration
The QDAcity-RE Method for Structural Domain Modeling Using Qualitative Data Analysis
Feature Trace Recording - Summary
Featuremodellbasiertes und kombinatorisches Testen von Software-Produktlinien
Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, 8.-11.3.2005 in Essen
AVIOSE 2020 Preface
Towards Hybrid Array Types in SAC
Keynote: Pair - Requirements Engineering
Architekturzentrierte Softwaretechnik
A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems
A distributed staged architecture for multimodal applications
On the Model-based Documentation of Knowledge Sources in the Engineering of Embedded Systems
Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest
A Qualitative Discussion of Different Approaches for Implementing Multi-Tenant SaaS Offerings
Engineering von "Mechatronik und Software" in automatisierten Anlagen: Anforderungen und Stand der Technik
Safety Critical Java erleichtert die Zertifizierung sicherheitskritischer Echtzeit-Anwendungen
The Sales Scenario: A Model-Driven Software Product Line
Workshop zur Integration von Prozessen und Werkzeugen im agilen Zeitalter
Automated Decision Support for Recurring Design Decisions Considering Non-Functional Requirements
Interrelating Concerns in EA Documentation - Towards a Conceptual Framework of Relationships
3rd InternationalWorkshop on Social Software Engineering
Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support
Projekthafte Entwicklung eines regelbasierten Auswertungstools zur Bestimmung der Qualität von funktionalen Anforderungen
A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study
Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation - Workshop- Einleitung und Überblick
Systematische Berücksichtigung von Abhängigkeitsbeziehungen bei Architekturentscheidungen
Detecting Usage of Deprecated Web APIs via Tracing
Vorwort Software Engineering Ideen Programm der SE 2014
FastLane: Software Transactional Memory Optimized for Low Numbers of Threads
Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie
Benchmarking Scalability of Cloud-Native Applications
Combining Verifiers in Conditional Model Checking via Reducers
User Feedback Practices in Continuous Software Engineering
Der Software-Architekt und sein Unwissen
Effiziente Entscheidungsunterstützung im Krisenfall durch interaktive Standard Operating Procedures
Security, Fault Tolerance and Modeling of GridWorkflows in BPEL4Grid
The Vital Few and Trivial Many: An Empirical Analysis of the Pareto Distribution of Defects
Ein Laufzeitmodel-basierter Ansatz zur Datenschutz-Prüfung von Cloud-Systemen
Considering Transient Effects of Self-Adaptations in Model-Driven Performance Analyses
The Usability Engineering Repository (UsER)
Übergreifende Produktentwicklung als neuer Weg der zukunftsorientierten Applikationsentwicklung
Hacking or Engineering? Towards an Extended Entrepreneurial Software Engineering Model
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations
Hazard Relation Diagrams
Defining a Timing Model for AUTOSAR - Status and Challenges
UML Profile Generation for Annotation-based Modeling
Messsystematik zur Steuerung der Produkt- und Prozessqualität in Systemintegrationsprojekten - ein Erfahrungsbericht
Informationsflussanalyse für angemessene dokumentation und verbesserte kommunikation
Monkey See, Monkey Do: Effective Generation of GUI Tests with Inferred Macro Events
Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen
On the Impact of Goals on Long-Living Systems
Metrics for Analyzing Variability and Its Implementation in Software Product Lines: A Systematic Literature Review
Synthesizing of Process-Aware Digital Twin Cockpits from Event Logs
Model Checking Amalthea with Spin
Siemens Rail - Industrial Case Study: Model-based Development of a Train Guard MT Function
Reproducing Taint-Analysis Results with ReproDroid
Model-Integrating Software Components
Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien
Performance Regression Testing of Concurrent Classes
Literate Programming zur Dokumentation in der Systemadministration
Migrating to a Service-Oriented Architecture
Modellierung von Prozessen in der Feuerwehrdomäne zur Identifikation von Informationsbedarfen
Hypermodelling for Drag and Drop Concern Queries
Sind die Spezifikationsmethoden heute praktisch einsetzbar?
Modellierung adaptiver eingebetteter Systeme
Wiederverwendung von Transformationen
Diagnosing Inconsistent Requirements Preferences in Distributed Software Projects
Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013)
Variantenmodellierung von Automatisierungssystemen unter Berücksichtigung von Evolution
Enterprise application deployment: A model driven approach
SE FIT: software engineering forum der IT transferinstitute
On the Subjectivity of Emotions in Software Projects: How Reliable are Pre-Labeled Data Sets for Sentiment Analysis? (Summary)
Generating Monitors for Usage Control
Benchmarking Requirement Template Systems
Der dritte Weg - von der ingenieurmäßigen Entwicklung flexibler Anwendungen
A Summary of ReVision: History-based Model Repair Recommendations
Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019
Peer-to-Peer Issue Tracking System: Challenges and Solutions
3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung
CeMoSS - Certification and Model-Driven Development of Safe and Secure Software
Agilität braucht Architektur!
BeDivFuzz: Integrating Behavioral Diversity into Generator-based Fuzzing - Summary
Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany
Structural Type Inference in Java-like Languages
Exploring Web Search Engines to Find Architectural Knowledge
Die Bedeutung der Empirie fuer die Softwaretechnik
Fehlerprognosen zur Qualitätssteigerung in frühen Entwicklungsphasen der Automobilindustrie
Concepts for Consistent Variant-Management Tool Integrations
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen
They're not that hard to mitigate: What Cryptographic Library Developers Think About Timing Attacks
Designing an Android Continuous Delivery pipeline
Zur Risikobestimmung bei Security-Analysen in der Eisenbahnsignaltechnik
Making Wikis Productive as the Glue Code of Project Information (Project WAVES)
Development of flexible software process lines with variability operations: A longitudinal case study
Dritter Workshop zu "Design for Future (DFF 2011) - Workshop Report"
WG1: Testmethoden für Software - Von der Forschung in die Praxis
Modellierung gemischt kontinuierlich-diskreter Systeme
Variabilitätsmanagement in Software-Produktlinien
GoDeploy: Portable Deployment of Serverless Functions in Federated FaaS
Cooperative Test-Case Generation with Verifiers
Der Weg zur Modellbasierten Evolution und Adaption medizinischer Leitlinien
Community Expectations for Research Artifacts and Evaluation Processes
Requirements document relations: A reuse perspective on traceability through standards
Learning From Each Other: How Are Architectural Mistakes Communicated in Industry?
Prozessorientierte Anforderungsanalyse für die Einführung integrierter Campus-Management-Systeme
Profil: Software Engineering Research am AIT - Austrian Institute of Technology GmbH
GuideGen: An Approach for Keeping Requirements and Acceptance Tests Aligned
Towards Minimization of Test Sets for Coverage Testing of Interactive Systems
Teaching Enterprise Architecture Management with Student Mini-Projects
Werttypen in objektorientierten Programmiersprachen: Anforderungen an eine Sprachunterstützung
A Framework for IMA-based Architecture Design with Unmanned Aerial System (UAS) as a Test Case
Tool Chain for Avionics Design, Development, Integration and Test
Erweiterung von domänenspezifischen Sprachen um benutzerdefinierte Werttypen
Project-based Learning with Examples from Industry in University Courses
Requirements Analysis Using SADT
Bounds for Quantum Circuits using Logic-Based Analysis
Data-driven Risk Management for Requirements Engineering: An Automated Approach based on Bayesian Networks
Softwareentwicklung braucht mehr Gestaltungkompetenz
Stopping (and Reversing) the Architectural Erosion of Software Systems. An Industrial Case Study
Platform Architecture Portfolio: Comparisn of 3 Platforms (Android, iOS, mobile Ubuntu)
End User Development für Leitstand-Arbeitsplätze: Beschreibung einer Systemarchitektur
From Research to Practice: How to TXT e-solutions Plan to Deploy Innovations in Sharing Development Knowledge
Jicer: Slicing Android Apps for Cooperative Analysis
Integration der Normen zur Funktionalen Sicherheit in ein organisationsspezifisch angepasstes V-Modell XT und die Projektpraxis
Live-Musikprogrammierung in Haskell
Verbesserung manueller Validierungsprozesse von CPS-Spezifikationen durch Review-Modelle auf Instanzebene
Integration des V-Modell®XT im Visual Studio Team Foundation Server - Erfahrungen aus dem Projekt CollabXT
InSynth: A System for Code Completion using Types and Weights
Programming in Natural Language with fuSE: Synthesizing Methods from Spoken Utterances Using Deep Natural Language Understanding
On the Appropriate Rationale for Using Design Patterns and Pattern Documentation
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models
Testautomatisierung Gute Qualität fällt nicht vom Himmel
What Does My Classifier Learn? A Visual Approach to Understanding Natural Language Text Classifiers
Parallelizing DPLL in Haskell
First European Workshop on Mobile Engineering (ME'13)
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis
On Testing Image Processing Applications with Statistical Methods
Über die Auswirkungen von Refactoring auf Softwaremetriken
Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg
Sozial empathische Systeme coram publico
Visualizing MDD Projects
Automatische Testdatengenerierung mittels multi-objektiver Optimierung
Kontextsensitive Dialogmodellierung
When Grounded Theory is Not Enough: Additions for Video-Based Analyses of Software Engineering Process Phenomena
Objektrelationale Programmierung
Hierarchical software landscape visualization for system comprehension: A controlled experiment
Working with robots in smart homes and smart factories - robotic co-working
State Identification and Verification using a Model Checker
Measuring Object-Oriented Design Principles: The Results of Focus Group-Based Research
Enterprise Architecture Patterns for Multichannel Management
Continuous Software Engineering
Persisting and Reusing Results of Static Program Analyses on a Large Scale
How Do Cloud Providers Elicit Consumer Requirements?
Forschung für die zivile Sicherheit: Interdisziplinäre Anforderungsanalyse zwischen Praxis und Softwarelösung (FZS)
Is Performance a Reliable Proxy for Energy Consumption?
A Study on Third Party Component Reuse in Java Enterprise Open Source Software
Traceability Analysis of a High-Level Automotive System Architecture Document
Methods of Model Quality in the Automotive Area
FS-MCPS 2017 - 3rd Workshop on Fail Safety in Medical Cyber-Physical Systems
Refactoring support for the ruby development tools
From aristotle to ringelmann: A large-scale analysis of team productivity and coordination in open source software projects
The Missing Features of Workflow Systems for Scientific Computations
Enabling Agile Offshoring with the Dual-Shore Model
Advances in Quantitative Software Product Line Analysis
Ist XP etwas für mich? Empirische Studien zur Einschätzung von XP
Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games
GR(1) synthesis for LTL specification patterns
Modellierung und Enactment mit ESSENCE
Workshop on Software Engineering in Cyber-Physical Production Systems (SECPPS'21)
SmarterWohnen®NRWl - IT-gestützte Dienstleistungen für den wohnungswirtschaftlichen Massenmarkt
Die gemeinsame Benutzung zweier unterschiedlicher Strukturierungsprinzipien beim Entwurf von Systemen
Automatisierte Überprüfung von Modellierungsrichtlinien für Matlab/Simulink-Modelle
Meetings and Mood - Related or Not? Insights from Student Software Projects (Summary)
Towards Shaping the Software Lifecycle with Methods and Practices
Testen von Elektronik in der Automobilindustrie - von der ausführbaren Spezifikation bis zum automatisierten Test im Fahrzeug
Supporting Software Development Teams with a Semantic Process- and Artifactoriented Collaboration Environment
Not Quite There Yet: Remaining Challenges in Systems and Software Product Line Engineering as Perceived by Industry Practitioners
Embedding Behavioral Models into Object-Oriented Source Code
Stories Complicate Things: A Qualitative Analysis of Coding Problems (Un)solved by GitHub Copilot
Model-Based Self-Aware Performance and Resource Management Using the Descartes Modeling Language
EMLS16: 3rd collaborative workshop on evolution and maintenance of long-living software systems
Kompetenzorientierte Requirements Engineering Ausbildung im Rahmen eines SE-Moduls
Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln
Second-Order Constraints in Dynamic Invariant Inference
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016
Ein praxiserprobtes Rahmenwerk für die technische Anwendungsintegration
Secured SOA for the Safe Interconnection of Medical Devices (Position Paper)
Methods to Secure Services in an Untrusted Environment
LoCo CoCo
The SecReq approach: From Security Requirements to Secure Design while Managing Software Evolution
Morpheus: variability-aware refactoring in the wild
A Classification Framework for Scientific Documents to Support Knowledge Graph Population
Video-based Information Sharing in Distributed Teams
Playful Cleverness Revisited: Open-source Game Development as a Method for Teaching Software Engineering
How has SPI changed in times of agile development? Results from a multi-method study
Neural Efficiency of Top-Down Program Comprehension
Die "Programmentwicklungs-Landschaft" - Ein Schema zur Erfassung und Bewertung von Software-Entwicklungstechniken
Model-based Requirements Engineering in Industry: Experiences from Training and Application
Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven Fallstudie
Rules for type-checking of parametric polymorphism in EMF generics
Analyzing the reproducibility of research-related Jupyter notebooks at scale
Optimierung der Softwareentwicklung in einem Industrieunternehmen am Beispiel Siemens
Leadership for Software Engineers in Practice: An Industrial Experience Report
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces
A Case Study on Model-Driven and Conventional Software Development: The palladio editor
Methoden bei der Entwicklung neuer Komponenten für die COMET-Anwendungssfotware
Testability Refactoring in Pull Requests: Patterns and Trends
Unveiling Hurdles in Software Engineering Education: The Role of Learning Management Systems
ConQAT - Ein Toolkit zur kontinuierlichen Qualitätsbewertung
Factors Influencing Code Review Processes in Industry
Keynote: Prof. Dr. Olaf Kolditz (Umweltinformatik, Helmholzzentrum für Umweltforschung)
1st Workshop on Innovative Software Engineering Education (ISEE)
Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors - Connecting Tool Developers and Hardware Experts
Supporting requirements update during software evolution
WH2: Empirische Untersuchungen von Visualisierungswerkzeugen zur Software-Analyse
Automatisierte Softwareüberprüfung auf der Basis von Architekturregeln
Towards organization-oriented software engineering
Introducing FUM: A Framework for API Usage Constraint and Misuse Classification
Searching for Optimal Models: Comparing Two Encoding Approaches
How Gamification Affects Software Developers: Cautionary Evidence from a Natural Experiment on GitHub
Umlchange - specifying model changes to support security verification of potential evolution
Guiding Transaction Design through Architecture-Level Performance and Data Consistency Prediction
Produkt-Variabilität im gesamten Lebenszyklus (PVLZ2009)
Combining Hardware and Software Development: A case study on interdisciplinary teaching projects
Smoke testing for machine learning: simple tests to discover severe bugs
Performance Prediction in the Presence of Feature Interactions
FPGA-Based Debugging with Dynamic SignalSelection at Run-Time
Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PIK 2011)