Amanote Research

Amanote Research

  • Register
  • Sign In

Runtime Validation of Behavioural Contracts for Component Software

doi 10.1109/qsic.2005.54

Full Text

Abstract

Available in

Date

Unknown

Authors

Unknown

Publisher

IEEE


Related search

Runtime Verification of Component-Based Embedded Software

2011English

Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Architectural Styles for Runtime Software Adaptation

2009English

Behavioral Software Contracts

2014English

Runtime Enforcement of Web Service Message Contracts With Data

IEEE Transactions on Services Computing
Information SystemsComputer NetworksHardwareCommunicationsComputer Science ApplicationsManagementArchitecture
2012English

Behavioural Finance and Consumer Loan Contracts

Hitelintézeti szemle
2017English

SuperContra: Cross-Language, Cross-Runtime Contracts as a Service

2015English

Component Selection for Component Based Software Engineering

International Journal of Computer Applications
2010English

Component Runtime Self-Adaptation in Robotics

2005English

Amanote Research

Note-taking for researchers

Follow Amanote


© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy