The proceedings contain 20 papers. The topics discussed include: instance pointcuts - selecting object sets based on their usage history;fork/join parallelism in the wild: documenting patterns and anti-patterns in jav...
ISBN:
(纸本)9781450330640
The proceedings contain 20 papers. The topics discussed include: instance pointcuts - selecting object sets based on their usage history;fork/join parallelism in the wild: documenting patterns and anti-patterns in java programs using the fork/join framework;efficient code management for dynamic multi-tiered compilation systems;habanero-java library: a java 8 framework for multicore programming;side effect monitoring for java using bytecode rewriting;selective regression testing for web applications created with Google web toolkit;an object storage model for the truffle language implementation framework;fast java profiling with scheduling-aware stack fragment sampling and asynchronous analysis;and comparing points-to static analysis with runtime recorded profiling data.
The (commercial) space market is becoming more and more driven by the need for powerful, reliable yet cost-effective solutions and building blocks. Typically the on-board software domain requires reliable and validate...
详细信息
ISBN:
(纸本)9781624102219
The (commercial) space market is becoming more and more driven by the need for powerful, reliable yet cost-effective solutions and building blocks. Typically the on-board software domain requires reliable and validated building blocks, which for many years has been done on a project-by-project basis. However, in many small satellite programmes, the use of commercially available Operating systems and libraries has started to emerge along with a specific need to be able to build a set of generic building blocks that can be used throughout different platforms with low qualification costs. Moreover, the trust in non-space related tools and libraries is growing, as the experience of a large user community is increasingly considered more valuable than a costly project-specific qualification. This paper describes FOBOS, a new Real-Time Operating System (RTOS) for space projects that offers the benefits from the improvements in commercially available development tools and object-oriented languages (C++), whilst providing a reliable core. It also allows for easy integration of user libraries that share both generic and programme-specific properties. An example of this is the creation of a PUS-support library that simplifies user development while maintaining direct compatibility with established infrastructure and standards for satellite and payload operations.
The increasing interest about the Internet of Things (IoT) is almost as remarkable than its practical absence in our everyday lives. Announced as the new breakthrough in IT industry, the domain is characterized by a l...
详细信息
We propose a layered and component based software architecture, which generates semantic software applications, for the purpose of delivering personalized services for residents in Self-Care Homes (SeCH). The architec...
详细信息
ISBN:
(纸本)9781479925049
We propose a layered and component based software architecture, which generates semantic software applications, for the purpose of delivering personalized services for residents in Self-Care Homes (SeCH). The architectural core layers accommodate software components which grasp and understand the semantic of various situations we may encounter in SeCH, through a variety of cyber-physical objects which co-exist in pervasive environments used in monitoring SeCH residents. The decision making on appropriate actions in SeCH is based on reasoning created by SWRL enabled OWL ontologies to ensure that in any situation, residents are delivered suitable and personalized healthcare services. The ASeCS architecture has been deployed through component based Java technologies, and uses OWL-API in order to seamlessly incorporate reasoning into software applications. ASeCS is SeCH specific, but provides a window of opportunities for creating modern and flexible software solutions for pervasive healthcare, where decision making solely depends on OWL/SWRL enabled computations.
The vision of the MDSD is an era of software engineering where modelling completely replaces programming i.e. the systems are entirely generated from high-level models, each one specifying a different view of the same...
详细信息
ISBN:
(纸本)9781479943913
The vision of the MDSD is an era of software engineering where modelling completely replaces programming i.e. the systems are entirely generated from high-level models, each one specifying a different view of the same system. The MDSD can be seen as the new generation of visual programming languages which provides methods and tools to streamline the process of software engineering. Productivity of the development process is significantly improved by the MDSD approach and it also increases the quality of the resulting software system. The MDSD is particularly suited for those software applications which require highly specialized technical knowledge due to the involvement of complex technologies and the large number of complex and unmanageable standards. In this paper, an overview of the MDSD is presented;the working styles and the main concepts are illustrated in detail.
The proceedings contain 7 papers. The special focus in this conference is on Runtime Verification, Analysis and Aspect-oriented Software Development. The topics include: Run-time assertion checking of data- and protoc...
ISBN:
(纸本)9783642550980
The proceedings contain 7 papers. The special focus in this conference is on Runtime Verification, Analysis and Aspect-oriented Software Development. The topics include: Run-time assertion checking of data- and protocol-oriented properties of java programs;modularizing domain-specific crosscutting RV concerns;supporting methods, events, and advices by a single language construct;modularity and dynamic adaptation of flexibly secure systems;model-driven adaptive delegation in access control management;a typed monadic embedding of pointcuts and advice;modular specification and checking of structural dependencies and towards reactive programming for object-orientedapplications.
Oliveira and Cook (2012) and Oliveira et al. (2013) have recently introduced object algebras as a program structuring technique to improve the modularity and extensibility of programs. We analyze the relationship betw...
详细信息
Oliveira and Cook (2012) and Oliveira et al. (2013) have recently introduced object algebras as a program structuring technique to improve the modularity and extensibility of programs. We analyze the relationship between object algebras and attribute grammars (AGs), a formalism to augment context-free grammars with attributes. We present an extension of the object algebra technique with which the full class of L-attributed grammars - an important class of AGs that corresponds to one-pass compilers - can be encoded in Scala. The encoding is modular (attributes can be defined and type-checked separately), scalable (the size of the encoding is linear in the size of the AG specification) and compositional (each AG artifact is represented as a semantic object of the host language). To evaluate these claims, we have formalized the encoding and re-implemented a one-pass compiler for a subset of C with our technique. We also discuss how advanced features of modern AG systems, such as higher-order and parameterized attributes, reference attributes, and forwarding can be supported.
The proceedings contain 140 papers. The topics discussed include: service identification based on quality metrics - object-oriented legacy system migration towards SOA;automated metrics collection for IEC61131-3 langu...
The proceedings contain 140 papers. The topics discussed include: service identification based on quality metrics - object-oriented legacy system migration towards SOA;automated metrics collection for IEC61131-3 languages from engineering tools;GUIEvaluator: a metric-tool for evaluating the complexity of graphical user interfaces;performance and usability evaluation of a pattern-oriented parallel programming interface for multi-core architectures;performance benchmarking of BPEL engines: a comparison framework, status quo evaluation and challenges;a tool for trade-off resolution on architecture-centered software development;GreenRM: reference model for sustainable software development;towards automatic consistency checking between web application and its mobile application;an evolutionary methodology for optimized feature selection in software product lines;and creating proprietary terms using lightweight ontology: a case study on acquisition phase in a cyber forensic process.
The proceedings contain 31 papers. The topics discussed include: composable user-defined operators that can express user-defined literals;REScala: bridging between object-oriented and functional style in reactive appl...
ISBN:
(纸本)9781450327725
The proceedings contain 31 papers. The topics discussed include: composable user-defined operators that can express user-defined literals;REScala: bridging between object-oriented and functional style in reactive applications;FlowR: aspect orientedprogramming for information flow control in Ruby;assessing modularity using co-change clusters;blending and reusing rules for architectural degradation prevention;automated software remodularization based on move refactoring: a complex systems approach;context-oriented software engineering: a modularity vision;type names without static type checking already improve the usability of APIs (as long as the type names are correct): an empirical study;an empirical study on how developers reason about module cohesion;AspectJML: modular specification and runtime checking for crosscutting contracts;and probabilistic model checking for energy analysis in software product lines.
暂无评论