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

Reachability-based acyclicity analysis by Abstract Interpretation

THEORETICAL COMPUTER SCIENCE 2013年 474卷 60-79页

作者： Genaim, Samir Zanardini, Damiano Univ Complutense Madrid E-28040 Madrid Spain Tech Univ Madrid Madrid Spain

In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of termination and resource usage (e.g., execution time or memory consumption). For instance, this information guarantees that the depth of the data structure to which x points is greater than the depth of the data structure pointed to by x.f for any field f of x. This, in turn, allows bounding the number of iterations of a loop which traverses the structure by its depth, which is essential in order to prove the termination or infer the resource usage of the loop. The present paper provides an Abstract-Interpretation-based formalization of a static analysis for inferring acyclicity, which works on the reduced product of two abstract domains: reachability, which models the property that the location pointed to by a variable w can be reached by dereferencing another variable v (in this case, v is said to reach w);and cyclicity, modeling the property that v can point to a cyclic data structure. The analysis is proven to be sound and optimal with respect to the chosen abstraction. (C) 2012 Elsevier B.V. All rights reserved.

关键词： Abstract interpretation Acyclicity analysis Termination analysis object-oriented programming Heap manipulation

来源：评论

学校读者我要写书评

暂无评论

Empirical study of software component integration process activities

引用

IET SOFTWARE 2013年第2期7卷 65-75页

作者： Mahmood, Sajjad King Fahd Univ Petr & Minerals Dept Informat & Comp Sci Dhahran 31261 Saudi Arabia

The component integration phase is key to component-based system (CBS) success because of its profound impact on the quality of a software product. However, CBS integration is a complex phase because it is rarely the case that components are perfectly matched and ready for 'plug and play'. The component integration phase involves assembling pre-existing software components usually developed by different parties, and writing glue-code to handle the mismatches between CBS-to-be requirements and available component features. The objective of the study is to gain an in-depth understanding of the impact of integration process activities on the overall success of a CBS. The empirical study also investigates the inter-dependency between the CBS integration process activities. A survey was developed and data from CBS practitioners working in small-to-medium-sized organisations were collected. The results show that 'component functional specification', 'structural compatibility analysis', 'architectural model development' and 'early glue-code specification' are integration process activities that have positive correlation with the successful development of a CBS. However, the results indicate that the 'quality properties analysis' is not carried out as an integration process activity by the majority of CBS practitioners during development of a CBS. Furthermore, the results of the survey also provide empirical evidence that there is a positive association between various key CBS integration process activities.

关键词： object-oriented programming small-to-medium enterprises software component integration process activity component integration phase component based system software product quality small to medium sized organisation component functional specification structural compatibility analysis architectural model development glue code specification quality property analysis CBS integration process activity object-oriented programming small-to-medium enterprises software component integration process activity component integration phase component based system software product quality small to medium sized organisation component functional specification structural compatibility analysis architectural model development glue code specification quality property analysis CBS integration process activity

来源：评论

学校读者我要写书评

暂无评论

Early performance assessment in component-based software systems

引用

IET SOFTWARE 2013年第2期7卷 118-128页

作者： Karimpour, Jaber Isazadeh, Ayaz Izadkhah, Habib Univ Tabriz Fac Math Sci Dept Comp Sci Tabriz Iran

Most techniques used to assess the qualitative characteristics of software are done in testing phase of software development. Assessment of performance in the early software development process is particularly important to risk management. Software architecture, as the first product, plays an important role in the development of the complex software systems. Using software architecture, quality attributes (such as performance, reliability and security) can be evaluated at the early stages of the software development. In this study, the authors present a framework for taking the advantages of architectural description to evaluate software performance. To do so, the authors describe static structure and architectural behaviour of a software system as the sequence diagram and the component diagram of the Unified Modelling Language (UML), respectively;then, the described model is automatically converted into the 'interface automata', which provides the formal foundation for the evaluation. Finally, the evaluation of architectural performance is performed using 'queuing theory'. The proposed framework can help the software architect to choose an appropriate architecture in terms of quality or remind him/her of making necessary changes in the selected architecture. The main difference among the proposed method and other methods is that the proposed method benefits the informal description methods, such as UML, to describe the architecture of software systems;it also enjoys a formal and lightweight language, called 'interface automata' to provide the infrastructure for verification and evaluation.

