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.
Author(s): David L. Parnas, P. Eng (auth.), Teodor Rus (eds.)
Series: Lecture Notes in Computer Science 1816
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 545
Tags: Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Techniques; Symbolic and Algebraic Manipulation
Invited Talk: A Software Engineering Program of Lasting Value (Abstract)....Pages 1-1
Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract)....Pages 2-7
Invited Talk: Making Mathematical Methods More Practical for Software Developers (Abstract)....Pages 9-10
Step by Step to Histories....Pages 11-25
Distance Functions for Defaults in Reactive Systems....Pages 26-40
Generalizing the Modal and Temporal Logic of Linear Time....Pages 41-56
Process Algebra versus Axiomatic Specification of a Real-Time Protocol....Pages 57-72
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software....Pages 73-88
Algebraic State Machines....Pages 89-118
Meta Languages in Algebraic Compilers....Pages 119-134
Random Access to Abstract Data Types....Pages 135-149
A Monad for Basic Java Semantics....Pages 150-164
A Global Semantics for Views....Pages 165-180
Analysis of Downward Closed Properties of Logic Programs....Pages 181-196
Invited Talk: ASM Formalware in the Software Engineering Cycle....Pages 197-197
Process Calculi for Coordination: From Linda to JavaSpaces....Pages 198-212
The Algebra of Multi-tasking....Pages 213-227
A Causal Semantics for Timed Default Concurrent Constraint Programming....Pages 228-242
Casl-Chart : A Combination of Statecharts and of the Algebraic Specification Language Casl ....Pages 243-257
Message Authentication through Non Interference ....Pages 258-272
Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML....Pages 273-292
An ASM Semantics for UML Activity Diagrams....Pages 293-308
Approximate Bisimilarity....Pages 309-322
Time and Probability in Process Algebra....Pages 323-338
A Modal Logic for Klaim ....Pages 339-354
Kleene under a Demonic Star....Pages 355-370
Pointwise Relational Programming....Pages 371-390
Towards a Toolkit for Actor System Specification....Pages 391-406
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic....Pages 407-421
The Extensibility of Maude’s Module Algebra....Pages 422-437
A Reuse-Oriented Framework for Hierarchical Specifications....Pages 438-453
MIX(FL): A Kernel Language of Mixin Modules....Pages 454-468
Behavioural Subtyping Relations for Object-Oriented Formalisms....Pages 469-483
Applying Category Theory to Derive Engineering Software from Encoded Knowledge....Pages 484-498
A New Logic for Electronic Commerce Protocols....Pages 499-513
Extended Institutions for Testing....Pages 514-528
Testing from Structured Algebraic Specifications....Pages 529-544
