课堂作业：流程图和盒图依据以下流程画出流程图和盒图：流程图：盒图：

形式化方法的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致、不明确或不完整，有助于增加软件开发人员对系统的理解，因此形式化方法是提高软件系统，特别是Safety-Critical系统的安全性与可靠性的重要手段。

学生管理系统要能够实现添加学生信息，删除，修改以及查看学生信息的功能。你是否尝试过使用JAVA语言编写一个代码程序，使用该代码实现学生信息管理呢?如果你还没有任何头绪，接下来推荐你看一下我的做法，我使用的编程工具是IDEA,以下给出了学生信息管理系统的程序思路以及基础源码。