The following pages link to Michel R. V. Chaudron (Q859975):
Displaying 9 items.
- (Q239145) (redirect page) (← links)
- An experimental evaluation of self-managing availability in shared data spaces (Q859977) (← links)
- Providing data confidentiality against malicious hosts in shared data spaces (Q967526) (← links)
- The formal derivation of parallel triangular system solvers using a coordination-based design method (Q1275043) (← links)
- Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods (Q5959854) (← links)
- UML class diagrams for layout quality checking (Q6725879) (← links)
- Replication Package for "Evaluating the layout quality of UML class diagrams using machine learning" (Q6725885) (← links)
- Dataset for the paper "Collaborative software design and modeling in virtual reality" (Q6725892) (← links)
- Anonymized dataset of an OutSystems application landscape to be used in Arvisan (Q6725894) (← links)
