9 citations · 15 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2017★ 5 cited
Modelling System of Systems Interface Contract Behaviour
Oldrich Faldik, Richard Payne, John Fitzgerald +1
A key challenge in System of Systems (SoS) engineering is the analysis and maintenance of global properties under SoS evolution, and the integration of new constituent elements. Th…
cs.SE2013
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures
Barbora Buhnova, Lucia Happe, Jan Kofroň
These are the proceedings of the 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on March 23, 2…