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

An approach to quality engineering of TTCN-3 test specifications

International Journal on Software Tools for Technology Transfer 2008年第4期10卷 309-326页

作者： Neukirchen, Helmut Zeiss, Benjamin Grabowski, Jens Software Engineering for Distributed Systems Group Institute for Computer Science University of Göttingen Lotzestr. 16-18 Göttingen 37083 Germany

Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to construct tests that are concise with respect to quality aspects such as maintainability or usability. The ISO/IEC standard 9126 defines a general software quality model that substantiates the term "quality" with characteristics and subcharacteristics. The domain of test specifications, however, requires an adaption of this general model. To apply it to specific languages such as TTCN-3, it needs to be instantiated. In this paper, we present an instantiation of this model as well as an approach to assess and improve test specifications. The assessment is based on metrics and the identification of code smells. The quality improvement is based on refactoring. Example measurements using our TTCN-3 tool TRex demonstrate how this procedure is applied in practise. © Springer-Verlag 2008.

关键词： computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

Instant-X: Towards a generic API for multimedia middleware

Instant-X: Towards a generic API for multimedia middleware

引用

2009 IEEE International Conference on Internet Multimedia Services Architecture and Applications, IMSAA 2009

作者： Elsholz, Jan-Patrick Schmidt, Holger Schober, Sven Hauck, Franz J. Kassler, Andreas Institute of Distributed Systems Ulm University Germany Computer Science Department Karlstads Universitet Sweden

ISBN: (纸本)9781424447923

The globalisation of our society leads to an increasing need for spontaneous communication. However, the development of such applications is a tedious and error-prone process. This results from the fact that in general only basic functionality is available in terms of protocol implementations and encoders/decoders. This leads to inflexible proprietary software systems implementing unavailable functionality on their own. In this work we introduce Instant-X, a novel component-based middleware platform for multimedia applications. Unlike related work, Instant-X provides a generic programming model with an API for essential tasks of multimedia applications with respect to signalling and data transmission. This API abstracts from concrete component implementations and thus allows replacing specific protocol implementations without changing the application code. Furthermore, Instant-X supports dynamic deployment, i.e., unavailable components can be automatically loaded at runtime. To show the feasibility of our approach we evaluated our Instant-X prototype regarding code complexity and performance. ©2009 IEEE.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Deterministic models of the physical layer through signal simulation 8

Deterministic models of the physical layer through signal si...

引用

8th EAI International Conference on Simulation Tools and Techniques, SIMUTOOLS 2015

作者： Maier, Daniel Moser, Steffen Slomka, Frank Institute of Embedded Systems/Real-Time Systems Faculty of Engineering and Computer Science and Psychology Ulm University Germany

ISBN: (纸本)9781631900792

Current wireless network simulators provide very detailed and deterministic models of the network protocol layers, whereas rather simple and stochastic models, based on the signal-to-noise ratio, are used for the simulation of the physical layer. Although this approach can be sufficient to study the behavior of different upper layer protocol variations, it prevents an easy alteration of the physical layer because a stochastic abstraction of the physical layer must be provided in advance. In particular, the simulation of distributed systems with physical layers that are designed to have several senders transmitting signals at the same time intentionally, is hardly possible with current approaches. A further problem of stochastic physical layer simulations is the fact that the radio channel's influence must also be carried out stochastically, which limits the advantage of accurate ray-optical channel models. We present a novel approach for the accurate simulation of the physical layer by utilizing existing software-defined radio implementations to create signals, to calculate interference and to decode signals. This technique enables us to simulate wireless networks holistically and, furthermore, we can fully exploit the possibilities of available ray-optical channel models. Copyright © 2015 ICST.

关键词： Wireless networks

来源：评论

学校读者我要写书评

暂无评论

Resource-oriented consistency analysis of engineering processes

Resource-oriented consistency analysis of engineering proces...

引用

14th International Conference on Enterprise Information systems, ICEIS 2012

作者： Bauer, Bernhard Eisenbarth, Thomas Frenzel, Christoph Honke, Benjamin Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg Augsburg Germany

ISBN: (纸本)9789898565105

