| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 以网络为中心的软件系统架构：基于风格的开始 | Amine Chigani James D. Arthur Shawn Bohner | cs/0612131 | cs.SE | 2007-05-23 |
| 确定敏捷实践在任务和生命关键系统中的适用性 | Ahmed Sidky, James Arthur | cs/0701010 | cs.SE | 2007-05-23 |
| 认证控制和系统软件 | Eric Feron (School of Aerospace Engineering, Georgia Institute of Technology) Mardavij Roozbehani (Department of Aeronautics and Astronautics, Massachusetts Institue of Technology) | cs/0701132 | cs.SE | 2007-05-23 |
| 从模式和软件代码重用的类比中进行推理 | Franc{c}oise Detienne (INRIA) | cs/0701200 | cs.SE | 2007-05-23 |
| 改进Prolog程序：针对Prolog的重构 | Alexander Serebrenik, Tom Schrijvers, Bart Demoen | cs/0702083 | cs.SE | 2007-05-23 |
| 预先需求规范可追踪性：通过能力弥合复杂差距 | Ramya Ravichandar, James D. Arthur, Manuel P''erez-Qui~nones | cs/0703012 | cs.SE | 2007-05-23 |
| 评估组件化软件可靠性时考虑组件演化和执行行为 | Wen-Li Wang and Mei-Huei Tang | cs/0703021 | cs.SE | 2007-05-23 |
| JavaScript使用Portlet包装器 | Paul Fodor | cs/0703069 | cs.SE | 2007-05-23 |
| Web应用开发的系统化方法 | Joy Dutta, Paul Fodor | cs/0703080 | cs.SE | 2007-05-23 |
| 布劳-兰波特规范问题：一种古列维奇抽象状态机解决方案 | James K. Huggins | cs/9810022 | cs.SE | 2007-05-23 |
| 等价取决于观察者的眼光 | Yuri Gurevich and James K. Huggins | cs/9810023 | cs.SE | 2007-05-23 |
| 演化代数与部分求值 | Yuri Gurevich and James K. Huggins | cs/9810024 | cs.SE | 2007-05-23 |
| 铁路道口问题：一项关于瞬时行动与即时反应的实验 | Yuri Gurevich and James K. Huggins | cs/9810026 | cs.SE | 2007-05-23 |
| 第二产品线实践工作坊报告 | L. Bass, G. Chastek, P. Clements, L. Northrop, D. Smith, J. Withey | cs/9811007 | cs.SE | 2007-05-23 |
| 可存活网络系统分析的案例研究 | Robert Ellison, Rick Linger, Thomas Longstaff, Nancy Mead | cs/9811011 | cs.SE | 2007-05-23 |
| 1988-1998年的抽象状态机：带注释的ASM文献目录 | Egon Boerger and James K. Huggins | cs/9811014 | cs.SE | 2007-05-23 |
| 管理面向对象的集成与回归测试 | Mario Winter | cs/9902008 | cs.SE | 2007-05-23 |
| LuaJava - 一种用于Java的脚本工具 | Carlos Cassino, Roberto Ierusalimschy, and Noemi Rodriguez | cs/9903018 | cs.SE | 2007-05-23 |
| SCR3：朝着形式方法的可用性迈进 | M. Chechik | cs/9906030 | cs.SE | 2007-05-23 |
| 商业环境下的形式建模：案例研究 | A. Wong and M. Chechik | cs/9906032 | cs.SE | 2007-05-23 |
| 一个合理的C++封装的Java本地接口 | Craig Bordelon | cs/9907019 | cs.SE | 2007-05-23 |