„Component based software“
Suchergebnisse
276 Treffer
-
Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures
-
Automated property-based testing from AADL component contracts
-
Model-Integrating Software Components – Engineering Flexible Software Systems
-
Formal Techniques for Distributed Objects, Components, and Systems – 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
-
Software Engineering 2023 – Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023 Paderborn
-
Software Engineering 2023 – Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023 Paderborn
-
Enforceable component-based realtime contracts – Supporting realtime properties from software development to execution
-
PCI-PSO: Preference-Based Component Identification Using Particle Swarm Optimization
-
Efficient parallel algorithm for finding strongly connected components based on granulation strategy
-
Eine datenbankbasierte Architektur für Komponentensoftware in eingebetteten Realzeitsystemen/Active Real-Time Database Based Architecture for Component Software in Embedded Real-Time Systems
-
Architecture-Aware Online Failure Prediction for Software Systems
-
Flexible Web-based Management of Components for Industrial Automation
-
Flexible Web-based management of components for industrial automation
-
Architecture-Aware Online Failure Prediction for Software Systems
-
Analogue simulator of e.e.g. signals based on spectral components
-
Seismic inversion based on principal component analysis and probabilistic neural network for prediction of porosity from post-stack seismic data
-
Model-driven online capacity management for component-based software systems – Dissertation
-
Model-Driven Online Capacity Management for Component-Based Software Systems
-
Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
-
Hardware and software: verification and testing – revised selected papers