Choice Reviews Online · 1997 · 54 citations · 0 references
ComputingComputer ScienceAlgorithmsProgramming LanguagesSoftware EngineeringApplication Programming InterfacesFinite-state MachinesObject-oriented ProgrammingSoftware ArchitectureSoftware ConstructionSoftware DesignAbstract State MachinesSubstitutions
1. Introduction 2. Structure of A Simple Machin 3. The Class Manager&csq.s assistan 4. Deferred Sets and Non-determinis 5. Constructing Large Machine 6. More Substitutions for Machine 7. Software Desig 8. Implementation 9. API-layer Machines and their Implementation 10. Refinement Appendix A - Review of Discrete Mathematic Appendix B - Summary Table Appendix C - Library Machines