Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
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...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science
1816 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Algebraic methodology and software technology, 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, proceedings, Teodor Rus (ed.), 2000, New York, Springer, 1 vol. (XI-544 p.), Lecture notes in computer science, 3-540-67530-2 • Algebraic Methodology and Software Technology, Texte imprimé, 9783662214398 |
目次:
- Education Day
- Invited Talk: A Software Engineering Program of Lasting Value (Abstract)
- Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract)
- Technical Meetings
- Invited Talk: Making Mathematical Methods More Practical for Software Developers (Abstract)
- Step by Step to Histories
- Distance Functions for Defaults in Reactive Systems
- Generalizing the Modal and Temporal Logic of Linear Time
- Process Algebra versus Axiomatic Specification of a Real-Time Protocol
- Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software
- Algebraic State Machines
- Meta Languages in Algebraic Compilers
- Random Access to Abstract Data Types
- A Monad for Basic Java Semantics
- A Global Semantics for Views
- Analysis of Downward Closed Properties of Logic Programs
- Invited Talk: ASM Formalware in the Software Engineering Cycle
- Process Calculi for Coordination: From Linda to JavaSpaces
- The Algebra of Multi-tasking
- A Causal Semantics for Timed Default Concurrent Constraint Programming
- Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl
- Message Authentication through Non Interference
- Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML
- An ASM Semantics for UML Activity Diagrams
- Approximate Bisimilarity
- Time and Probability in Process Algebra
- A Modal Logic for Klaim
- Kleene under a Demonic Star
- Pointwise Relational Programming
- Towards a Toolkit for Actor System Specification
- Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
- The Extensibility of Maude s Module Algebra
- A Reuse-Oriented Framework for Hierarchical Specifications.-MIX(FL): A Kernel Language of Mixin Modules
- Behavioural Subtyping Relations for Object-Oriented Formalisms
- Applying Category Theory to Derive Engineering Software from Encoded Knowledge
- A New Logic for Electronic Commerce Protocols
- Extended Institutions for Testing
- Testing from Structured Algebraic Specifications.