„Component based software“

Suchergebnisse

276 Treffer

• Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures
  Massow, Robert van 2010 Institut für Informatik / Christian-Albrechts-Universität zu Kiel
• Automated property-based testing from AADL component contracts
  Hatcliff, John ; Belt, Jason ; Robby ; Legg, Jacob ; Stewart, Danielle ; Carpenter, Todd
• Model-Integrating Software Components – Engineering Flexible Software Systems
  Derakhshanmanesh, Mahdi 2015 Springer Fachmedien Wiesbaden
• 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
  Baier, Christel 2018 Springer International Publishing
• Software Engineering 2023 – Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023 Paderborn
  Engels, Gregor ; Hebig, Regina ; Tichy, Matthias 2025 Deutsche Nationalbibliothek
• Software Engineering 2023 – Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023 Paderborn
  Engels, Gregor ; Hebig, Regina ; Tichy, Matthias 2023 Gesellschaft für Informatik e.V. (GI)
• Enforceable component-based realtime contracts – Supporting realtime properties from software development to execution
  Härtig, Hermann ; Zschaler, Steffen ; Pohlack, Martin ; Aigner, Ronald ; Göbel, Steffen ; Pohl, Christoph ; Röttger, Simone
• PCI-PSO: Preference-Based Component Identification Using Particle Swarm Optimization
  Hasheminejad, Seyed Mohammad Hossein ; Gholamshahi, Shabnam
• Efficient parallel algorithm for finding strongly connected components based on granulation strategy
  Xu, Taihua ; He, Huixing ; Yang, Xibei ; Yang, Jie ; Song, Jingjing ; Cui, Yun
• Eine datenbankbasierte Architektur für Komponentensoftware in eingebetteten Realzeitsystemen/Active Real-Time Database Based Architecture for Component Software in Embedded Real-Time Systems
  Birkhold, Marcel ; Münnich, Alexander ; Woitschach, Peter
• Architecture-Aware Online Failure Prediction for Software Systems
  Pitakrat, Teerat 2018 Books on Demand
• Flexible Web-based Management of Components for Industrial Automation
  Lucena Junior, Vicente F. de 2002 Shaker
• Flexible Web-based management of components for industrial automation
  Lucena, Vicente Ferreira ˜deœ 2002 Shaker
• Architecture-Aware Online Failure Prediction for Software Systems
  Pitakrat, Teerat 2018 Books on Demand
• Analogue simulator of e.e.g. signals based on spectral components
  Zetterberg, Lars H. ; Ahlin, Kjell
• Seismic inversion based on principal component analysis and probabilistic neural network for prediction of porosity from post-stack seismic data
  Verma, Nitin ; kant, Ravi ; Maurya, S. P. ; kumar, Brijesh ; Singh, A. P. ; Hema, G. ; Singh, Raghav ; Singh, K. H. ; Sarkar, Piyush
• Model-driven online capacity management for component-based software systems – Dissertation
  Hoorn, André ˜vanœ 2014 Books on Demand GmbH
• Model-Driven Online Capacity Management for Component-Based Software Systems
  Hoorn, André ˜vanœ 2014 Books on Demand
• Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer
• Hardware and software: verification and testing – revised selected papers
  Biere, Armin ; Nahir, Amir ; Vos, Tanja 2013 Springer