80 research outputs found
Introduction - The LDTA tool challenge
\u3cp\u3eCompilers are one of the cornerstones of Computer Science and in particular for Software Development. Compiler research has a long tradition and is very mature. Nevertheless, there is hardly any standardization with respect to formalisms and tools for developing compilers. Comparison of formalisms and tools to describe compilers for languages is not a simple task. In 2011 the Language Descriptions Tools and Applications community created a challenge where formalisms and tools were to be used in constructing a compiler for the Oberon-0 language. This special issue presents the tool challenge, the Oberon-0 language, various solutions to the challenge, and some conclusions. The aim of the challenge was to develop the same compiler using different formalisms to learn about these approaches in a concrete setting.\u3c/p\u3
Design of a proof repository architecture
In this paper, we introduce a proof repository architecture to build a library of proofs for first-order theorems constructed by several theorem provers. The architecture is not fixed as such, but is configured by the user. It consists of three types of components, that allow us to connect theorem provers, store proofs and manage the connections between them. These components allow for many setups, like a local database of theorems, an interconnected series of databases of systems, interconnecting many theorem provers, using a theorem prover in a client-server architecture, Software As Service etc
ATerms for manipulation and exchange of structured data : it's all about sharing
Some data types are so simple that they tend to be reimplemented over and over again. This is certainly true for terms, tree-like data structures that can represent prefix formulae, syntax trees, intermediate code, and more. We first describe the motivation to introduce Annotated Terms (ATerms): unifying several term formats, optimizing storage requirements by introducing maximal subterm sharing, and providing a language-neutral exchange format. Next, we present a brief overview of the ATerm technology itself and of its wide range of applications. A discussion of competing technologies and the future of ATerms concludes the paper
Foreword to Special issue
AbstractForewordThis volume contains the Proceedings of the First Workshop on Language Descriptions, Tools and Applications (LDTA'01). The Workshop was held in Genova, Italy on April 7, 2001, as satellite event to ETAPS'2001.This is the first edition of the Workshop on Language Descriptions, Tools and Applications. It is a combination of the “Workshop on Attribute Grammars and their Applications” and the former ASF+SDF workshops. Both workshop series had as theme the description of (programming) languages and the development and/or generation of tools for these languages based on formal descriptions. With this new workshop we hope to achieve a cross-fertilization of research in this area by bringing together researchers from various schools (attribute grammars, algebraic approaches, action semantics, operational semantics, and denotational semantics) working on language descriptions. The workshop also aims at bringing together people from the theoretical side as well as people who develop tools and work on applications.The LDTA'2001 program consists of 9 papers, which were selected from 18 submissions, one invited talk by Paul Klint on “Collaborative Development of Interactive Language Processing Tools”, and 4 tool demonstrations. The selected papers cover a broad range of themes like: object oriented tree traversal and attribute grammars, action semantics, rewriting engines, document transformation, and the use of XML and JAVA in combination with attribute grammars. The tool demonstrations include presentations of the ASF+SDF Meta-Environment, SmartTools, Stratego, and an action semantics environment.The papers in this volume were reviewed by the program committee consisting of
Isabelle Attali(INRIA Sophia Antipolis)Mark van den Brand(CWI Amsterdam)Görel Hedin(Lund University)Jan Heering(CWI Amsterdam)Pierre-Etienne Moreau(LORIA Nancy)Marjan Mernik(University of Maribor)Peter D. Mosses(BRICS Aarhus)Didier Parigot(INRIA Sophia Antipolis)Günter Riedewald(University of Rostock)Eelco Visser(Utrecht University)David Watt(University of Glasgow)This volume will be published as volume 44-2 in the series Electronic Notes in Theoretical Computer Science (ENTCS). This series is published electronically through the facilities of Elsevier Science B.V. and its auspices. The volumes in the ENTCS series can be accessed at the URL http://www.elsevier.nl/locate/entcsWe would like to thank the program committee members for their help in evaluating the papers and making a scientifically interesting selection. Furthermore, we would like to thank the ETAPS organizing committee for taking care of the local organization of our workshop. We thank Elsevier for publishing these proceedings in the Electronic Notes in Theoretical Computer Science (ENTCS). Finally, we thank Professor Michael Mislove for providing and adapting the style files for ENTCS.Mark van den Brand and Didier ParigotJune, 200
Metrics design for safety assessment
\u3cp\u3eContext:In the safety domain, safety assessment is used to show that safety-critical systems meet the required safety objectives. This process is also referred to as safety assurance and certification. During this procedure, safety standards are used as development guidelines to keep the risk at an acceptable level. Safety-critical systems can be assessed according to those safety standards. Objective:Due to the manual work, safety assessment processes are costly, time consuming, and hard to be estimated. The goal of this paper is to design metrics for safety assessment. These metrics can, for instance, identify costly processes in the safety assessment process. In this paper we propose a methodology to design metrics for safety assessment from different perspectives. For the demonstration and validation of our method, we focus on safety assessment in the automotive domain (ISO 26262). Method:Metrics can be identified by answering three questions. Three different sources of information have been identified for obtaining metrics: industrial interests, safety standards, and available data. For each of these sources appropriate methods have been proposed and used for obtaining the relevant metrics. These methods include GQM-based surveys, PSM-based procedure, and brainstorming. For the validation, the ISO 26262 standard has been studied for obtaining safety standard related metrics. Results:A case study in the context of the European project OPENCOSS is carried out to demonstrate the method. Finally, there are 76 metrics obtained and a validation of these metrics has been done by means of a survey amongst 24 experts from 13 project partners. Conclusion:It can be concluded that metrics for safety assessment can be derived from three sources. Different methods for designing metrics have to be used for each source. The validation shows that most of the relevant metrics are useful for industry.\u3c/p\u3
Applying architecture preservation core for product line stretching
The product line engineering approach is receiving a broad interest to decrease the cost of development and time to market, and to increase product quality as software becomes more and more important for companies in all markets. Although a significant amount of research has been done to define a method for introducing product line engineering in an organization, these methods are limited when a product line stretches over time. When stretching a product line, the evolution of a product line and its products may require fundamental change of the software architecture and consequently result in discontinuous evolutions. In this paper, we discuss the issues of software architecture with respect to discontinuing evolution and present an economic model based on the architecture preservation core concept to influence the product line stretching decision
Theil index for aggregation of software metrics values
We propose a new approach to aggregating software metrics from the micro-level of individual artifacts (e.g., methods, classes and packages) to the macro-level of the entire software system. The approach, Theil index, is a well-known econometric measure of inequality. The Theil index allows to study the impact of different categorizations of the artifacts, e.g., based on the development technology or developers' teams, on the inequality of the metrics values measured. We apply the Theil index in a series of experiments. We have observed that the Theil index and the related notions provide valuable insights in organization and evolution of software systems, as well as in sources of inequality
Using metrics for assessing the quality of ATL model transformations
Model transformations play a pivotal role in model-driven engineering. Since they are in many ways similar to traditional software artifacts, they have to be treated similarly. Therefore, it is necessary to assess their quality. We propose to use metrics to assess various quality attributes of model transformations In this paper, we focus on model transformations created using ATL, which ATL is currently one of the most widely used model transformation formalisms. We have collected metrics data from a heterogeneous collection of seven model transformations. The quality of the same transformations has been evaluated manually by nineteen ATL experts. We assess whether the metrics are appropriate predictors for the quality attributes by correlating the metrics data with the expert data. To support or refute the correlations, we also acquired qualitative statements from the ATL experts. Although the study was intended as a first exploration of the relation between metrics and quality attributes, some significant correlations were found that are supported by statements of the participants
Embedded systemen : vooroplopen in moordende concurrentie
Embedded systemen bestaan uit hardware en software en sluiten
100 procent aan bij de topsector High Tech Systemen en Materialen.
Software engineering is essentieel voor embedded systemen – en we
blinken er in uit,’ zegt Mark van den Brand van de TU Eindhoven
naar aanleiding van het hoofdstuk How can embedded systems make our
environment smart? uit The scientific answer to the roadmap ICT for the top
sectors. Door Leendert van der En
- …