《东南大学学报(自然科学版)》 过刊查询页面

    关键词中包括 software engineering 的文章

1 全数字飞行仿真平台的设计与实现
徐海亮,李骏扬,费树岷
2011年第1期 [113-117][摘要](1494)[pdf 447KB](1153)
2 一种函数分割型程序设计规范描述——FDP程序的正确性验证
程正潮,胡鸣钟,滕至阳
1987年第6期 [133-140][摘要](989)[pdf 466KB](690)