邵津
- 作品数：9 被引量：18H指数：3
- 供职机构：北京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：政治法律自动化与计算机技术更多>>
- SASEP:一个面向软件工程的服务平台
- 近年来,随着SaaS(Software as a Service)逐步被广泛认可,新型的软件平台PaaS(Platform as a Service)被提出,以专门支持SaaS软件向用户提供服务。本文介绍了一个面向软件工...
- 魏豪邵津吴凌刘海文王千祥
- 关键词：平台即服务软件工程
- 专属经济区内和大陆架上的海洋科研制度被引量：4
- 1995年
- 《联合国海洋法公约》已于1994年11月16日生效。公约以整整一个部分(第十三部分)全面系统地规定了海洋科研制度,包括一般原则和各海区的海洋科研制度。这是公约对海洋法的重要发展之一。其中专属经济区内和大陆架上的海洋科研制度,不但由于这两个海区在海洋科学研究上的重要性,而且也由于这一制度本身所体现的新发展,而受到特别重视。本文旨在对这个制度作一分析,并试加评估,以供研究公约和公约的批准问题参考。
- 邵津
- 关键词：沿岸国专属经济区大陆架管辖权
- 一种基于模型的软件系统监测方法被引量：8
- 2010年
- 软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软件服务质量提供依据.该方法以包含约束描述信息的监测模型为基础,基于一系列的转换规则,自动、半自动地将监测模型转换成相应的监测代码,并以合适的实现机制部署到被监测系统之上,从而提高软件系统监测的效果.
- 邵津邓芳王千祥
- 关键词：软件维护软件质量保障
- 软件服务的在线监测技术研究
- Internet技术的产生和快速发展极大地影响了软件的构建方法与使用方式，软件形态逐渐从单机环境中的软件产品向网络环境下的软件服务扩展。这样的转变在扩展软件系统应用范围的同时，也为其服务质量的保障带来了新的挑战。云计算及...
- 邵津
- 关键词：在线监测
- 新的海洋科学研究国际法制度——专属经济区和大陆架、国际海底区域、结论被引量：6
- 1995年
- 一、专属经济区内和大陆架上的海洋科学研究 1.概说 专属经济区是《联合国海洋法公约》确立的一个新的海区,指从测算领海宽度的基线量起不超过200海里的区域(包括水体和海床及其底土);在此海区内,沿岸国享有以勘探和开发、养护和管理生物和非生物资源为目的的主权权利,以及关于从事其他经济性开发和勘探的主权权利,并享有建造和授权建造人工岛屿、设施和结构的专属权利,以及对海洋环境保护和海洋科学研究的管辖权(参看公约第56、60条);所有国家享有航行、飞越、铺设海底电缆和管道的自由(第58条)。
- 邵津
- 关键词：海洋科学研究沿岸国专属经济区国际海底区域大陆架国际法制
- 新的海洋科学研究国际法制度——导论、一般原则、领海、公海被引量：2
- 1994年
- 1982年《联合国海洋法公约》关于海洋科学研究的全面系统的规定(第13部分),是对海洋法的重要发展之一。本文拟对这个新的海洋科研国际法制度作一分析。
- 邵津
- 关键词：海洋科学研究沿岸国国际法制公海自由
- 一种支持用户可视化自定义的服务平台监控模型
- 本发明公开了一种支持用户可视化自定义的服务平台监控模型。该模型为云环境下的软件服务运行平台提供了一种从问题域出发、具有较高抽象层次的运行时管理方法。该发明主要包括了两个重要特征：首先，提供了一套支持用户自定义的可视化监控...
- 邵津王千祥王泽瑞
- 文献传递
- 一种基于模型的软件系统监测方法
- 软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标。本文提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障...
- 邵津邓芳王千祥
- 关键词：软件维护软件质量保障
- 文献传递
- 国际法规不容践踏
- 1999年
- 邵津
- 关键词：国际义务国际人道主义法法律后果《联合国宪章》联合国安理会