关键词： automata theory object-oriented programming queueing theory software architecture software performance evaluation software quality Unified Modeling Language early performance assessment component-based software systems software qualitative characteristics testing phase early software development process risk management software architecture software performance evaluation static structure sequence diagram component diagram unified modelling language UML interface automata formal foundation queuing theory informal description methods formal language lightweight language software verification software reliability software security automata theory object-oriented programming queueing theory software architecture software performance evaluation software quality Unified Modeling Language early performance assessment component-based software systems software qualitative characteristics testing phase early software development process risk management software architecture software performance evaluation static structure sequence diagram component diagram unified modelling language UML interface automata formal foundation queuing theory informal description methods formal language lightweight language software verification software reliability software security

来源：评论

学校读者我要写书评

暂无评论

Modeling and visualizing object-oriented programs with Codecharts

引用

FORMAL METHODS IN SYSTEM DESIGN 2013年第1期43卷 1-28页

作者： Eden, A. H. Gasparis, E. Nicholson, J. Kazman, R. Univ Essex Sch Comp Sci & Elect Engn Colchester CO4 3SQ Essex England Univ Brighton Sch Comp Engn & Math Brighton E Sussex England Univ Hawaii Honolulu HI 96822 USA Carnegie Mellon Univ Inst Software Engn Pittsburgh PA 15213 USA

Software design, development and evolution commonly require programmers to model design decisions, visualize implemented programs, and detect conflicts between design and implementation. However, common design notations rarely reconcile theoretical concerns for rigor and minimality with the practical concerns for abstraction, scalability and automated verifiability. The language of Codecharts was designed to overcome these challenges by narrowing its scope to visual specifications that articulate automatically-verifiable statements about the structure and organization of object-oriented programs. The tokens in its visual vocabulary stand for the building-blocks of object-oriented design, such as inheritance class hierarchies, sets of dynamically-bound methods, and their correlations. The formalism was tailored for those pragmatic concerns which arise from modeling class libraries and design patterns, and for visualizing programs of any size at any level of abstraction. We describe design verification, a process of proving or refuting that a Java program (i.e. its native code) conforms to the Codechart specifying it. We also describe a toolkit which supports modeling and visualization with Codecharts, as well as a fully-automated design verification tool. We conclude with empirical results which suggest gains in both speed and accuracy when using Codecharts in software design, development and evolution.

关键词： Design notations and documentation object-oriented programming Patterns Design concepts

来源：评论

学校读者我要写书评

暂无评论

Computer Program for Multimodel Reliability and Optimization Analysis

引用

JOURNAL OF COMPUTING IN CIVIL ENGINEERING 2013年第1期27卷 87-98页

作者： Mahsuli, M. Haukaas, T. Univ British Columbia Dept Civil Engn Vancouver BC V6T 1Z4 Canada

A computer program is developed to carry out reliability and optimization analysis with many interconnected probabilistic models. The program is freely available online and it contains a library of versatile models. The user can also implement new models-without any recompilation of the program-by several means, including a powerful scripting option. Other novel features include a comprehensive parameterization that facilitates flexible and effective model communication and the computation of direct-differentiation response sensitivities in multimodel analysis. The new program has already been successfully employed for regional risk analysis with thousands of model objects and hundreds of random variables. This paper presents the software architecture and a multimodel example of a structure that is modeled in an external finite-element program and subjected to multiple hazards, damage, and long-term deterioration. DOI: 10.1061/(ASCE)CP.1943-5487.0000204. (C) 2013 American Society of Civil Engineers.

关键词： object-oriented programming Multimodel analysis Parameterization Probabilistic models Reliability analysis Optimization analysis Graphical user interface

来源：评论

学校读者我要写书评

暂无评论

A Sparse Linear Systems Implementation for Electric Power Systems Solution Algorithms

引用

JOURNAL OF CONTROL AUTOMATION AND ELECTRICAL SYSTEMS 2013年第4期24卷 504-512页

作者： de Araujo, Leandro Ramos Ribeiro Penido, Debora Rosana Rezende Pereira, Jose Luiz Carneiro, Sandoval, Jr. Univ Fed Juiz de Fora Elect Engn Dept Juiz De Fora Brazil Univ Fed Rio de Janeiro Elect Engn Dept Rio De Janeiro Brazil

This paper presents a new object-oriented programming algorithm, which is applied to determine the minimum degree elimination ordering and to solve sparse large scale electrical network problems. The main contribution of the proposed algorithm lies in the procedure to cluster nodes having the same degree, at each step of the ordering scheme. object-oriented programming (OOP) has been applied to insure a flexible and modular design. The proposed algorithm is compared to existing implementations in the literature and the results have shown its effectiveness.

