程序切片技术及其应用|报价￥30.40|图书,工业技术,自动化、计算机技术,计算技术、计算机技术,计算机软件,程序设计、软件工程,软件工程,李必信
品牌：李必信
基本信息
·出版社：科学出版社
·页码：297 页码
·出版日：2006年
·ISBN：7030169441
·条码：9787030169440
·版次：1
·装帧：平装
·开本：16开 16开
作者简介
李必信 男，1969年出生，安徽庐江人，博士后，现任东南大学计算机科学与工程系教授。1998年2月至2000年12月，在南京大学计算机科学与技术系攻读博士学位，师从著名软件工程学者郑国梁教授；2001年4月至2002年3月，在芬兰图尔库(Turku)计算机科学中心(TUCS)做博士后研究，师从著名软件工程专家、精化演算创始人Ralph Johan Back教授；2002年4月至2004年1月，受聘于欧洲信息和数学联盟(ERCIM)，并被派往挪威科学技术大学(NTNU)和荷兰国家计算机和信息研究中心(CWI)从事教学和研究工作。2004年2月加盟东南大学，并开始组建ERICS(Empirical Research in Computer Science)研究组。目前ERlCS的主要研究方向为软件开发新技术与新方法、经验软件工程、程序切片技术、软件分析与测试、软件语言、软件建模与验证和软件过程改进等。1999年以来，先后在Journal of Info rmation and Computational Science，Information and Software Technology，Journal of Computer Scie
编辑推荐
本书主要介绍程序切片的起源和发展，程序切片技术的图论基础，程序切片的各种变体，计算程序切片的各种方法，以及程序切片技术在软件调试、波动分析、软件测试、度量、重用、程序理解、逆向工程和软件安全等方面的应用，并讨论了程序切片技术的发展趋向。
本书适合作为高等院校计算机软件专业学生学习“软件工程”、“软件分析与测试”等课程的参考书或工具书，也适合作为软件分析与测试研究人员的参考书。
目录
上篇 程序切片技术基本原理
第1章 概论
1.1 程序切片技术的起源和发展
1.1.1 从数据流方程到程序依赖图
1.1.2 从可执行的程序切片到不可执行的程序切片
1.1.3 静态切片、动态切片和有条件切片
……[看更多目录]
点此购买报价￥30.40