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

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

Methods for the algebraic specification of summary information kinds have been proposed within the early Seventies within the united states and Canada and have become an immense study factor in Europe almost immediately afterwards. on account that then the algebraic procedure has come to play a primary position in examine 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 procedure, and to the uniform definition of syntax and semantics of programming languages. this day this strategy extends past simply software program to the improvement of built-in and software program platforms. those flourishing actions within the region of algebraic standards have resulted in an abundance of methods, theories and ideas, that have common algebra, type conception and common sense as a typical mathematical foundation. This quantity is an annotated bibliography which supplies an up to date evaluation of prior and current paintings on algebraic specification. No try is made to supply a coherent creation to the subject for rookies; the goal is quite to supply a consultant to the present literature for researchers in algebraic specification and neighboring fields. a few symptoms of ways the various techniques are comparable are incorporated, including a few rules referring to attainable destiny directions.

Show description

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

Similar systems analysis & design books

Biometric systems: technology, design, and performance evaluation

This booklet presents practitioners with an outline of the rules & tools had to construct trustworthy biometric platforms. It covers three major subject matters: key biometric applied sciences, checking out & administration matters, & the criminal and approach concerns of biometric structures for private verification/identification.

Software Language Engineering: Creating Domain-Specific Languages Using Metamodels

Software program practitioners are speedily getting to know the mammoth price of Domain-Specific Languages (DSLs) in fixing difficulties inside basically definable challenge domain names. builders are utilizing DSLs to enhance productiveness and caliber in quite a lot of components, equivalent to finance, strive against simulation, macro scripting, picture new release, and extra.

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineering

This booklet is the distillation of over 25 years of labor through one of many world's most famed machine scientists. A specification is a written description of what a approach is meant to do, plus a manner of checking to ensure that it really works. Specifying a approach is helping us know it. it is a stable thought to appreciate a procedure prior to construction it, so it is a sturdy notion to jot down a specification of a approach ahead of enforcing it.

Bases de Datos

Éste es un excelente texto para el curso de diseño de bases de datos. El libro integra los angeles teoría de l. a. base de datos, de modo práctico, con su diseño y aplicación. El texto está diseñado específicamente para el estudiante moderno de l. a. base de datos, quien requiere conocer los angeles teoría y el diseño, así como las aplicaciones en el campo profesional.

Extra resources for Algebraic system specification and development: A survey and annotated bibliography

Sample text

Chapter 4, entitled Translating Design Pattern Concepts to Hardware Concepts, states that mixed hardware/software systems raise the level of generality of the hardware part and the level of abstraction of the software part of the systems. Thus, they suggest that mainstream software engineering techniques and good practices, such as design patterns, could be used by system designers to design and implement their mixed hardware/software systems. It then presents a proof of concept on translating the solutions of design patterns into hardware concepts to alleviate the system designers work and, thus, to accelerate the design of mixed hardware/software systems.

NET framework in order to simulate a Transaction-based model is given. Chapter 6, entitled Simulation at Cycle Accurate and Transaction Accurate Levels, focuses on the simulation of multiprocessors SoC, including hardware and software parts, and more precisely first on the Cycle Accurate Bit Accurate (CA) level, in which the exact behavior of the communication protocol in terms of signaling is detailed, and the Transaction Accurate (TA) level, in which the communication is Introduction 25 based on transactions that hide the details of the protocol behind function calls.

It has been supervised by Yvon Savaria and El Mostapha Aboulhamid. 1 Introduction Hardware/software electronic systems co-design relies on a well-established cycle, through which designers employ mature development frameworks [188][36] [161][207] that have been deeply supported and improved over the years by industry. Despite such frameworks, hardware/software co-design is currently crossing the border of a major crisis: the size and complexity of current electronic systems that keeps growing deeply affects validation phases of the development process; formal techniques hit irreducible combinatorial explosions, while simulation-based procedures require painfully large execution times [132].

Download PDF sample

Rated 4.78 of 5 – based on 32 votes