We have implemented a package VISUR/RAR in XPCE/SWI-PROLOG, which provides some further functionality of an integrated development environments (IDE): it allows for the visualization of rules (VISUR) together withthe...
详细信息
We have implemented a package VISUR/RAR in XPCE/SWI-PROLOG, which provides some further functionality of an integrated development environments (IDE): it allows for the visualization of rules (VISUR) together withthe reasoning about rule structures (RAR). VISUR/RAR is part of the toolbox DISLOG, which is also developed under XPCE/SWI-PROLOG; the functionality of DISLOG ranges from reasoning in disjunctive deductive databases to applications such as the management and visualization of stock information. the deductive database of RAR manages rules for analyzing PROLOG-code based on suitable dependency graphs and rules for recovering the design of PROLOG- and JAVA-software using a query language FNQUERY for XML-representations, which we have developed. It can be applied for improving the design of rule-based systems, for computing certain software metrics, and for supporting refactoring techniques. the obtained results can be visualized using graphs and tables in VISUR.
the proceedings contain 19 papers. the special focus in this conference is on Object-Oriented programming. the topics include: 11thworkshop for PhD students in object-oriented systems;quality of service in distribute...
ISBN:
(纸本)3540436758
the proceedings contain 19 papers. the special focus in this conference is on Object-Oriented programming. the topics include: 11thworkshop for PhD students in object-oriented systems;quality of service in distributed object systems and distributed multimedia object/component systems;formal techniques for java programs;automating object-oriented software development methods;adaptive object-models and metamodeling techniques;specification, implementation, and validation of object-oriented embedded systems;feature interaction in composed systems;6thworkshop on component-oriented programming;advanced separation of concerns;multiparadigm programming with OO languages;generative programming;4thworkshop on object-oriented architectural evolution;7thworkshop on mobile object systems;the next 700 distributed object systems;quantitative approaches in object-oriented software engineering;object-oriented business solutions;4thworkshop on OO and operatingsystems;the next 700 distributed object systems and poster session.
作者：
Zainzinger, HJAustria, SASiemens AG
Program & Syst Engn Enterprise Commun Technol Dept Embedded Software & IP Based Applicat A-1194 Vienna Austria
In this article we present a generic test equipment for embedded platform software. Our approach helps to overcome the paradigms of modern software development like object-oriented concepts, rapid prototyping and comm...
详细信息
ISBN:
(纸本)0769518257
In this article we present a generic test equipment for embedded platform software. Our approach helps to overcome the paradigms of modern software development like object-oriented concepts, rapid prototyping and communication-support over a big number of different protocols. As we support different platforms, we describe the most relevant differences between compilers, processors and operatingsystems. Since testers of embedded systems are usually familiar with C and C++, the test equipment is based on CINT, a C++ interpreter. the last section of this paper investigates the advantages and drawbacks of CINT.
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. this is an experiment to use high-level declarative programminglanguages for the programming of embe...
详细信息
the proceedings contain 14 papers. the topics discussed include: a transformation technique for datalog programs based on non-deterministic constructs;on deforesting parameters of accumulating maps;equivalence in answ...
ISBN:
(纸本)3540439153
the proceedings contain 14 papers. the topics discussed include: a transformation technique for datalog programs based on non-deterministic constructs;on deforesting parameters of accumulating maps;equivalence in answer set programming;extracting exact time bounds from logical proofs;extracting general recursive program schemes in Nuprl's type theory;computing environment-aware agent behaviors with logic program updates;a framework for developing embeddable customized logics;correct object-oriented systems in computational logic;symbolic profiling for multi-paradigm declarative languages;when size does matter;verification of sets of infinite state processes using program transformation;and abstract conjunctive partial deduction using regular types and its application to model checking.
A language with a programmable type system is vital for the construction of an embedded domain specific language (EDSL). Driven by the requirements posed by the implementation of an EDSL for server-side Web scripting,...
详细信息
the proceedings contain 14 papers. the special focus in this conference is on Program Transformation, Equivalence, Program Verificaion and Program Analysis. the topics include: Static analysis for safe destructive upd...
ISBN:
(纸本)3540439153
the proceedings contain 14 papers. the special focus in this conference is on Program Transformation, Equivalence, Program Verificaion and Program Analysis. the topics include: Static analysis for safe destructive updates in a functional language;a transformation technique for datalog programs based on non-deterministic constructs;on deforesting parameters of accumulating maps;abstract conjunctive partial deduction using regular types and its application to model checking;verification of sets of infinite state processes using program transformation;symbolic profiling for multi-paradigm declarative languages;correct object-oriented systems in computational logic;a framework for developing embeddable customized logics;extracting general recursive program schemes in nuprl’s type theory and extracting exact time bounds from logical proofs.
In programminglanguages based on linear logic, the program can grow and shrink in a nearly arbitrary manner over the course of execution. Since the introduction of the I/O model of proof search [11, 12], a number of ...
详细信息
A different approach to define a system, persistent object abstraction offers programmers new opportunities. Persistent systems are the next logical step in the higher-level abstraction of electronic information syste...
详细信息
A different approach to define a system, persistent object abstraction offers programmers new opportunities. Persistent systems are the next logical step in the higher-level abstraction of electronic information systems. this paper summarizes a research prototype; Extendible Persistent System (EPS) and explains the programmer facilities on this system.
In this paper the author presents a generic test equipment for embedded platform software. this approach helps to overcome the paradigms of modern software development like object-oriented concepts, rapid prototyping ...
详细信息
In this paper the author presents a generic test equipment for embedded platform software. this approach helps to overcome the paradigms of modern software development like object-oriented concepts, rapid prototyping and communication-support over a large number of different protocols. As different platforms are supported, the most relevant differences between compilers, processors and operatingsystems are described. Since testers of embedded systems are usually familiar with C and C++, the test equipment is based on CINT, a C++ interpreter. the last section of this paper investigates the advantages and drawbacks of CINT.
暂无评论