资源列表
[其他小程序] Economics-of-Software-Verification
说明:How can we determine the added value of software verification techniques over the more readily available conventional testing techniques? Formal verification techniques introduce both added costs and potential benefits. Can we show objectively<Ash_rulerz> 在 2025-11-26 上传 | 大小:56kb | 下载:0
[其他小程序] GQM-paper
说明:THE GOAL QUESTION METRIC APPROACH PAPER The Goal Question Metric (GQM) approach is based upon the assumption that for an organization to measure in a purposeful way it must first specify the goals for itself and its projects, then it must tr<Ash_rulerz> 在 2025-11-26 上传 | 大小:28kb | 下载:0
[其他小程序] all_view_hl_remove
说明:用于TRIBON M3 快速消隐的源代码,方便实用!-TRIBON M3 remove view hiden line.<swssws101> 在 2025-11-26 上传 | 大小:1kb | 下载:0
[其他小程序] xuejiguanli
说明:建立一个小型的学生成绩管理系统,该系统具有输入、查询、修改、打印功能 1. 建立一个学生数据文件stu.txt,每位学生数据中包含学号、姓名、性别、年龄、五门课的成绩。要求不少于16人 2. 能根据学号查询任一学生某门课成绩或所有课程成绩。 3. 系统界面设计 4. 能修改学生的任何一个数据,并设置相应的修改口令 5. 能按总成绩从高到低显示所有学生数据(分屏),包括每个学生的平均分,并输出到文件ou5.txt -Establishment of a small stud<张紫凝> 在 2025-11-26 上传 | 大小:3kb | 下载:0
[其他小程序] 实验32 MPU6050六轴传感器实验
说明:STM32f4读取mpu6050传感器数据(数据来源为正点原子)(STM32F407-MPU6050 ALIENTEK)<Lenny1> 在 2025-11-26 上传 | 大小:1.98mb | 下载:0