Author:
Inverardi Paola,Tivoli Massimo
Publisher
Springer Berlin Heidelberg
Reference43 articles.
1. International Series in Computer Science;A. Arnold,1989
2. Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: Synthesis: A tool for automatically assembling correct and distributed component-based systems. In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, pp. 784–787. IEEE Computer Society, Los Alamitos (2007), http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.84
3. Autili, M., Mostarda, L., Navarra, A., Tivoli, M.: Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. Journal of Systems and Software (2008), http://dx.doi.org/10.1016/j.jss.2008.04.006
4. Lecture Notes in Computer Science;A. Finkel,1993
5. IFIP WG 10.4 on Dependable Computing and Fault Tolerance, http://www.dependability.org/wg10.4/
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Adaptive Structural Operational Semantics;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23
2. Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?;From Software Engineering to Formal Methods and Tools, and Back;2019
3. CyPhEF;Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings;2018-05-27
4. Multidimensional context modeling applied to non-functional analysis of software;Software & Systems Modeling;2017-12-16
5. Model-Driven Engineering of Decentralized Control in Cyber-Physical Systems;2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W);2017-09