ACM的通讯
研究档案
该研究档案提供了对过去问题发表的所有研究文章的访问。
2012年8月
从ACM的通信
使用示例的电子表格数据操作
数百万计算机最终用户需要在大型电子表格数据上执行任务，但缺乏自动执行此类任务的编程知识。我们提出了一种方法，允许最终用户自动化此类重复性任务......
从ACM的通信
计划的连续性和鲁棒性
计算机科学家长期以来，该软件用一种基本的方式与物理系统不同：虽然后者具有连续动态，前者不。在本文中，我们认为连续性的概念......
从ACM的通信
技术透视：最终用户编程的示例驱动程序合成
随着信息技术渗透我们的社会，更广泛的用户已经开发了需要更复杂的数据操纵和处理。以下文件侧重于重要的新兴区域......
从ACM的通信
技术视角：持续的课程
证明程序的正确性通常是全无或无关的游戏。