什么是形式化方法
摘要：定义 用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术，这样的形式化方法提供了一个框架，可以在框架中以系统的而不是特别的方式刻划、开发和验 证系统。 如果一个方法有良好的数学基础，那么它就是形式化的，典型地以形式化规约语言给出。这个基础提供一系列精确定义的概念，如：一致性和完整性，以及定
阅读全文
posted @ 2022-04-18 16:28
04 2022 档案
JAVA的反射机制
摘要：定义： Java的反射机制是指在程序的运行状态中，可以构造任意一个类的对象，可以了解任意一个对象所属的类，可以了解任意一个类的成员变量和方法，可以调用任意一个对象的属性和方法。这种动态获取程序信息以及动态调用对象的功能称为Java语言的反射机制。反射被视为动态语言的关键。 功能： 在运行时判断任意一
阅读全文
posted @ 2022-04-14 09:09
目前住院病人主要由护士护理，这样做不仅需要大量护士，而且由于不能随时观察危重病人的病情变化，还可能会延误抢救时间。某医院打算开发一个以计算机为中心患者监护系统，试写出问题定义，并且分析开发这个系统的可行性。
摘要：定义：有效期内建立一个以计算机为中心的患者监护系统，可随时接收并处理每个病人的生理信号。 技术可行性：不难，在专业人士帮助下可完成 操作可行性：招几名专业人士进行管理维护即可 经济可行性：取决于医院是否能支付相关费用
阅读全文
posted @ 2022-04-07 09:13
软件工程与计算机科学的关系及区别
摘要：计算机科学与技术注重低级语言和机器语言，有硬件方向。软件工程注重高级语言，软件方向 计算机科学与技术更注重理论，培养意识，软件工程更注重实践，培养动手能力 计算机科学与技术注重发现和研究长期的客观真理，软件工程更注重短期的结果（具体的软件开发）
阅读全文
posted @ 2022-04-06 16:25
