Algebraic Methodology and Software Technology
Subtitle: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: June 8, 2000
Language: eng
Format: Paperback
Number of pages: 545
ISBN-13: 9783540675303
Subjects: Algebra; Databases & data structures; Mathematical theory of computation; Science/Mathematics; Congresses; Computer Mathematics; Computers; Computers - Languages / Programming; Programming - Software Development; Programming - General; General; Logic; Abstract State Machines; Algebraic Methods; Algebraic State Machines; Computers / Logic Design; Formal Methods; Mathematical Software Construction; Process Algebras; Program Semantics; Software Engineering; Computer Science; Abstract data types (Computer; Abstract data types (Computer science)
First sentence: Rather than treat formal methods solely as a separate subject to study, we should weave their use into the existing infrastructure of an undergraduate computer science curriculum.
Description: Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings<br />Author: Teodor Rus<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-67530-3<br /> DOI: 10.1007/3-540-45499-3<br /><br />Table of Contents:<p></p><ul><li>Invited Talk: A Software Engineering Program of Lasting Value (Abstract)
</li><li>Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract)
</li><li>Invited Talk: Making Mathematical Methods More Practical for Software Developers (Abstract)
</li><li>Step by Step to Histories
</li><li>Distance Functions for Defaults in Reactive Systems
</li><li>Generalizing the Modal and Temporal Logic of Linear Time
</li><li>Process Algebra versus Axiomatic Specification of a Real-Time Protocol
</li><li>Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software
</li><li>Algebraic State Machines
</li><li>Meta Languages in Algebraic Compilers
</li><li>Random Access to Abstract Data Types
</li><li>A Monad for Basic Java Semantics
</li><li>A Global Semantics for Views
</li><li>Analysis of Downward Closed Properties of Logic Programs
</li><li>Invited Talk: ASM Formalware in the Software Engineering Cycle
</li><li>Process Calculi for Coordination: From Linda to JavaSpaces
</li><li>The Algebra of Multi-tasking
</li><li>A Causal Semantics for Timed Default Concurrent Constraint Programming
</li><li>Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl
</li><li>Message Authentication through Non Interference</li></ul>