A number of popular engineering processes and methodologies emerged over the past years which attracted interest in research and industry. For process enactment, enterprises have to match requirements of engineering processes with existing resources. Therefore, it has to be analyzed if employees have sufficient skills or if infrastructure has sufficient capabilities to match the requirements of a situational process. Both, maintaining a skill and resource database and matching requirements against this database are an enormously challenging and time-consuming task. Additionally, this matching has to be carried out regularly as employees join and leave the company and skills change over time. Based upon a formal, logical base, we present an approach that combines ontological and metamodeling technical spaces and enables an automatic analysis of engineering processes regarding the existence of necessary resources.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Demo abstract: Integrating symbolic execution with sensornet simulation for efficient bug finding

Demo abstract: Integrating symbolic execution with sensornet...

引用

8th ACM International Conference on embedded Networked Sensor systems, SenSys 2010

作者： Österlind, Fredrik Dunkels, Adam Sasnauskas, Raimondas Dustmann, Oscar Soria Wehrle, Klaus Swedish Institute of Computer Science Sweden Communication and Distributed Systems RWTH Aachen University Germany

ISBN: (纸本)9781450303446

High-coverage testing of sensornet applications is vital for pre-deployment bug cleansing, but has previously been difficult due to the limited set of available tools. We integrate the KleeNet symbolic execution engine with the COOJA network simulator to allow for straight-forward and intuitive high-coverage testing initiated from a simulation environment. A tight coupling of simulation and testing helps detect, narrow down, and fix complex interaction bugs in an early development phase. We demonstrate the seamless transition between COOJA simulation and KleeNet symbolic execution. Our framework enables future research in how highcoverage testing tools could be used in cooperationwith simulation tools. Copyright 2010 ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic generation and evolution of model transformations using ontology engineering space

Automatic generation and evolution of model transformations ...

引用

作者： Roser, Stephan Bauer, Bernhard Programming of Distributed Systems Institute of Computer Science University of Augsburg Augsburg D-86135 Germany

ISBN: (纸本)3540921478

Model-driven software development facilitates faster and more flexible integration of information and communication systems. It divides system descriptions into models of different view points and abstraction levels. To effectively realize cross-organisational collaborations, it is an important prerequisite to exchange models between different modelling languages and tools. Knowledge is captured in model transformations, which are continuously adjusted to new modelling formats and tools. However, interoperability problems in modelling can hardly be overcome by solutions that essentially operate at syntactical level. This paper presents a novel approach using the capabilities of semantic technologies in order to improve cross-organisational modelling by automatic generation and evolution of model transformations. © 2008 Springer Berlin Heidelberg.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Growth- and entropy-based SOA measurement: Vision and approach in a large scale environment

Growth- and entropy-based SOA measurement: Vision and approa...

引用

Joint Conference of the 21st International Workshop on Software Measurement, IWSM 2011 and the 6th International Conference on Software Process and Product Measurement, MENSURA 2011

作者： Fiegler, Anja Dumke, Reiner R. Faculty of Computer Science Institute for Distributed Systems Otto von Guericke University Magdeburg Germany

ISBN: (纸本)9780769544977

Service-oriented architectures (SOA) can be considered as an enabling methodology for Cloud Computing and the IT's industrialization, standardization and commodity approach. The efforts to effectively introduce SOA were driven by the evermore increasing complexity and volume of information to be consumed. This paper discusses in this context some major quality characteristics of SOA systems and new measurement approaches, considering complex IT systems and digital ecosystems. This approach is based on growth models related to SOA's reference architecture as well as diversity and entropy. On a field test certain metrics are applied to a real large scale SOA system. As a result some major and important characteristics of the SOA system can be proven and weak structures in services orchestrations exposed. © 2011 IEEE.

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

On the Integration of Adaptive and Interactive Robotic Smart Spaces

引用

Paladyn 2015年第1期6卷 165-179页

作者： Dragone, Mauro Saunders, Joe Dautenhahn, Kerstin Distributed System Group School of Computer Science and Statistics Trinity College Dublin Ireland Adaptive Systems Research Group Science and Technology Research Institute University of Hertfordshire United Kingdom

