Add to ORKGThe substitution of a system with another one may occur in several situations like system adaptation, system failure management, system resilience, system reconfiguration, etc. It consists in replacing a running system by another one when given conditions hold. This contribution summarizes our proposal to define a formal setting for proving the correctness of system substitution. It relies on refinement and on the Event-B method
Abstract. Substitution is fundamental to the theory of logic and computation. Is substitution someth...
System verification in the broadest sense deals with those semantic properties that can be decided...
International audienceComponent substitution has numerous practical applications and constitutes an ...
The substitution of a system with another one may occur in several situations like system adaptation...
Safety-critical systems depend on the fact that their software components provide services that beha...
The automation of programming, which lies at the intersection of software engineering and artificial...
The capability to substitute a given system by another one is a property useful for dealing with ada...
In distributed systems and dynamic environments, software architectures may evolve. A crucial issue ...
We present an approach to describing refactorings that abstracts away from particular refactorings t...
International audienceIn distributed systems and dynamic environments, software architectures may ev...
Proving that a program suits its specification and thus can be called correct has been a research su...
In distributed systems and dynamic environments, software architectures may evolve. A crucial issue ...
The model of Elementary Transition Systems has been introduced by the authors as an abstraction of ...
To reduce error-prone work of implementing hybrid system designs in Event-B by hand, we revisit the ...
A substitutional account of logical validity for formal first‐order languages is developed and defen...
Abstract. Substitution is fundamental to the theory of logic and computation. Is substitution someth...
System verification in the broadest sense deals with those semantic properties that can be decided...
International audienceComponent substitution has numerous practical applications and constitutes an ...
The substitution of a system with another one may occur in several situations like system adaptation...
Safety-critical systems depend on the fact that their software components provide services that beha...
The automation of programming, which lies at the intersection of software engineering and artificial...
The capability to substitute a given system by another one is a property useful for dealing with ada...
In distributed systems and dynamic environments, software architectures may evolve. A crucial issue ...
We present an approach to describing refactorings that abstracts away from particular refactorings t...
International audienceIn distributed systems and dynamic environments, software architectures may ev...
Proving that a program suits its specification and thus can be called correct has been a research su...
In distributed systems and dynamic environments, software architectures may evolve. A crucial issue ...
The model of Elementary Transition Systems has been introduced by the authors as an abstraction of ...
To reduce error-prone work of implementing hybrid system designs in Event-B by hand, we revisit the ...
A substitutional account of logical validity for formal first‐order languages is developed and defen...
Abstract. Substitution is fundamental to the theory of logic and computation. Is substitution someth...
System verification in the broadest sense deals with those semantic properties that can be decided...
International audienceComponent substitution has numerous practical applications and constitutes an ...