138 citations · 597 across the 30 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2012
Revisiting Timed Specification Theories: A Linear-Time Perspective
Chris Chilton, Marta Kwiatkowska, Xu Wang
We consider the setting of component-based design for real-time systems with critical timing constraints. Based on our earlier work, we propose a compositional specification theory…
cs.SE2011
Large-scale Complex IT Systems
Ian Sommerville, Dave Cliff, Radu Calinescu +5
This paper explores the issues around the construction of large-scale complex systems which are built as 'systems of systems' and suggests that there are fundamental reasons, deriv…