Lecture Notes in Computer Science

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

By: Teodor Rus (Editor)

Write A Review

Paperback | 3 May 2000

At a Glance

Paperback
564 Pages

Dimensions(cm)
24.13 x 15.88 x 3.18

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Mathematics Mathematical Foundation Mathematical Logic Medicine Medicine in General Computer Science Mathematical Theory of Computation Algebra

Databases Data Capture & Analysis Computer Architecture & Logic Design

Education Day
Invited Talk: A Software Engineering Program of Lasting Value	p. 1
Invited Talk: Weaving Formal Methods into the Undergratuate Computer Science Curriculum	p. 2
Technical Meetings
Invited Talk: Making Mathematical Methods More Practical for the Software Developers	p. 9
Step by Step to Histories	p. 11
Distance Functions for Defaults in Reactive Systems	p. 26
Generalizing the Modal and Temporal Logic of Linear Time	p. 41
Process Algebra versus Axiomatic Specification of a Real-Time Protocol	p. 57
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software	p. 73
Invited Talk: Algebraic State Machines	p. 89
Meta Languages in Algebraic Compilers	p. 119
Random Access to Abstract Data Types	p. 135
A Monad for Basic Java Semantics	p. 150
A Global Semantics for Views	p. 165
Analysis of Downward Closed Properties of Logic Programs	p. 181
Invited Talk: ASM Formalware in the Software Engineering Cycle	p. 197
Process Calculi for Coordination: From Linda to JavaSpaces	p. 198
The Algebra of Multi-tasking	p. 213
A Causal Semantics for Timed Default Concurrent Constraint Programming	p. 228
Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl	p. 243
Message Authentication through Non Interference	p. 258
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML	p. 273
An ASM Semantics for UML Activity Diagrams	p. 293
Approximate Bisimilarity	p. 309
Time and Probability in Process Algebra	p. 323
A Modal Logic for Klaim	p. 339
Kleene under a Demonic Star	p. 355
Invited Talk: Pointwise Relational Programming	p. 371
Towards a Toolkit for Actor System Specification	p. 391
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic	p. 407
The Extensibility of Maude's Module Algebra	p. 422
A Reuse-Oriented Framework for Hierarchical Specifications	p. 438
MIX(FL): A Kernel Language of Mixin Modules	p. 454
Behavioural Subtyping Relations for Object-Oriented Formalisms	p. 469
Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge	p. 484
A New Logic for Electronic Commerce Protocols	p. 499
Extended Institutions for Testing	p. 514
Testing from Structured Algebraic Specifications	p. 529
Author Index	p. 545
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Site Reliability Engineering

How Google Runs Production Systems

Fundamentals of Software Architecture

A Modern Engineering Approach

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

C# 12 in a Nutshell

The Definitive Reference

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes

User Story Mapping

Discover the Whote Story, Build the Right Product

Design Patterns

Elements of Reusable Object-Oriented Software

Architectural Approach to Level Design

Second edition

Coding All-in-One For Dummies

2nd Edition

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino For Dummies

Blackwell Philosophy Anthologies

Developing Graphics Frameworks with Java and OpenGL

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Git : Pocket Guide

A Working Introduction

Programming TypeScript

Making Your JavaScript Applications Scale

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

The Engineering Leader

Strategies for Scaling Teams and Yourself

This product is categorised by