检索结果-内蒙古大学图书馆

A Novel Trustworthiness Measurement Model Based on Weight and User Feedback

Chinese Journal of Electronics 2022年第4期31卷 612-625页

作者： ZHOU Wei MA Yanfang PAN Haiyu School of Computer Science and Technology Huaibei Normal University School of Computer Science and Information Engineering Changzhou Institute of Technology School of Computer Science and Information Security Guilin University of Electronic Technology

software trustworthiness is an essential criterion for evaluating software quality. In componentbased software, different components play different roles and different users give different grades of trustworthiness after using the software. The two elements will both affect the trustworthiness of software. When the software quality is evaluated comprehensively, it is necessary to consider the weight of component and user feedback. According to different construction of components, the different trustworthiness measurement models are established based on the weight of components and user feedback. Algorithms of these trustworthiness measurement models are designed in order to obtain the corresponding trustworthiness measurement value automatically. The feasibility of these trustworthiness measurement models is demonstrated by a train ticket purchase system.

关键词： software quality Data security train ticket purchase system component-based software software trustworthiness trustworthiness measurement model software quality evaluation Object-oriented programming object-oriented programming software engineering techniques trusted computing user feedback

来源：评论

学校读者我要写书评

暂无评论

software process improvement to assist medical device software development organisations to comply with the amendments to the medical device directive

引用

IET software 2012年第5期6卷 431-437页

作者： McHugh, M. McCaffery, F. Casey, V. Dundalk Inst Technol Regulated Software Res Grp Dept Comp & Math Dundalk Louth Ireland

A recent revision to the European Medical Device Directive (MDD) 2007/47/EC made 14 amendments to the original directive (93/42/EEC). A number of these changes directly affect the development of software for use in healthcare. The most significant change in relation to medical device software development is that stand-alone software is now seen as an active medical device and should be developed following state-of-the-art medical device software development processes. State-of-the-art medical device software processes are understood within the industry as developing software in accordance with IEC 62304 and standards that are aligned with it. This study identifies how changes to the MDD affect medical device software development companies and recommendations are made as to how medical device software development companies can conform to the latest regulatory requirements. Additionally, the study provides an overview of how Medi SPICE is currently being developed to provide organisations with a single point of reference for the practices that should be implemented in order to produce regulatory compliant medical device software.

关键词： regulatory compliant medical device software healthcare software process improvement IEC 62304 medical computing Biology and medical computing IEC standards European medical device directive software engineering techniques active medical device medical device software development organisation medical device software development process stand alone software

来源：评论

学校读者我要写书评

暂无评论

Multiple-view modelling and meta-modelling of software product lines

引用

IET software 2008年第2期2卷 94-122页

作者： Gomaa, H. Shin, M. E. George Mason Univ Dept Comp Sci Fairfax VA 22030 USA Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA

A multiple-view modelling and meta-modelling approach for software product lines (SPLs) using the unified modelling language notation is described. A multiple-view model for an SPL defines the different perspectives of the product line, namely the use case model, static model, collaboration model, statechart model and feature model, including the commonality and variability. The meta-model for SPLs depicts the life-cycle phases, views within each phase and meta-classes within each view. The relationships between the different meta-model views are described. Consistency checking rules are specified based on the relationships among meta-classes in the meta-model. These rules, which are specified formally using the object constraint language, are used to resolve inconsistencies between multiple views in the same phase or different phases, and to define allowable mappings between multiple views in different phases. Finally, tool support for the approach is described.

关键词： Formal methods static model unified modelling language notation meta-modelling approach software product lines meta-classes Unified Modeling Language product development multiple-view modelling approach software engineering techniques SPL statechart model life-cycle phases collaboration model use case model feature model

来源：评论

学校读者我要写书评

暂无评论

Adaptive and dynamic reconfigurable multiprocessor system to improve software productivity

引用

IET COMPUTERS AND DIGITAL techniques 2015年第1期9卷 63-72页

作者： Rutzig, Mateus Beck Beck, Antonio Carlos Schneider Carro, Luigi Univ Fed Santa Maria Dept Eletron & Comp BR-97119900 Santa Maria RS Brazil Univ Fed Rio Grande do Sul Inst Informat Porto Alegre RS Brazil

Nowadays, multiprocessor system-on-chips (MPSoCs) are employed in a heterogeneous fashion, being composed of application-specific integrated circuits (ASICs) and processors that implement different instruction set architectures (ISAs). Because of that, there are two main issues. First, the lack of adaptability, since ASICs are designed for a specific purpose and cannot be changed after deployment;second, the necessity to code for different ISAs, which involves different tool chains which increases design time. In this scenario, the authors propose custom-reconfigurable arrays for multiprocessor systems (CReAMS), which is composed of multiple processors that implement a unique ISA, each of them coupled to an adaptive reconfigurable system, so it is possible to simultaneously exploit instruction-level and thread-level parallelism. Differently from most reconfigurable architectures there is no need to change the binary/source code, nor software development process or environment, which guarantees software compatibility;and in contrast to current MPSoCs used in embedded systems, it is capable of adapting to accelerate applications that were not considered at design time. Besides the obvious advantages in software productivity, CReAMS outperforms a multiprocessor with single-issue processors by 19% and reduces 70% of the energy consumption. In addition, CReAMS outperforms a four-issue out-of-order superscalar processor by 18% in a power budget scenario.

