the proceedings contain 20 papers. the topics discussed include: ethical issues in data management;programming by examples: applications, algorithms, and ambiguity resolution;environments and the complexity of abstrac...
ISBN:
(纸本)9781450352918
the proceedings contain 20 papers. the topics discussed include: ethical issues in data management;programming by examples: applications, algorithms, and ambiguity resolution;environments and the complexity of abstract machines;conditional narrowing modulo SMT and axioms;attribute grammars with set attributes and global constraints as a unifying framework for planning domain models;shrink fast correctly!;function definitions for compound values in object-oriented languages;verifiable semantic difference languages;theory learning with symmetry breaking;copattern-matchings and first-class observations in OCaml, with a macro;practical evaluation of the lasp programming model at large scale - an experience report;selective unification in constraint logic programming;causally consistent reversible choreographies: a monitors-as-memories approach;machine fusion: merging merges, more or less;alpha-renaming of higher-order meta-expressions;characterization of strong normalizability for a sequent lambda calculus with co-control;defunctionalisation as modular closure conversion;a core calculus for provenance for provenance inspection;and expressive and strongly type-safe code generation.
Modern software systems are increasingly long-lived. In order to gracefully evolve these systems as they address new requirements, developers need to navigate effectively between domain concepts and the code that addr...
详细信息
ISBN:
(纸本)9783662496657;9783662496640
Modern software systems are increasingly long-lived. In order to gracefully evolve these systems as they address new requirements, developers need to navigate effectively between domain concepts and the code that addresses those domains. One of the original promises of object-orientation was that the same object-oriented models would be used throughout requirements analysis, design and implementation. Software systems today however are commonly constructed from a heterogeneous "language soup" of mainstream code and dedicated DSLs addressing a variety of application and technical domains. Has object-orientedprogramming outlived its purpose? In this essay we argue that we need to rethink the original goals of object-orientation and their relevance for modern software development. We propose as a driving maxim, "programming is Modeling," and explore what this implies for programming languages, tools and environments. In particular, we argue that: (1) source code should serve not only to specify an implementation of a software system, but should encode a queryable and manipulable model of the application and technical domains concerned;(2) IDEs should exploit these domain models to enable inexpensive browsing, querying and analysis by developers;and (3) barriers between the code base, the running application, and the software ecosystem at large need to be broken down, and their connections exploited and monitored to support developers in comprehension and evolution tasks.
Recent years have seen increasing success in building large formal proof developments using interactive theorem provers (ITPs). Some proofs have involved many authors, years of effort, and resulted in large, complex i...
详细信息
ISBN:
(纸本)9783662496657;9783662496640
Recent years have seen increasing success in building large formal proof developments using interactive theorem provers (ITPs). Some proofs have involved many authors, years of effort, and resulted in large, complex interdependent sets of proof "source code" files. Developing these in the first place, and maintaining and extending them afterwards, is a considerable challenge. It has prompted the idea of Proof Engineering as a new sub-field, to find methods and tools to help. It is natural to try to borrow ideas from Software Engineering for this. In this paper we investigate the idea of defining proof metrics by analogy with software metrics. We seek metrics that may help to monitor and compare formal proof developments, which might be used to guide good practice, locate likely problem areas, or suggest refactorings. Starting from metrics that have been proposed for object-oriented design, we define analogues for formal proofs. We show that our metrics enjoy reasonable properties, and we demonstrate their behaviour with some practical experiments, showing changes over time as proof developments evolve, and making comparisons across between different ITPs.
Image analysis is a key area in the computer vision domain that has many applications. Genetic programming (GP) has been successfully applied to this area extensively, with promising results. High-level features extra...
详细信息
ISBN:
(纸本)9783319306674;9783319306681
Image analysis is a key area in the computer vision domain that has many applications. Genetic programming (GP) has been successfully applied to this area extensively, with promising results. High-level features extracted from methods such as Speeded Up Robust Features (SURF) and Histogram of oriented Gradients (HoG) are commonly used for object detection with machine learning techniques. However, GP techniques are not often used withthese methods, despite being applied extensively to image analysis problems. Combining the training process of GP withthe powerful features extracted by SURF or HoG has the potential to improve the performance by generating high-level, domain-tailored features. this paper proposes a new GP method that automatically detects different regions of an image, extracts HoG features from those regions, and simultaneously evolves a classifier for image classification. By extending an existing GP region selection approach to incorporate the HoG algorithm, we present a novel way of using high-level features with GP for image classification. the ability of GP to explore a large search space in an efficient manner allows all stages of the new method to be optimised simultaneously, unlike in existing approaches. the new approach is applied across a range of datasets, with promising results when compared to a variety of well-known machine learning techniques. Some high-performing GP individuals are analysed to give insight into how GP can effectively be used with high-level features for image classification.
the proceedings contain 25 papers. the special focus in this conference is on Concurrent and Distributed Systems. the topics include: the death of object-orientedprogramming;automated choreography repair;a graph-base...
ISBN:
(纸本)9783662496640
the proceedings contain 25 papers. the special focus in this conference is on Concurrent and Distributed Systems. the topics include: the death of object-orientedprogramming;automated choreography repair;a graph-based semantics workbench for concurrent asynchronous programs;a formal framework for modeling hadoop YARN clusters;integrated environment for verifying and running distributed components;iterative and incremental model generation by logic solvers;automated model merge by design space exploration;automatic construction of variability-based model transformation rules;two-step transformation of model traversal EOL queries for large CDO repositories;cut branches before looking for bugs;the influences of edge instability on change propagation and connectivity in call graphs;modeling and abstraction of memory management in a hypervisor;crowdsourced bug triaging;model-based testing of probabilistic systems;an iterative decision-making scheme for markov decision processes and its application to self-adaptive systems;family-based modeling and analysis for probabilistic systems;statistical model checking of e-motions domain-specific modeling languages;towards formal proof metrics;reduction rules for colored workflow nets;many-valued institutions for constraint specification;a cafeOBJ interpreter in maude;on the formal correctness of an LTS transformation verification technique;hybrid session verification through endpoint API generation and partial variable assignment interpolatoR.
this paper deals withobjectoriented software implementation of the algorithms for transformation of the continuous-time linear systems to the discrete-time systems. these algorithms are used for displaying the basic...
详细信息
ISBN:
(纸本)9781467379397
this paper deals withobjectoriented software implementation of the algorithms for transformation of the continuous-time linear systems to the discrete-time systems. these algorithms are used for displaying the basic discrete-time systems characteristics: step response, impulse response and frequency response in PLC based tunnel simulator. State-space system representation and basic interconnection of the systems are also considered.
the proceedings contain 10 papers. the special focus in this conference is on programming Languages. the topics include: Automatic inference of loop complexity through polynomial interpolation;type inference for GADTs...
ISBN:
(纸本)9783319240114
the proceedings contain 10 papers. the special focus in this conference is on programming Languages. the topics include: Automatic inference of loop complexity through polynomial interpolation;type inference for GADTs and anti-unification;preserving lexical scoping when dynamically embedding languages;the dinamica virtual machine for geosciences;go model and objectorientedprogramming;an intrinsic denotational semantics for a lazy functional language;color flipping;deadlocks as runtime exceptions;model-driven engineering based on attribute grammars and composable memory transactions for java using a monadic intermediate language.
For many software engineers, object-oriented frameworks represent the highest level of achievement in extensible design. the framework designers become experts in a specific application domain and design cooperating c...
详细信息
Technological developments over the past decade have had a strong impact on education bringing significant opportunities for changing teaching models. this has led to an interest in the development of shareable, scala...
详细信息
Technological developments over the past decade have had a strong impact on education bringing significant opportunities for changing teaching models. this has led to an interest in the development of shareable, scalable and reusable learning objects. this paper builds on the ideas of Parrish (2004) and other recognised theorists in this area who suggest that the production of educational materials needs to promote adaptive learning strategies. We broaden Parrish's work by testing some of his propositions for objectoriented instructional design in the domain of information systems. the contribution of this paper is an extended set of principles for creating multimedia building blocks and aggregating them into learning objects as well as engaging students in the development process. the principles can be used for creating and reusing multimedia building blocks for teaching in many discipline areas. We illustrate the use of these principles by developing and testing a set of learning objects for learning programming. We find that the high cost of creating learning objects noted by Parrish can be ameliorated by using readily available software and Web 2.0 technologies. this approach supports academics developing learning objects without involving professional educational designers and without the added overhead of learning complex software packages.
the proceedings contain 34 papers. the topics discussed include: selecting research methods for studying a participatory culture in software development;supporting architecture documentation: a comparison of two ontol...
ISBN:
(纸本)9781450333504
the proceedings contain 34 papers. the topics discussed include: selecting research methods for studying a participatory culture in software development;supporting architecture documentation: a comparison of two ontologies for knowledge retrieval;an empirical analysis of the utilization of multiple programming languages in open source projects;strategies for consistency checking on software product lines: a mapping study;predicting concurrency bugs: how many, what kind and where are they?;a cross-platform analysis of bugs and bug-fixing in open source projects: desktop vs. android vs. iOS;applying clustering to analyze opinion diversity;problems and challenges of user involvement in software development: an empirical study;and fault density analysis of object-oriented classes in presence of code clones.
暂无评论