"登录成功" : "登录失败");System.out.println("===== 登录界面初始化 =====");System.out.print("用户名：");System.out.print("密码：");重构后完整代码1. LoginView.java（视图层）

System.out.println("文本文件复制完成");System.out.println("文件复制完成");1. 文本文件复制（字符缓冲流）2. 任意文件复制（字节缓冲流）

Runnable：同一个任务对象可传给多个 Thread，天然共享成员变量，适合售票等并发场景。Thread t1 = new Thread(task, "线程1");Runnable：任务和线程分离，任务可复用，适配线程池，企业开发主流。Thread：Java 单继承，继承后不能再继承其他类；Runnable：接口多实现，不占用继承名额，拓展性好。// 重写run()，编写线程执行逻辑。// 多

形式化方法是软件工程领域中，一种基于严格数学理论的软件开发与验证技术。它的核心思想，是用数学语言、逻辑符号和形式化模型来精确描述软件系统的需求、设计与行为，从而消除自然语言描述中固有的歧义，为软件的正确性、可靠性提供可验证的保障。不同于传统软件工程依赖人工评审、测试用例来发现缺陷，形式化方法通过构建系统的数学模型，再借助定理证明、模型检测等技术，对系统的关键属性（如安全性、一致性、死锁避免）进行系