【简答题】软件方法学是以软件方法为研究对象的一门学科。从开发风范上看,可分为( )。从性质上看,可分为( )。从适应范围来看,可分为( )。 软件自动化方法是指利用计算机使软件的设计实现自动化的方法和相关的技术。软件自动化的实现途径有4种:过程途径、归纳途径、( )。 形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的( )、不一致性。 供选择的答案:
【判断题】在离子交换树脂的滴定过程中,使用酚酞作指示剂。
【单选题】必须经过承兑才能转让流通的票据是( )。
【简答题】在现今资讯科技发达的年代,人们可从不同途径获得所需信息,从而忽视了阅读。请你以“Reading enriches the mind.” 为题,写一篇120词左右的短文,简要分析时弊,谈谈你对阅读的理解和看法。 注意:文中不能透露个人姓名和学校名称。
【单选题】(2014年司法考试卷三第48题)张某驾车与李某发生碰撞,交警赶到现场后用数码相机拍摄了碰撞情况,后李某提起诉讼,要求张某赔偿损失,并向法院提交了一张光盘,内附交警的照片。该照片属于下列哪一种证据?
【单选题】软件方法学是以软件方法为研究对象的学科。从开发风范上看,可分为(99)。从性质上看,可分为(100)。从适应范围来看,可分为(101)。形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的(102)、不一致性。软件自动化方法是指利用计算机使软件的设计实现自动化的方法和相关的技术。软件自动化的实现途径有四种:过程途径、归纳途径、(103)。
【单选题】下面哪一个目录是一个虚拟的目录,它是系统内存的映射,我们可以通过直接访问这个目录来获取系统信息。也就是说,这个目录的内容不在硬盘上而是在内存里。( )