Enabling robots to seamlessly operate as part of smart spaces is an important and extended challenge for robotics R&D and a key enabler for a range of advanced robotic applications, such as AmbientAssisted Living (AAL) and home automation. The integration of these technologies is currently being pursued from two largely distinct view-points: On the one hand, people-centred initiatives focus on improving the user's acceptance by tackling human-robot interaction (HRI) issues, often adopting a social robotic approach, and by giving to the designer and-in a limited degree-to the final user(s), control on personalization and product customisation features. On the other hand, technologically-driven initiatives are building impersonal but intelligent systems that are able to pro-actively and autonomously adapt their operations to fit changing requirements and evolving users' needs, but which largely ignore and do not leverage human-robot interaction and may thus lead to poor user experience and user acceptance. In order to inform the development of a new generation of smart robotic spaces, this paper analyses and compares different research strands with a view to proposing possible integrated solutions with both advanced HRI and online adaptation capabilities. © 2015 Mauro Dragone et al.

关键词： Human robot interaction

来源：评论

学校读者我要写书评

暂无评论

RTnet: A distributed real-time protocol for broadcast-capable networks

RTnet: A distributed real-time protocol for broadcast-capabl...

引用

Joint International Conference on Autonomic and Autonomous systems and International Conference on Networking and Services, 2005. ICAS-ICNS 2005

作者： Hanssen, Ferdy Jansen, Pierre G. Scholten, Hans Mullender, Sape Distributed and Embedded Systems Group Faculty of Electrical Engineering Mathematics and Computer Science University of Twente PO-Box 217 7500 AE Enschede Netherlands

ISBN: (纸本)0769524508

RTnet is a distributed real-time network protocol, to be used on fully-connected local area networks with a broadcast capability. It supports on-the-fly addition and removal of network nodes, resource-lavish and resource-lean devices, streaming real-time and regular non-real-time traffic. It allows the use of standard real-time scheduling paradigms to control network traffic, allows dynamic scheduling and is flexible in stream handling. The design is presented, together with measurement results of an experiment with an implementation on top of Ethernet. © 2005 IEEE.

关键词： Telecommunication networks

来源：评论

学校读者我要写书评

暂无评论

City Models: Past, Present and Future Prospects

arXiv

引用

arXiv 2025年

作者： Ritter, Helge Herzog, Otthein Rothermel, Kurt Cohn, Anthony G. Wu, Zhiqiang College of Architecture and Urban Planning Tongji University 1239 Siping Road Shanghai200092 China Faculty of Technology Bielefeld University Universitätsstr.25 Bielefeld33615 Germany Institute of Parallel and Distributed Systems University of Stuttgart Universitätsstr. 38 Stuttgart70569 Germany FB 03 University of Bremen Bibliotheksstr. 5 Bremen28539 Germany School of Computer Science University of Leeds LeedsLS2 9JT United Kingdom The Alan Turing Institute LondonNW1 2DB United Kingdom

This paper attempts to take a comprehensive look at the challenges of representing the spatio-temporal structures and dynamic processes that define a city’s overall characteristics. For the task of urban planning and urban operation, we take the stance that even if the necessary representations of these structures and processes can be achieved, the most important representation of the relevant mindsets of the citizens are, unfortunately, mostly neglected. After a review of major "traditional" urban models of structures behind urban scale, form, and dynamics, we turn to major recent modeling approaches triggered by recent advances in AI that enable multimodal generative models. Some of these models can create representations of geometries, networks and images, and reason flexibly at a human-compatible semantic level. They provide huge amounts of knowledge extracted from huge collections of text and image documents and cover the required rich representation spectrum including geographic knowledge by different knowledge sources, degrees of granularity and scales. We then discuss what these new opportunities mean for coping with the modeling challenges posed by cities, in particular with regard to the role and impact of citizens and their interactions within the city infrastructure. We propose to integrate these possibilities with existing approaches, such as agent-based models, which opens up new modeling spaces including rich citizen models which are able to also represent social interactions. Finally, we put forward some thoughts about a vision of a "social AI in a city ecosystem" that adds relevant citizen models to state-of-the-art structural and process models. This extended city representation will enable urban planners to establish citizen-oriented planning of city infrastructures, to make them into inviting environments that reconcile and foster human culture, city resilience and sustainability. © 2025, CC BY-NC-ND.

关键词： Digital elevation model

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：