Author:
Rodrigues Vítor,Donetti Simone,Damiani Ferruccio
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference89 articles.
1. Albert, E., Arenas, P., Puebla, G., Hermenegildo, M.: Reduced Certificates for Abstraction-Carrying Code, pp. 163–178. Springer, Berlin (2006).
https://doi.org/10.1007/11799573_14
2. Apel, S., Batory, D., Kstner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Berlin (2013). Incorporated
3. Arndt, J., Behlert, S., et al.: SUSE Linux. Technical report. Novel Inc, Washington (2006)
4. Ayavoo, D., Pont, M.J., Parker, S.: Observing the development of a reliable embedded system. In: Proceedings of the 10th Ada-Europe International Conference on Reliable Software Technologies, Springer, Berlin. Ada-Europe’05, pp. 167–179 (2005).
https://doi.org/10.1007/11499909_14
5. Bailey, J.W., Basili, V.R.: A meta-model for software development resource expenditures. In: Proceedings of the 5th International Conference on Software Engineering. IEEE Press, Piscataway, ICSE ’81, pp. 107–116 (1981)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Safety, security, and configurable software systems;Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A;2021-09-06
2. ICARUS - Incremental Design and Verification of Software Updates in Safety-Critical Product Lines;2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA);2021-09