Software Systems Construction with Examples in ADA

Control structuring; modularization; object-based software construction; finite automata and software; concurrent tasks; resource sharing; entity-life modelling; case study; flexible manufacturing system.