位置：成果数据库 > 期刊 > 期刊详情页
基于PAR的软件服务外包开发过程应用研究
  • ISSN号：1006-2475
  • 期刊名称：计算机与现代化
  • 时间：2013.11.15
  • 页码：169-173
  • 分类：TP391[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]江西师范大学计算机信息工程学院,江西南昌330022
  • 相关基金：国家自然科学基金资助项目（60773054）;国家自然科学基金重大国际合作研究项目（61020106009）
  • 相关项目：若干软件新技术及其在PAR平台中的实验研究
作者： 吴刚|薛锦云|
关键词： PAR方法, PAR平台, 软件外包, 开发效率, 可靠性, PAR method, PAR platform, software outsourcing, development efficiency, reliability
中文摘要：

软件外包中开发效率低、可靠性差的问题一直存在。PAR（Partition and Recur）方法及高可靠软件开发平台PAR平台，在提高软件开发效率和可靠性方面能够发挥很好的作用。本文将PAR方法和PAR平台应用于外包软件开发过程，使用PAR平台成功研发中软国际实训教材中软件外包案例，在软件开发效率和可靠性方面取得显著效果。

英文摘要：

Poor reliability and low efficiency are existed in the software service outsourcing industry. The PAR（Partition and Recur） method and the highly reliable platform for software development called PAR platform used in software development can improve the efficiency of development and the reliability of software. This paper carries out the feasibility analysis about applying PAR method and PAR platform to software outsourcing. A software service outsourcing case was implemented successfully in PAR platform, which brings the significant effect in efficiency and reliability of software development.

同期刊论文项目
若干软件新技术及其在PAR平台中的实验研究
期刊论文 49 会议论文 7 获奖 4 著作 3
基于PAR平台的信息系统应用软件若干共性关键技术研究
期刊论文 36 会议论文 20 获奖 6
同项目期刊论文
Unified categorical models for three typical resource allocation problems
Constraint verification of generic algorithmic program for solving general network path problems
Radl形式规格说明相对正确性研究
PAR 平台数据库查询优化方案
基于 PAR 的软件服务外包开发过程应用研究
A Formal Approach to Critical Components in Disaster Management Information Systems
Research on automated sorting algorithms generation based on PAR
PAR平台数据库查询优化方案
SRLtoRadl生成系统及其范畴论语义
Radl算法到Apla程序的生成系统
一类单元赋值语句型循环不变式的开发方法研究
基于BPMN的Web服务并发交互机制
Fuzzy Combinatorial Optimization With Multiple Ranking Criteria:A Staged Tabu Search Faramework，，201
A new particle swarm optimization algorithm for fuzzy optimization of armored vehicle scheme design
基于主从粒子群模型的分布式Agent计算框架
Biogeographic harmony search for emergency air transportation
Emergency railway transportation planning usinga hyperheuristic approach
An Algebraic Approach to Population-Based Evolutionary Algorithm Generation
Apla中泛型约束机制研究
Disaster rescue task scheduling: An evolutionary multiobjective optimization approach.
Water wave optimization: A new nature-inspiredmetaheuristic
Evolutionary optimization for disaster relief operations: A survey
The forgetting mechanism in Dirichlet reputation system
Apla语言中并发分布式机制的研究
基于PAR的排序算法自动生成研究
Rescue Wings: Mobile Computing and Active ServicesSupport for Disaster Rescue
Transaction在PAR平台中的实现方法及应用研究
软件形式化开发关键部件选取的水波优化方法
多Agent 主从粒子群分布式计算框架
基于形式演算和不变式验证的可信算法程序构造(英文)
在建模语言Apla中实现多媒体数据库应用的方法研究
Apla→Java程序生成系统中泛型机制实现方法研究
组合优化问题简约与算法推演
PAR平台数据库查询优化方案
形式化方法在高中算法教学中的应用研究
A problem reduction based approach to discrete optimization algorithm design
三个经典数学问题的形式化开发
循环不变式开发技术研究
Huffman算法程序的形式化推导
后序遍历二叉树非递归算法的推导及形式化证明
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs
基于软件体系结构的可复用构件模型
关系代数派生算子语义表达式间等价性证明
软件测试在APLA→JAVA系统中的应用研究
若干算法程序的形式化推导与生成技术研究
泛型编程扩展及其JAVA实现
Formal analysis of cryptographic protocols in a knowledge algorithm logic framework
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic appr
基于形式演算和不变式验证的可信算法程序构造(英文)
基于MSET的框架变化点实例化模式挖掘
一类0-1背包问题算法程序的形式化推导
基于SPEC#的功能性冗余软件开发
基于扩展的构件依赖关系图聚类的体系结构重构策略研究
基于PAR的算法形式化开发
装备维修规划的多目标优化模型和求解算法
并行遗传算法骨架的研究和实现
一组基于PAR的高可靠查找算法程序开发
数据驱动的多Agent装备器材保障决策支持系统
多核集群系统上的混合编程模型研究
XML在并行骨架描述中的应用
调频发射机的Wince驱动设计
Approach of generating parallel programs from parallelized algorithm design strategies
网格编程方法与环境综述
期刊信息
  • 《计算机与现代化》
  • 中国科技核心期刊
  • 主管单位:江西省科学技术厅
  • 主办单位:江西省计算机学会 江西省计算技术研究所
  • 主编：刘波平
  • 地址：南昌市西湖区井冈山大道1416号8楼
  • 邮编：330003
  • 邮箱：jgsdd@163.com
  • 电话：0791-86490996
  • 国际标准刊号：ISSN：1006-2475
  • 国内统一刊号：ISSN：36-1137/TP
  • 邮发代号:44-121
  • 获奖情况:
  • 中国科技核心期刊 中国科技论文统计源期刊 江西省...
  • 国内外数据库收录:
  • 波兰哥白尼索引,中国中国科技核心期刊
  • 被引量:14808