Arama Sonuçları - "software designer"

Configurable Software Performance Completions through Higher-Order Model Transformations Yazar: Happe, Lucia

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Consolidation of Customized Product Copies into Software Product Lines Yazar: Klatt, Benjamin

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Deriving Goal-oriented Performance Models by Systematic Experimentation Yazar: Westermann, Dennis

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Efficiently Conducting Quality-of-Service Analyses by Templating Architectural Knowledge Yazar: Lehrig, Sebastian Michael

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Entwurfsoptimierung von selbst-adaptiven Wartungsmechanismen für software-intensive technische Systeme Yazar: Märtin, Lukas

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Flexible Views for View-based Model-driven Development Yazar: Burger, Erik

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Integrated Software Architecture-Based Reliability Prediction for IT Systems Yazar: Brosch, Franz

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Model Transformation Languages with Modular Information Hiding Yazar: Rentschler, Andreas

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Modeling and Prediction of I/O Performance in Virtualized Environments Yazar: Noorshams, Omar-Qais

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation Yazar: Rathfelder, Christoph

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Parameter dependencies for reusable performance specifications of software components Yazar: Koziolek, Heiko

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Performance Problem Diagnostics by Systematic Experimentation Yazar: Wert, Alexander

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Predicting software performance in symmetric multi-core and multiprocessor Environments Yazar: Happe, Jens

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Quantifying and Predicting the Influence of Execution Platform on Software Component Performance Yazar: Kuperberg, Michael

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis Yazar: Krogmann, Klaus

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Specification Languages for Preserving Consistency between Models of Different Languages Yazar: Kramer, Max Emanuel

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

View-based textual modelling Yazar: Goldschmidt, Thomas

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment Yazar: Omri, Fouad ben Nasr

“…The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner…”
DOAB: download the publication
DOAB: description of the publication

Engineering Haptic Devices

İçindekiler: “…Foreword -- Preface -- List of Contributors -- Part I Basics -- Motivation and Application of Haptic Systems -- Haptics as an Interaction Modality -- The User's Role in Haptic System Design -- Development of Haptic Systems -- Part II Designing Haptic Systems -- Identification of Requirements -- General System Structures -- Control of Haptic Systems -- Kinematic Design -- Actuator Design -- Sensor Design -- Interface Design -- Haptic Software Design -- Evaluation of Haptic Systems -- Examples of Haptic Systems Development -- Conclusion -- Impedance Values of Grasps -- Appendix.…”
Link to Metadata

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

İçindekiler: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations.…”
Link to Metadata