Algebraic Methodology and Software Technology
by Teodor Rus
No club is reading this yet — be the first to start one
Author: Teodor Rus
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67530-3
DOI: 10.1007/3-540-45499-3
Table of Contents:
- Invited Talk: A Software Engineering Program of Lasting Value (Abstract)
- Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract)
- 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
Discuss Algebraic Methodology and Software Technology with other readers
Join or start a book club for Algebraic Methodology and Software Technology on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.
Frequently asked questions
How do I join a book club for Algebraic Methodology and Software Technology?
Sign up free on Readfeed, then browse public clubs or start your own club with Algebraic Methodology and Software Technology as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.
Can I discuss Algebraic Methodology and Software Technology with other readers online?
Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Algebraic Methodology and Software Technology with readers worldwide — whether your club is virtual, in-person, or hybrid.
Is Readfeed free?
Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.