Improving Software Quality With Consideration Of Structural Complexity

This dissertation identifies the difficulties involved in applying formal design methods to complex embedded computer systems and justifies the need for a complexity controlling decision method which is sufficiently general to cope with both hardware and software systems. The project introduces a new, rigorous, formally defined design method (SECCu), for the design of embedded computer systems. Examples of the use of SECCO 1S given to further demonstrate the power of SECCO, a new parallel language has been designed, called SKWIGGLE. The language 15 4 syntactically sugared subset of SECCO specifically intended Tor programming. ‘the abstract and concrete syntaxes, and axomatic and operational Semantics of the language, are presented.