Algebraic system specification and development: A survey and by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando

By Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella

Methods for the algebraic specification of summary facts kinds have been proposed within the early Seventies within the united states and Canada and have become an enormous study factor in Europe presently afterwards. for the reason that then the algebraic method has come to play a critical position in learn on formal specification and improvement, as its variety of functions used to be prolonged to the specification of whole software program structures, to the formal description of this system improvement approach, and to the uniform definition of syntax and semantics of programming languages. at the present time this strategy extends past simply software program to the advance of built-in and software program platforms. those flourishing actions within the region of algebraic requisites have ended in an abundance of methods, theories and ideas, that have common algebra, class thought and common sense as a standard mathematical foundation. This quantity is an annotated bibliography which supplies an up to date assessment of earlier and current paintings on algebraic specification. No test is made to supply a coherent advent to the subject for rookies; the goal is very to supply a advisor to the present literature for researchers in algebraic specification and neighboring fields. a few symptoms of ways the various methods are comparable are integrated, including a few principles referring to attainable destiny directions.

Show description

Read Online or Download Algebraic system specification and development: A survey and annotated bibliography PDF

Best systems analysis & design books

Deploying .NET Applications Lifecycle Guide

This advisor provides you with the knowledge essential to plan and enforce the potent deployment of your . internet Framework-based purposes. in case your association is constructing . web Framework-based functions, you face the problem of deploying these purposes successfully and reliably all through your setting.

Semisupervised Learning for Computational Linguistics (Chapman & Hall Crc Computer Science & Data Analysis)

The quick development within the theoretical realizing of statistical and desktop studying equipment for semisupervised studying has made it tough for nonspecialists to take care of thus far within the box. offering a vast, obtainable remedy of the idea in addition to linguistic functions, Semisupervised studying for Computational Linguistics bargains self-contained insurance of semisupervised equipment that comes with historical past fabric on supervised and unsupervised studying.

IPhone Applications Tune-up

Written to be learn immediately via in addition to for use as a technical reference, each one bankruptcy of this publication specializes in somebody point of software functionality and the way it pertains to the general improvement and tune-up method. The reader should be brought to the basics of iOS functionality bottlenecks and the way terrible program functionality can and does impact a user's adventure, adoption, and finally luck This booklet is for iOS software builders who're attracted to resolving software functionality bottlenecks in either new and latest Xcode tasks.

Additional info for Algebraic system specification and development: A survey and annotated bibliography

Sample text

Hard real-time scheduling: The deadline monotonic approach. IEEE Workshop on Real-Time Operating Systems. Baker, T. P. 1991. Stack-based scheduling of real-time processes. The Journal ofReal-Time Systems %\): 67-100. Bohem, B. , and Papaccio, R N. 1988. Understanding and controlling software costs. IEEE Transactions on Software Engineering 15(7): 902-916. Brooks, R. A. 1986. A robust layered control system for a mobile robot. IEEE Journal ofRobotics and Automation 2(1): 14-23. Burns, A. 1991. Scheduling hard real-time systems: a review.

Once the system processor and the clock speed are known, the CPU cycles spent in the execution of the code can be translated into actual execution time (given our approximations on caches and pipelines). The final estimated values are used to update the Application Info File, used as a data exchange structure with the Design Tool. The execution time relative to system calls and standard library procedures are evaluated once for all and stored in a table. The MET tool has been implemented on X Windows and produces a display as shown in Figure 10.

Section 2 presents the structure of our development environment, while the individual tools implemented are described in sections 3,4, 5, and 6. Finally, conclusions and possible extensions to our work are discussed in section 7. 2. A Development Environment for Hard Real-Time Applications The development environment proposed in this paper is composed of a set of tools arranged in a cascade model to be cyclically utilized within the iterative approach described in the previous section. A scheme of the proposed software development process is depicted in Figure 1.

Download PDF sample

Rated 4.19 of 5 – based on 48 votes