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

IEEE International workshop on Source Code Analysis and Manipulation

作者： Tiago L. Alves Jurriaan Hage Peter Rademaker University of Minho Portugal University of Utrecht Netherlands

When analyzing software systems we face the challenge of how to implement a particular analysis for different programming languages. A solution for this problem is to write a single analysis using a code query language, abstracting from the specificities of languages being analyzed. Over the past ten years many code query technologies have been developed, based on different formalisms. Each technology comes with its own query language and set of features. To determine the state of the art of code querying we compare the languages and tools for seven code query technologies: Grok, Rscript, JRelCal, Semmle Code, JGraLab, CrocoPat and JTransformer. the specification of a package stability metric is used as a running example to compare the languages. the comparison involves twelve criteria, some of which are concerned with properties of the query language (paradigm, types, parametrization, polymorphism, modularity, and libraries), and some of which are concerned with the tool itself (output formats, interactive interface, API support, interchange formats, extraction support, and licensing). We contextualize the criteria in two usage scenarios: interactive and tool integration. We conclude that there is no particularly weak or dominant tool. As important improvement points, we identify the lack of library mechanisms, interchange formats, and possibilities for integration with source code extractors.

关键词： Database languages Measurement Software Licenses Educational institutions Java

来源：评论

学校读者我要写书评

暂无评论

Analyzing the Effect of Preprocessor Annotations on Code Clones

Analyzing the Effect of Preprocessor Annotations on Code Clo...

引用

IEEE International workshop on Source Code Analysis and Manipulation

作者： Sandro Schulze Elmar Jurgens Janet Feigenspan University of Magdeburg Germany Technische Universität München Germany

the C preprocessor cpp is a powerful and language-independent tool, widely used to implement variable software in different programming languages (C, C++) using conditional compilation. Preprocessor annotations can used on different levels of granularity such as functions or statements. In this paper, we investigate whether there is a relation between code clones and preprocessor annotations. Specifically, we address the question whether the discipline of annotation has an effect on code clones. To this end, we perform a case study on fifteen different C programs and analyze them regarding code clones and #ifdef occurrences. We found only minor effects of annotations on code clones, but a relationship between annotations that align with the code structure (and code clones). With this work, we provide new insights why code clones occur in C programs. Furthermore, the results can support the decision whether or not it is beneficial to remove clones.

关键词： Cloning Synchronization Algorithm design and analysis XML programming Software systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings of 11th workshop Nazionale "Dagli Oggetti agli Agenti", WOA 2010

Proceedings of 11th Workshop Nazionale "Dagli Oggetti agli A...

引用

11th workshop on Objects to Agents, WOA 2010

the proceedings contain 24 papers. the topics discussed include: multi-agent systems in the industry three notable cases in Italy;towards an application of graph structure analysis to a MAS-based model of proxemic distances in pedestrian systems;a methodology to extend imperative languages with AgentSpeak declarative constructs;exploiting agent-oriented programming for developing Android applications;towards an agent-based proxemic model for pedestrian and group dynamic;programming open systems with agents, environments and organizations;a multiscale agent-based model of morphogenesis in biological systems;a multi-agent implementation of social networks;towards a flexible development framework for multi-agent systems;peer-to-peer delegation for accessing web services;a self-organising infrastructure for chemical-semantic coordination: experiments in TuCSoN;and a self-organising system for resource finding in large-scale computational grids.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented languages

A Dialogue Games Framework for the Operational Semantics of ...

引用

11th International workshop on Computational Logic in Multi-Agent systems

作者： Costantini, Stefania Tocchio, Arianna Univ Aquila Dipartimento Informat I-67010 Laquila Italy

ISBN: (纸本)9783642149764

We propose an approach to the operational semantics aimed at describing the behavior of an interpreter (or, anyway, of an implementation) of agent-oriented logic programming languages. We define a formal dialogue game framework that focuses on rules of dialogue that the players of the game, i.e., the components of the language interpreter, can be assumed to adopt in playing an "innocent" game that finalized to creating the interpreter behavior. the approach leads to a natural, uniform and modular way of modeling all the components of an interpreter, including the communication component and the communication protocol, and allows several properties to be formally proved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

From Organisation Specification to Normative programming in Multi-Agent Organisations

From Organisation Specification to Normative Programming in ...

引用

11th International workshop on Computational Logic in Multi-Agent systems

作者： Huebner, Jomi F. Boissier, Olivier Bordini, Rafael H. Univ Fed Santa Catarina Dept Automat & Syst Engn BR-88040900 Florianopolis SC Brazil Ecole Natl Super Mines St Etienne France Univ Fed Rio Grande do Sul R-90046900 Porto Alegre RS Brazil

ISBN: (纸本)9783642149764

In this paper, we show how we can automatically translate high-level organisation modelling languages into simpler languages based on the idea of normative programming. With this approach, while designers and agents still use a highly abstract organisational modelling language to specify and reason about the multi-agent organisation, the development of the organisation management infrastructure is facilitated in the following manner. the high-level organisation specification is automatically translated into a simple normative programming language that we have recently introduced and for which we have given formal semantics. the organisation management infrastructure can then be based on an interpreter for the simpler normative language. We illustrate the approach showing how MOISE's organisation modelling language (with primitives such as roles, groups, and goals) can be translated into our normative programming language (with primitives such as norms and obligations). We briefly describe how this all has been implemented on top of ORA4MAS, the distributed artifact-based organisation management infrastructure for MOISE.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

An Agent Language with Destructive Assignment and Model-theoretic Semantics

An Agent Language with Destructive Assignment and Model-Theo...

