Algebraic Methodology and Software Technology

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 $79.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.

Algebraic Methodology and Software Technology

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

The Self-taught Programmer

The Definitive Guide to Programming Professionally

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Design Patterns

Elements of Reusable Object-Oriented Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

User Story Mapping

Discover the Whote Story, Build the Right Product

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Developing Graphics Frameworks with Java and OpenGL

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Hacking For Dummies

For Dummies (Computer/Tech)

Swim Training Patterns

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

The Engineering Leader

Strategies for Scaling Teams and Yourself

Deep Learning Models towards Health Informatics Management

Foundations, Challenges and Opportunities

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

This product is categorised by