Designing for Recovery: New Challenges for Large-Scale Complex IT Systems
ICCBSS '08 Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008)
Ultralarge Systems: Redefining Software Engineering?
IEEE Software
A Semantic Web Primer, 2nd Edition (Cooperative Information Systems)
A Semantic Web Primer, 2nd Edition (Cooperative Information Systems)
Towards Agile Engineering of High-Integrity Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
PRISM: probabilistic model checking for performance and reliability analysis
ACM SIGMETRICS Performance Evaluation Review
Using quantitative analysis to implement autonomic IT systems
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software Verification and System Assurance
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Analysing System Failure Behaviours with PRISM
SSIRI-C '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments
AGILE '10 Proceedings of the 2010 Agile Conference
Socio-technical systems: From design methods to systems engineering
Interacting with Computers
Dynamic QoS Management and Optimization in Service-Based Systems
IEEE Transactions on Software Engineering
The global financial markets: an ultra-large-scale systems perspective
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
The risks of LSCITS: the odds are stacked against us
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Towards communication-based steering of complex distributed systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
An incremental verification framework for component-based software systems
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
QoS-aware fully decentralized service assembly
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Engineering autonomous systems
Proceedings of the 17th Panhellenic Conference on Informatics
Hi-index | 48.22 |
The reductionism behind today's software-engineering methods breaks down in the face of systems complexity.