关键词： Ordering schemes Sparse linear systems object-oriented programming Electrical power systems Large-scale power systems

来源：评论

学校读者我要写书评

暂无评论

SOFTWARE-HARDWARE SYSTEMS GENERATIVE AND COMPOSITION programming: ASPECTS OF DEVELOPING SOFTWARE SYSTEM FAMILIES

引用

CYBERNETICS AND SYSTEMS ANALYSIS 2013年第1期49卷 110-123页

作者： Lavrishcheva, K. M. Natl Acad Sci Ukraine Inst Program Syst Kiev Ukraine

This paper presents new models, methods, and tools developed as a part of a fundamental project in generative programming (GP). They include the theory of object-component programming, theory of interaction of programs, systems, and environments, an original technology of designing variable and high-quality systems and families out of ready-made reusable components, tools for supporting a spectrum of simple technologies for developing separate elements of system families and assembling them, ensuring of the interoperability of programs, systems, and environments, and an instrumental and technical GP complex for e-learning the C# and Java languages and a university course on software engineering.

关键词： generative programming component programming object-oriented programming software system family reusable components interaction variability instrumental and technological complex

来源：评论

学校读者我要写书评

暂无评论

Science Code .Net: object-oriented programming for science

引用

SCIENCE OF COMPUTER programming 2008年第3期71卷 242-247页

作者： Chung, Myung-Hoon Hongik Univ Coll Sci & Technol Shinan Li 339800 Choongnam South Korea

We propose an object-oriented programming library system for Science in a similar structure of NET framework. We call the system Science Code .Net. Presenting rules of thumb, we show how to enhance readability of Science Code .Net. As an initial progress, several namespaces have been constructed. We explain the structure of classes in each namespace. As a challenge to the programming community, a perspective view of Science Code .Net is discussed. (C) 2008 Elsevier B.V. All rights reserved.

关键词： object-oriented programming .NET C# framework design numerical recipes physical sciences

来源：评论

学校读者我要写书评

暂无评论

Reasoning with Qualitative Preferences to Develop Optimal Component-Based Systems

Reasoning with Qualitative Preferences to Develop Optimal Co...

引用

35th International Conference on Software Engineering (ICSE)

作者： Oster, Zachary J. Iowa State Univ Formal Methods & Verificat Grp Ames IA 50011 USA

ISBN: (纸本)9781467330763

To produce an optimal component-based software system for a given application, it is necessary to consider both the required functionality of the system and its stakeholders' preferences over various non-functional properties. We propose a new modular end-to-end framework for component-based system development that combines formal specification and verification of functional requirements with a novel method for representing and reasoning with stakeholders' qualitative preferences over properties of the system. This framework will facilitate the use of formal verification to ensure system correctness while making it easier to identify truly optimal component-based system designs.

关键词： formal specification object-oriented programming reasoning about programs

来源：评论

学校读者我要写书评

暂无评论

HybridFlow: Towards Intelligent Video Delivery and Processing Over Hybrid Infrastructures

HybridFlow: Towards Intelligent Video Delivery and Processin...

引用

International Conference on Collaboration Technologies and Systems (CTS)

作者： Dumitru, Cosmin Zhao, Zhiming Grosso, Paola de Laat, Cees Univ Amsterdam Syst & Network Engn Grp Amsterdam Netherlands

ISBN: (纸本)9781467364041;9781467364034

In this paper we present the architecture and the prototype implementation of HybridFlow, a system for processing and delivering very high definition video. It is designed to handle the challenges that arise in hybrid distributed infrastructures. It does so by implementing a number of software components that select and manage storage, computation and network resources in order to meet the Quality of Service levels desired by the user. One advantage our our system that has facilitated its adoption by CineGrid, an interdisciplinary community focused on the digital cinema domain, is that it shields the end user from the details of the IT infrastructure and allows users from different member organizations to use any resource available in the community. The dynamic nature of the infrastructure makes it susceptible to bottlenecks and our prototype focuses on determining I/O hotspots. At the core of the system lie resource descriptions based on semantic web ontologies that provide information about the existing resources. By using them, the resource selection process is optimized and in line with the application's estimated demands. In this work we focus on the I/O performance as a bottleneck type. We show how HybridFlow can be used in the typical scenario of a video processing pipeline to identify bottlenecks and work towards achieving the desired QoS levels while keeping resource utilization optimal.

关键词： cinematography distributed processing high definition video object-oriented programming ontologies (artificial intelligence) quality of service resource allocation semantic Web storage management video signal processing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：