Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects.
Benoît DelahayeBenoît CaillaudAxel LegayPublished in: Formal Methods Syst. Des. (2011)
Keyphrases
- design methodology
- design criteria
- building blocks
- web based educational systems
- user interface
- design issues
- interactive systems
- complex systems
- knowledge based systems
- computer systems
- management system
- reasoning processes
- computational systems
- design guidelines
- model based reasoning
- reasoning systems
- design choices
- knowledge base
- embedded systems
- distributed systems
- support systems
- design decisions
- conceptual model
- retrieval systems
- software engineering
- case based reasoning
- state space
- design requirements
- design solutions
- development methodologies
- e learning