this book constitutes the refereed proceedings of the 4thinternationalconference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. the 24 revised full papers presented together with 3 invi...
详细信息
ISBN:
(数字)9783642407871
ISBN:
(纸本)9783642407864
this book constitutes the refereed proceedings of the 4thinternationalconference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. the 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. the papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.
We prove a version of the Standardization theorem and the Discrete Normalization theorem in stable Deterministic Residual Structures, Abstract Reduction Systems with axiomatized notions of residual, which model orthog...
详细信息
the Lyee methodology allows the development of a software by simply defining its requirements. More precisely, a developer has only to provide words, calculation formulae, calculation conditions and layout of screens ...
详细信息
ISBN:
(纸本)9781586035563
the Lyee methodology allows the development of a software by simply defining its requirements. More precisely, a developer has only to provide words, calculation formulae, calculation conditions and layout of screens and printouts, and then leaves in the hands of the computer all subsequent troublesome programming process, i.e. control logic aspects. the formalization of Lyee methodology led to the definition of Lyee-Calculus, a formal process algebra, that easily and naturally supports the basic concepts of the Lyee methodology, Moreover, we provided an implementation of the constructs of the Lyee-Calculus in Java language in order to concretely show the efficiency of this calculus and its suitability for the Lyee methodology. In other words, this Java implementation of the Lyee-Calculus provides a means of bridging the gap between Lyee requirement specifications and their implementations. In this paper, we present a new software development environment, LyeeBuilder, that allows to automatically generate applications from specifications using a GUI interface. this software aims to give to programmers an environment that allows them to automatically generate applications from screens and word definitions.
this paper presents the emergence of the cooperative behavior for multiple robot agents by means of Genetic programming (GP). For this purpose, we utilize several extended mechanisms of GP, i.e., (1) a co-evolutionary...
详细信息
Object-oriented constraint programming (OOCP) combines two orthogonal but complementary programming paradigms into one-object-oriented programming (OOP) and logic constraint programming (LCP). Most practitioners of OO...
详细信息
ISBN:
(纸本)081868271X
Object-oriented constraint programming (OOCP) combines two orthogonal but complementary programming paradigms into one-object-oriented programming (OOP) and logic constraint programming (LCP). Most practitioners of OOCP would agree that the design of a constraint-based model is the most time consuming and difficult part of OOCP. there is currently no systematic approach or methodology to follow when designing a model suitable for OOCP. the paper outlines a simple methodology that extends traditional object-oriented analysis and design (OOAD) to cover constrained variables and constraints used in OOCP. the proposed OOCP Methodology is an initial investigation into providing a more rigid set of guidelines to follow when designing constraint-based models. the paper presents the OOCP methodology using a simplified nurse rostering system as a case study.
Several methods to compute the prime implicants and the prime implicates of a negation normal form (NNF) formula are developed and implemented. An algorithm PI is introduced that is an extension to negation normal for...
详细信息
We present results on the application of a new methodology based on Parallel and Distributed Genetic programming (PADGP). the aim for the methodology we present is to automatically perform the placement and routing of...
详细信息
Programmable logic Controller (PLC) is commonly used in the modern era of manufacturing and industrial automation. PLC can be programmed in three ways: Ladder logic, function block diagram, and sequential function cha...
详细信息
this paper proposes a Reduction-based Parallel Inference Machine: PIM-R and describes the architecture and its evaluation using two kinds of software simulators. Target languages of PIM-R are Prolog and Concurrent Pro...
详细信息
暂无评论