A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Trace theory for automatic hierarchical verification of speed-independent circuits
Trace theory for automatic hierarchical verification of speed-independent circuits
win and sin: predicate transformers for concurrency
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hierarchical models of synchronous circuits for formal verification and substitution
Hierarchical models of synchronous circuits for formal verification and substitution
Contracts, games, and refinement
Information and Computation - Special issue on EXPRESS 1997
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Computer
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
On the Relationship of CCS and CSP
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Semantic foundations for heterogeneous systems
Semantic foundations for heterogeneous systems
Controlling Speculative Design Processes Using Rich Component Models
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Embedded system development for automotive applications: trends and challenges
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Causality analysis in contract violation
RV'10 Proceedings of the First international conference on Runtime verification
Reasoning about safety and progress using contracts
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling heterogeneous points of view with modhel'x
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Moving from specifications to contracts in component-based design
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Synchronous interface theories and time triggered scheduling
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Independent implementability of viewpoints
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
| Hi-index | 0.00 |
We present the mathematical foundations and the design methodology of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of "rich component" where diverse (functional and non-functional) aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the whole process of component composition.