-
-
communication_software.rar
本书针对通信软件的特点,介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言,包括通用建模语言UML,消息跟踪语言MSC和规格说明与描述语言SDL,重点介绍了在电信领域得到广泛应用的SDL语言.并以设计一个微型交换机软件为例,说明如何运用这些形式化语言进行通信软件的需求分析,概要设计和详细设计。
-
POP.rar
我用SDL库写的小游戏原型,已经实现了人物运动和地图卷动的功能。
-
-
-
-
-
-
lisence.rar
常用手机仿真软件SDL and TTCN Suite 4.4的lisence文件,软件需要它才能运行
-
SDLDesignSIP.zip
会话初始协议SIP 作为推荐的Internet 会议和VoIP 应用层信令控制协议,在RFC 中没有严格地给出其行为的
形式化模型。介绍了SIP 协议,简要阐述了SDL(specification and description language) 的基本概念及使用它描述网络协议的优
点,并利用SDL 给出了SIP 协议的形式化描述,为进一步的协议实现和验证奠定了基础。
-
SI_SRC.zip
A clone of the classic space invaders game written in C with gcc and SDL to run on many different platforms.
-