关键词： four-issue out-of-order superscalar processors instruction-level parallelism energy consumption optimization CReAMS Performance evaluation and testing thread-level parallelism tool chains software productivity improvement reconfigurable architectures Multiprocessing systems ISA ASIC system-on-chip application-specific integrated circuits Semiconductor integrated circuit design, layout, modelling and testing performance evaluation MPSoC System-on-chip backward compatibility design time integrated circuit design Computer architecture dynamic reconfigurable multiprocessor system custom-reconfigurable arrays-for-multiprocessor systems software engineering instruction set architectures software engineering techniques instruction sets embedded systems multiprocessor system-on-chips forward compatibility adaptive reconfigurable multiprocessor system multiprocessing systems

来源：评论

学校读者我要写书评

暂无评论

Teaching global software engineering: experiences and lessons learned

引用

IET software 2015年第4期9卷 95-102页

作者： Niazi, Mahmood KFUPM Dept Informat & Comp Sci Dhahran Saudi Arabia

In this paper the author demonstrates how the GSE course was executed related to each level of the Bloom's taxonomy. It was observed that Bloom's taxonomy can play a vital role in order to effectively design and deliver a GSE course. Overall, the six levels of Bloom's cognitive domain were helpful in transforming students learning from the knowledge level to the evaluation level. However, it was observed that the knowledge level is not appropriate for higher calibre students because the content used in the knowledge level is often referred to as simple. The comprehension level seemed appropriate for all levels of students as they were able to produce different solutions based on their understanding of the problem domain. Many international students had problems with the application level as they were unable to apply the concepts and theories in the laboratories. For the analysis level, some students had difficulties in breaking down the bigger problem into smaller components. Students had mixed responses to the synthesis level. Students had some minor problems in the evaluation level. However, it was observed that if Bloom's taxonomy is used with other available teaching guidelines, the overall design and delivery of different courses can be improved.

关键词： synthesis level knowledge level computer science education global software engineering course Computing education and training evaluation level course design comprehension level teaching guidelines teaching software engineering techniques educational courses software engineering Bloom cognitive domain course delivery global software engineering teaching Bloom taxonomy

来源：评论

学校读者我要写书评

暂无评论

MODELING AND VALIDATING OFFICE INFORMATION-SYSTEMS - AN OBJECT AND LOGIC ORIENTED APPROACH

引用

software engineering JOURNAL 1989年第2期4卷 87-94页

作者： LOUCOPOULOS, P KARAKOSTAS, V UNIV MANCHESTER INST SCI & TECHNOLDEPT COMPUTATMANCHESTER M60 1QDLANCSENGLAND

Developing information systems for the office environment of today requires powerful representation formalisms and techniques capable of modelling all office elements. Furthermore, these formalisms should provide appropriate facilities for the validation of a conceptual schema. In the paper, it is argued that an office modelling approach should provide semantic account for the various aspects of the schema, as well as facilities for simulating its behaviour. A conceptual modelling language is presented that combines the object oriented and logic programming paradigms, and it is demonstrated how this language can be used to validate the conceptual design of an office information system.

关键词： program verification office modelling semantic account office automation office information systems software engineering techniques conceptual modelling language Office automation high level languages logic programming High level languages object-oriented programming office environment

来源：评论

学校读者我要写书评

暂无评论

Object-oriented concept analysis for software imodularisation

引用

IET software 2008年第2期2卷 134-148页

作者： Kim, H. H. Bae, D. -H. Korea Adv Inst Sci & Technol Dept Elect Engn & Comp Sci Taejon 305701 South Korea SolutionLink Corp Taejon South Korea

Modularity is one of the most important principles in software engineering and a necessity for every practical software. Since the design space of software is generally quite large, it is valuable to provide automatic means to help modularising it. An automatic technique for software modularisation using object-oriented concept analysis (OOCA) is proposed. The proposed technique is strongly inspired by the success of reverse engineering techniques based on formal concept analysis (FCA). However, our experience shows that FCA-based techniques generally result in fine-grained modules and, thus, may be inadequate for modularising large-scale designs. To overcome this weakness, the authors employ OOCA, a recent proposal for concept formulations. OOCA enables to provide coarse concepts as module candidates while keeping the advantage of FCA techniques. To the best of the authors' knowledge, it is the first work to apply OOCA in software engineering research. To illustrate the potential of the approach, the authors perform a software modularisation case study on a real insurance software design with comparison.

