专访图灵奖得主Barbara Liskov：软件系统的未来

"09年07月ACM通讯 - 包含对08年图灵奖得主Barbara Liskov的专访，讨论其在软件系统可访问性、可靠性和安全性上的贡献，以及当前的工作方向。标签涉及ACM通讯和CACM（Communications of the ACM），内容还涵盖了自感知网络、元胞自动机模型、计算机科学的重要性、概率数据库和五分钟规则等话题。" 在2009年7月的ACM通讯中，我们得以一窥计算机科学领域的前沿动态和杰出人物。这期通讯以2008年ACM A.M.图灵奖的获奖者Barbara Liskov为主题，她是麻省理工学院（MIT）的教授，以其在提升软件系统易用性、可靠性和安全性的研究而知名。Liskov教授的工作不仅对学术界产生了深远影响，也对整个软件开发行业有着重大意义。通讯中对她的专访探讨了她职业生涯中的关键成就，并揭示了她目前的研究重点。 此外，本期通讯还涉及了多个计算机科学和技术的热点议题。其中，“Steps Toward Self-Aware Networks”讨论了网络如何变得更加自我感知和自我调整，这是未来智能网络发展的重要方向。元胞自动机模型（The Metropolis Model）的介绍，让我们了解到这种模拟复杂系统行为的数学工具在计算科学中的应用。文章“Why Computer Science Doesn’t Matter”引发了对计算机科学在当今社会中作用的深度思考，强调其重要性不仅在于技术层面，更在于它如何塑造我们的世界。 “Probabilistic Databases”部分则关注了概率数据库的最新进展，这是一种处理不确定性数据的新型数据库系统，对于大数据分析和决策支持具有重要意义。而“The Five-Minute Rule 20 Years Later”可能探讨了这个经典时间管理原则在现代工作环境中的演变和适用性。 最后，通讯中提到的“Noteworthy Titles”部分推荐了一系列相关书籍，如《Model-Driven Engineering and Ontology Development》，该书深入探讨了模型驱动工程和本体论开发在软件工程中的应用，展示了理论与实践的结合如何推动领域知识的规范化和软件开发的效率提升。 总体来说，这期ACM通讯不仅展示了Barbara Liskov的卓越贡献，同时也反映了当时计算机科学领域的广泛研究兴趣和未来趋势。这些内容对于了解和研究当时的计算机科学发展具有宝贵的参考价值。