COMPEURO '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering (Cat. No.90CH2867-0)

摘要

The following topics are dealt with: design of complex computer-based systems; software testing and reliability; development environment architectures; system and software development methodologies; computer systems architectures; software development techniques; algorithms for VLSI; knowledge-based systems; management of software development; embedded systems analysis; integration and testing; executable specifications; validation and verification; industrial computer-based systems; software analysis and design; VLSI design; rapid prototyping; computer systems communications; and meta-issues in software engineering. Abstracts of individual papers can be found under the relevant classification codes in this or other issues.