Amanote Research

Amanote Research

    RegisterSign In

Runtime Validation of Behavioural Contracts for Component Software

doi 10.1109/qsic.2005.54
Full Text
Open PDF
Abstract

Available in full text

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

Component Selection for Component Based Software Engineering

International Journal of Computer Applications
2010English

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

2015English

A Survey: Runtime Software Systems for High Performance Computing

Supercomputing Frontiers and Innovations
Information SystemsComputer NetworksHardwareCommunicationsComputer Science ApplicationsArchitectureMathematicsComputational TheorySoftware
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy