检索结果-南通市图书馆

一种基于cbse的嵌入式实时软件建模方法研究

在线全文

学校读者我要写书评

暂无评论

计算机科学 2005年第8期32卷 213-215,F0004页

作者：夏苑张为群西南师范大学计算机与信息科学学院

基于构件的软件工程(cbse)是众多嵌入式软件开发方法中的一种崭新方法。本文提出一种RT-UML/LTLC的双语言框架来对基于cbse的嵌入式实时软件的建模,既能充分地刻画出嵌入式软件实时,资源严格有限等特点,又能较好地体现出构件的特征,能... 详细信息

基于构件的软件工程(cbse)是众多嵌入式软件开发方法中的一种崭新方法。本文提出一种RT-UML/LTLC的双语言框架来对基于cbse的嵌入式实时软件的建模,既能充分地刻画出嵌入式软件实时,资源严格有限等特点,又能较好地体现出构件的特征,能更容易地过渡到基于构件的嵌入式软件开发方法的后继阶段。

关键词：嵌入式实时软件 cbse 建模 RT—UML^* LTLC 建模方法软件开发方法嵌入式软件软件工程构件

在线全文

学校读者我要写书评

暂无评论

软件工程的新发展:cbse

微型电脑应用 2000年第2期16卷 16-18页

作者：王宁施小英上海交通大学计算机科学与工程系上海200030

如何更好地实现软件重用一直是软件工程的重要研究课题。OO技术的出现是软件开发技术的巨大进步 ,但怎样实现大粒度的重用以及提高软件的可维护性和可扩展性仍是一个难题 ,cbse的发展有望从根本上解决这一问题。由于 COM/ DCOM、Java Be... 详细信息

如何更好地实现软件重用一直是软件工程的重要研究课题。OO技术的出现是软件开发技术的巨大进步 ,但怎样实现大粒度的重用以及提高软件的可维护性和可扩展性仍是一个难题 ,cbse的发展有望从根本上解决这一问题。由于 COM/ DCOM、Java Beans/ EJB等组件标准的出现 ,cbse趋向实用。本文论述了 cbse的概念、特点、意义 ,cbse的开发过程 ,开发管理等 ,并将

关键词： cbse 软件重用组件技术软件工程

在线全文

学校读者我要写书评

暂无评论

cbse跨越七道槛

软件世界 2005年第8期 48-50页

作者：贾育中国教育电子公司

基于构件的软件工程（Camponent Based Software Engineering，简称cbse）或基于构件的开发（Component-Based Development，简称CBD）是种软件开发的新范型它是使用与特定构件模型相关的合成技术，复用构件库中可信爿商的构件高效率、... 详细信息

基于构件的软件工程（Camponent Based Software Engineering，简称cbse）或基于构件的开发（Component-Based Development，简称CBD）是种软件开发的新范型它是使用与特定构件模型相关的合成技术，复用构件库中可信爿商的构件高效率、高质量地构造应用软件系统的工程化过程。

关键词： cbse Software 构件模型跨越应用软件系统软件开发软件工程合成技术高效率

在线全文

学校读者我要写书评

暂无评论

cbse基础工程研究

阜阳师范学院学报（自然科学版） 2003年第2期20卷 28-31页

作者：杨颖陈静阜阳师范学院计算机系阜阳236032

本文对cbse基础工程中的可复用构件的描述、分类表示方法进行了分析比较,在此基础上,指出了下一步的研究方向。

关键词： cbse 可复用构件构件描述分类表示检索软件工程

在线全文

学校读者我要写书评

暂无评论

cbse与其它中国蜜环菌生物种的相互关系

吉林林学院学报 2000年第1期16卷 5-8页

作者：赵俊张来国家林业局森林病虫害防治总站

中国蜜环菌生物种Ｅ（ＣＢＳＥ）建立时仅包括２个菌种，尚未建立起完整的交配型交配菌株体系，与其它中国蜜环菌生物种的相互关系也不清晰。现依据交配试验结果，将原ＣＢＳＥ中的９２０１８归属ＣＢＳＣ，将９２０１１归属于ＣＢ... 详细信息

中国蜜环菌生物种Ｅ（ＣＢＳＥ）建立时仅包括２个菌种，尚未建立起完整的交配型交配菌株体系，与其它中国蜜环菌生物种的相互关系也不清晰。现依据交配试验结果，将原ＣＢＳＥ中的９２０１８归属ＣＢＳＣ，将９２０１１归属于ＣＢＳＤ，即把ＣＢＳＥ合并为奥氏蜜环菌ＣＢＳＤ．Ａｒｍｉｌｌａｒｉａｏｓｔｏｙａｅ（Ｒｏｍａｇｎ）．Ｈｅｒｉｎｋ。

