Teodor Rus

Charles Rattray

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this text.Each chapter, derived from papers presented at the all-invitation 1st AMAST International Workshop on Real-Time Systems (Iowa, 1993), is written by leaders in their field. The chapters form an intriguing mix of modeling, specification, verification, and implementation of “real” real-time systems. They cover untimed and timed systems, sequential, concurrent and embedded real-time processes, integrated models using state machines, temporal logic and algebraic data models, real-time CSP, verification tools, system design using temporal logic, symbolic checking of discrete time models, iterative symbolic approximation in timing verification and verification of audio protocols, timed full LOTOS and timed LOTOS extensions, LOTOS specification of telephone services and flight warning computers, and performance analysis.

Theories And Experiences For Real-time System Development

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathematically, (b) it is safe, such that it can be used in the implementation of critical systems, (c) it is portable, i. e. , it is independent of computing platforms and language generations, and (d) it is evolutionary, i. e. , it is self-adaptable and evolves with the problem domain. Ten years later a myriad of workshops, conferences, and researchprogramsthat sharethe goalsof the AMAST movementhaveoccurred. This can be taken as proof that the AMAST vision is right. However, often the myriad of workshops, conferences, and research programs lack the clear obj- tives and the coordination of their goals towards the software technology en- sioned by AMAST. This can be taken as a proof that AMAST is still necessary.

8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

Algebraic Methodology and Software Technology

Maurice Nivat

Giuseppe Scollo

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica tions. The selection was very strict, for 121 submissions were received.

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

Algebraic Methodology and Software Technology (AMAST’93)

This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST conferences is to promote the use of algebraic methodology as a foundation for software technology, and to examine how it can be used to provide practical mathematical alternatives to the ad hoc methods commonly used in software development. In particular the conferences provide a showcase for software systems which have been developed in this way, focusing on the conceptual developments which made them possible. The resulting volume covers a variety of software development issues, and testifies to the versality of algebraic methods when used as conceptual tools in the software development process. It features a distinguished collection of invited papers from leading researchers in the field, many of which break new ground, or represent an important step forward in current research. Among the specific topics covered are: language design; compiler construction; software testing; symbolic computation and partial evaluation; incremental implementation; and the verification of program and specification properties. Algebraic Methodology and Software Technology (AMAST '91) provides a comprehensive overview of this important field of science. It will provide invaluable reading for students and researchers, both in industry and academia.

Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991

Algebraic Methodology and Software Technology (AMAST'91)

The author looks at the issues of how computing are used and taught, with a focus on embedding computers within problem solving process by making computer language part of natural language of the domain instead of embedding problem domain in the computer by programming. The book builds on previous editions of system software and software systems, concepts and methodology and develops a framework for software creation that supports domain-oriented problem solving process adapting Polya's four steps methodology for mathematical problem solving: Formalize the problem;Develop an algorithm to solve the problem;Perform the algorithm on the data characterizing the problem;Validate the solution. to the computer use for problem solving in any domain, including computer programming. Contents:Systems Methodology:Introduction to System SoftwareFormal SystemsAd Hoc SystemsCommon Systems in Software DevelopmentComputer Architecture and Functionality:Hardware SystemFunctional Behavior of Hardware ComponentsAlgorithmic Expression of a Hardware SystemUsing Computers to Solve ProblemsSoftware Tools Supporting Program Execution:Computer Process Manipulation by ProgramsMemory Management SystemI/O Device Management SystemComputation Activity and Its Management ToolsSoftware Tools Supporting Program Development:Problem Solving by Software ToolsWeb-Based Problem Solving ProcessSoftware Tool Development IllustrationSoftware Tools for Correct Program DevelopmentComputer Operation by Problem Solving Process:Using First Computers to Solve ProblemsBatch Operating SystemProblem of ProtectionTiming Program ExecutionEfficiency of Batch Operating SystemsConvenience of the BOSReal-Time Systems Readership: Student, general public and professional. Key Features:This is one of the few books in the market that promote programming as a problem solving process following Polya for mathematical problem solvingThis book consolidates the concepts of system methodology, computer architecture, system tools program execution into workflow of the four steps Polya problem solving processThis book insists to hold the hands of readers to walk through the internal working of a computer system from problem deposition to hardware state transitions, a view that has been lost in most computer science curricula currently taught in universities and collegesKeywords:Software Engineering;Programming Methodology;Computer Engineering

Teodor Rus

Books

Your next favorite book is out there