Amanote Research
Register
Sign 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
Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Architectural Styles for Runtime Software Adaptation
Behavioral Software Contracts
Runtime Enforcement of Web Service Message Contracts With Data
IEEE Transactions on Services Computing
Information Systems
Computer Networks
Hardware
Communications
Computer Science Applications
Management
Architecture
Behavioural Finance and Consumer Loan Contracts
Hitelintézeti szemle
Component Selection for Component Based Software Engineering
International Journal of Computer Applications
SuperContra: Cross-Language, Cross-Runtime Contracts as a Service
A Survey: Runtime Software Systems for High Performance Computing
Supercomputing Frontiers and Innovations
Information Systems
Computer Networks
Hardware
Communications
Computer Science Applications
Architecture
Mathematics
Computational Theory
Software