关键词： Formal methods fine-grained modules reverse engineering techniques object-oriented concept analysis software engineering techniques Object-oriented programming software engineering formal concept analysis object-oriented methods software modularisation

来源：评论

学校读者我要写书评

暂无评论

Ontology-based service discovery framework for dynamic environments

引用

IET software 2017年第2期11卷 64-74页

作者： Zeshan, Furkh Mohamad, Radziah Ahmad, Mohammad Nazir Hussain, Syed Asad Ahmad, Adnan Raza, Imran Mehmood, Abid Ulhaq, Ikram Abdulgader, Arafat Babar, Imran COMSATS Inst Informat Technol CIIT Dept Comp Sci Lahore Pakistan Univ Teknol Malaysia Dept Software Engn Johor Baharu Malaysia King Faisal Univ Dept Comp Sci Al Hufuf Saudi Arabia Federat Univ ICSL Ballarat Vic Australia

With all the recent advancements in the electronic world, hardware is becoming smaller, cheaper and more powerful;while the software industry is moving towards service-oriented integration technologies. Hence, service oriented architecture is becoming a popular platform for the development of applications for distributed embedded real-time system (DERTS). With rapidly increasing diversity of services on the internet, new demands have been raised concerning the efficient discovery of heterogeneous device services in the dynamic environment of DERTS. Context-awareness principles have been widely studied for DERTS;hence, it can be used as an additional set of service selection criteria. However, in order to use context information effectively, it should be presented in an unambiguous way and the dynamic nature of the embedded and real-time systems should be considered. To address these challenges, the authors present a service discovery framework for DERTS which uses context-aware ontology of embedded and real-time systems and a semantic matching algorithm to facilitate the discovery of device services in embedded and real-time system environments. The proposed service discovery framework also considers the associated priorities with the requirements posed by the requester during the service discovery process.

关键词： ubiquitous computing software industry embedded systems service oriented architecture context-aware ontology software engineering techniques ontology-based service discovery framework distributed embedded real-time system Ubiquitous and pervasive computing Knowledge engineering techniques DERTS heterogeneous device services dynamic environments ontologies (artificial intelligence) context information Internet service selection criteria service-oriented architecture service-oriented integration technology

来源：评论

学校读者我要写书评

暂无评论

QUALITY ASSURING SPECIFICATION AND DESIGN

引用

software engineering JOURNAL 1990年第1期5卷 11-26页

作者： KAPOSI, AA MYERS, M S BANK POLYTECH CTR SYST & SOFTWARE ENGNDEPT ELECT & ELECTR ENGNLONDON SE1 0AAENGLAND KAPOSI ASSOCIATES LONDON NW11 7NAENGLAND

Specification and design have a decisive influence over the quality of software and software-based systems. Much of the value of products is vested in the specification and in early phases of design. Yet the concepts of specification and design are poorly understood, and the practice of quality assurance of specifications, as products in their own right, has not been established. The paper defines the notions of specification and design and proposes a model that can be used in the measurement-based quality assurance of both. The model is illustrated in an example relating to a very simple communication system.

关键词： formal specification specification software reliability software engineering techniques software management Inspection and quality control quality control simple communication system software-based systems measurement-based quality assurance design

来源：评论

学校读者我要写书评

暂无评论

EXPOSE - AN ANIMATION TOOL FOR PROCESS-ORIENTED SPECIFICATIONS

引用

software engineering JOURNAL 1991年第6期6卷 463-475页

作者： WINSTANLEY, AC BUSTARD, DW UNIV ULSTER DEPT COMP SCICOLERAINE BT52 1SANORTH IRELAND QUEENS UNIV BELFAST DEPT COMP SCIBELFAST BT7 1NNANTRIMNORTH IRELAND CARNEGIE MELLON UNIV INST SOFTWARE ENGNPITTSBURGHPA 15213

This paper describes and evaluates EXPOSE, an animation tool for process-oriented formal specifications of concurrent systems. EXPOSE takes as input the text of a formal specification and, from it, generates static views (interpretations) of the specification structure and dynamic views of the behaviour of the system specified. The views are constructed and explored using the hypermedia facilities of the Apple Macintosh HyperCard system. EXPOSE has been implemented experimentally for LOTOS, but most of the animation concepts and techniques described are relevant to other process-oriented languages, such as CCS and CSP.

关键词： software tools formal specification software engineering techniques CCS dynamic views static views animation concepts process-oriented languages hypermedia facilities animation tool CSP EXPOSE concurrent systems Other DBMS Apple Macintosh HyperCard system Programming support computer animation hypermedia specification structure process-oriented formal specifications LOTOS

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：