关键词：交配试验 cbse 中国蜜环菌生物种菌株

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于组件的软件工程(cbse)研究

江西师范大学学报（自然科学版） 2004年第1期28卷 32-35页

作者：冯健文林璇韩山师范学院数学系广东潮州521041

基于组件的软件工程(cbse)是重要的软件重用技术,将使今后的软件开发起革命性的变化.本文论述了cbse的定义和内容,并讨论了cbse同传统软件开发和面向对象技术的比较,最后列举了cbse今后的研究方向.

关键词：组件软件工程软件重用 cbse 分布式对象

在线全文

学校读者我要写书评

暂无评论

软件工程的新发展:cbse

应用科技 2002年第6期29卷 48-50页

作者：王珏张建沛张菁哈尔滨工程大学计算机科学与应用技术学院黑龙江哈尔滨150001

如何更好地实现软件重用一直是软件工程的重要研究课题。OO技术的出现是软件开发技术的巨大进步 ,但怎样实现大粒度的重用以提高软件的可维护性和可扩展性仍是一个难题 ,cbse的发展有望从根本上解决这一问题。由于COM DCOM、JavaBeans ... 详细信息

如何更好地实现软件重用一直是软件工程的重要研究课题。OO技术的出现是软件开发技术的巨大进步 ,但怎样实现大粒度的重用以提高软件的可维护性和可扩展性仍是一个难题 ,cbse的发展有望从根本上解决这一问题。由于COM DCOM、JavaBeans EJB等组件标准的出现 ,cbse趋向实用。论述了cbse的概念、特点、意义 ,cbse的开发过程 ,开发管理 ,并将cbse与传统的软件工程技术作了比较。

关键词：软件工程 cbse 组件技术

Testing Component-Based Software: What It has to do with Design and Component Selection

在线全文

学校读者我要写书评

暂无评论

Journal of Software Engineering and Applications 2011年第1期4卷 37-47页

作者： Shyam S. Pandeya Anil K. Tripathi Department of Computer Engineering Institute of Technology Banaras Hindu University

In a component-based software development life cycle, selection of preexisting components is an important task. Every component that has to be reused has an associated risk of failure of not meeting the functional and non-functional requirements. A component's failure would lead a developer to look for some other alternative of combinations of COTS, in-house and engineered components among possible candidate combinations. This means design itself can readily change. The very process of design of a software system and component selection seems to be heavily dependent on testing results. Instability of design, further, becomes more severe due to requirements change requests. Therefore, this instability of design has to be essentially mitigated by using proper design and testing approaches, otherwise, it may lead to exorbitantly high testing cost due to the repeated testing of various alternatives. How these three activities: Component-based software design, component selection and component-based software testing are interrelated? What process model is most suited to address this concern? This work explores the above questions and their implication in terms of nature of a process model that can be convincing in case of component-based software development.

关键词： cbse (Component-Based Software Engineering) Software Testing Software Process COTS (Commercial Off-The-Shelf Software)

A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Engineering（科研） 2015年第10期7卷 625-643页

作者： Tim Warnecke Department of Computer Science TU Clausthal Clausthal-Zellerfeld Germany

Increasing complexity of today’s software systems is one of the major challenges software engineers have to face. This is aggravated by the fact that formerly isolated systems have to be interconnected to more complex systems, called System-of-Systems (SoS). Those systems are in charge to provide more functionality to the user than all of their independent sub-systems could do. Reducing the complexity of such systems is one goal of the software engineering paradigm called component-based software engineering (cbse). cbse enables the developers to treat individual sub-systems as components which interact via interfaces with a simulated environment. Thus those components can be developed and implemented independently from other components. After the implementation a system integrator is able to interconnect the components to a SoS. Despite this much-used approach it is possible to show that constraints, which are valid in an isolated sub-system, are broken after this system is integrated into a SoS. To emphasize this issue we developed a technique based on interconnected timed automata for modelling sub-systems and System-of-Systems in the model checking tool UPPAAL. The presented modelling technique allows it to verify the correctness of single sub-systems as well as the resulting SoS. Additionally we developed a tool which abstracts the complicated timed automata to an easy to read component based language with the goal to help system integrators building and verifying complex SoS.

关键词： System-of-Systems cbse Verification Model Checking UPPAAL