摘要：
一、什么是形式化方法 形式化方法是基于严格数学逻辑的软件开发、系统建模手段，用标准化符号、公式、逻辑证明替代自然语言描述，消除模糊歧义，分为三类： 规格说明：用数学语言精准定义系统需求，避免文字漏洞； 形式化验证：通过逻辑推导证明程序无死锁、无边界溢出、逻辑错误； 形式化开发：从数学模型自动生成可执 阅读全文
posted @ 2026-06-21 00:29
冰蝶王子
阅读(3)
评论(0)
推荐(0)
摘要：
// 测试实体类 class Student { private String name; public int age; // 构造 public Student() {} public Student(String name) { this.name = name; } // 私有方法 priv 阅读全文
posted @ 2026-06-21 00:27
冰蝶王子
阅读(3)
评论(0)
推荐(0)
摘要：
一： // 订单状态枚举 enum OrderStatus { UNPAID("未支付"), PAID("已支付"), DELIVER("已发货"), FINISH("已完成"); private String desc; OrderStatus(String desc) { this.desc = 阅读全文
posted @ 2026-06-21 00:26
冰蝶王子
阅读(2)
评论(0)
推荐(0)
摘要：
import java.io.BufferedReader; import java.io.BufferedWriter; import java.io.FileReader; import java.io.FileWriter; import java.io.IOException; public 阅读全文
posted @ 2026-06-21 00:23
冰蝶王子
阅读(3)
评论(0)
推荐(0)
摘要：
public class PrimeDemo { public static void main(String[] args) { int num = 100; System.out.println(num + "以内的质数："); getPrime(num); } // 获取max以内全部质数 p 阅读全文
posted @ 2026-06-21 00:21
冰蝶王子
阅读(3)
评论(0)
推荐(0)
摘要：
// 函数式接口（统一执行任务） interface Task { void run(); } public class TimeCountDemo { // 统计耗时工具方法 public static long calculateRunTime(Task task) { long start = 阅读全文
posted @ 2026-06-21 00:19
冰蝶王子
阅读(4)
评论(0)
推荐(0)
浙公网安备 33010602011771号