引用

11th International workshop on Computational Logic in Multi-Agent systems

作者： Kowalski, Robert Sadri, Fariba Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England

ISBN: (纸本)9783642149764

In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. the language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive assignment to manipulate a database, which represents the current state of the environment. the language builds upon the ALP combination of logic programs, to represent an agent's beliefs, and integrity constraints, to represent the agent's goals. Logic programs are used to define macro-actions, intensional predicates, and plans to reduce goals to sub-goals including actions. Integrity constraints are used to represent reactive rules, which are triggered by the current state of the database and recent agent actions and external events. the execution of actions and the assimilation of observations generate a sequence of database states. In the case of the successful solution of all goals, this sequence, taken as a whole, determines a model that makes the agent's goals and beliefs all true.

关键词： abductive logic programming agent languages model-theoretic semantics

来源：评论

学校读者我要写书评

暂无评论

SPLST 2009 and NW-MODE 2009 - Proceedings of 11th Symposium on programming languages and Software Tools and 7th Nordic workshop on Model Driven Software Engineering

SPLST 2009 and NW-MODE 2009 - Proceedings of 11th Symposium ...

引用

11th Symposium on programming languages and Software Tools and 7th Nordic workshop on Model Driven Software Engineering, SPLST 2009 and NW-MODE 2009

ISBN: (纸本)9789521522123

the proceedings contain 26 papers. the topics discussed include: how do you know? (that you have the right architecture);modeling at Ericsson - experiences and challenges;semi-automatic test case generation from business process models;code clones: good, bad, or ugly?;guidelines for JavaScript programs: are they still necessary?;scalability of parallel workloads: the effects of granularity and scheduling in video processing;towards more sophisticated access control;towards fully-fledged reverse inheritance in Eiffel;good to know about the efficiency of state space methods;restructuring erlang programs using function related refactorings;generative approach for extending computer role-playing games at run-time;and discovering a pattern language for embedded machine control systems using architecture evaluation methods.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On the Expressiveness of Communication Channels for Object Nets

引用

FUNDAMENTA INFORMATICAE 2009年第1-3期93卷 205-219页

作者： Koehler-Bussmeier, Michael Heitmann, Frank Univ Hamburg Dept Informat D-22527 Hamburg Germany Univ Hamburg Dept Comp Sci D-22527 Hamburg Germany

In this work we present object net systems, i.e. Petri nets with nets as token objects, which are equipped with channels that allow to transfer net-tokens in the vertical dimension of the nested marking. these channels are a modelling element powerful enough to describe a direct simulation of counter programs which shows that typical net problems like boundedness, coverability, and reachability are undecidable.

关键词： PETRI nets COMPUTER software programming languages (Electronic computers) GRAPH theory NETS (Mathematics)

来源：评论

学校读者我要写书评

暂无评论

A modeling language for specifying and visualizing measurement systems for software metrics 11

A modeling language for specifying and visualizing measureme...

引用

11th Symposium on programming languages and Software Tools and 7th Nordic workshop on Model Driven Software Engineering, SPLST 2009 and NW-MODE 2009

作者： Staron, Miroslaw Meding, Wilhelm IT University of Göteborg Göteborg Sweden Ericsson Software Research Ericsson AB Sweden

ISBN: (纸本)9789521522123

Using metrics in software engineering usually entails developing custom measurement systems dedicated for particular stakeholders (project, product, and line managers). As processes for collecting, analyzing and presenting metrics are usually not the main goal of software development companies, these processes should be as efficient as possible and so should be the development of measurement systems. In this paper we present a domain specific modeling language for modeling and developing measurement systems which makes the processes efficient. the efficiency is achieved by automatically generating measurement systems from the models of metrics (used when identifying important metrics together with stakeholders). the language has been successfully applied in industry and its use lead to significant productivity improvements when developing measurement systems at Ericsson. By providing the possibility of using either formalized language in MS Visual Studio or an informal notation in MS PowerPoint (reducing the need for specialized training) the language contributed to spreading the metric culture in the organization. © 2018 SPLST 2009 and NW-MODE 2009 - Proceedings of 11th Symposium on programming languages and Software Tools and 7th Nordic workshop on Model Driven Software *** Rights Reserved.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Towards fully-fledged reverse inheritance in Eiffel 11

Towards fully-fledged reverse inheritance in Eiffel

引用

11th Symposium on programming languages and Software Tools and 7th Nordic workshop on Model Driven Software Engineering, SPLST 2009 and NW-MODE 2009

作者： Sakkinen, Markku Lahire, Philippe Chiril, Ciprian-Bogdan Department of Computer Science and Information Systems University of Jyväskylä United States I3S Laboratory University of Nice - Sophia Antipolis CNRS France Politehnica University of Timisoara Romania

ISBN: (纸本)9789521522123

Generalization is common in object-oriented modelling. It would be useful in many situations also as a language mechanism, reverse inheritance, but there have been only few detailed proposals for that. this paper defines reverse inheritance as a true inverse of ordinary inheritance, without changing anything else in the language that is extended. Eiffel is perhaps the most suitable language for that purpose because of its flexible inheritance principles. Moreover, there exists good previous work on Eiffel, on which we have built. We describe the most important aspects of our extension, whose details proved to be more difficult than we had assumed. It would be easier if some modifications were made to Eiffel's ordinary inheritance, or if one designed a new language. © 2018 SPLST 2009 and NW-MODE 2009 - Proceedings of 11th Symposium on programming languages and Software Tools and 7th Nordic workshop on Model Driven Software *** Rights Reserved.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：