DocumentCode
2307947
Title
12th International Conference on Software Engineering (Cat. No.90CH2815-9)
fYear
1990
fDate
26-30 March 1990
Abstract
The following topics are dealt with: process models; formal verification; real-time and reactive systems; environments; metrics and reliability; software reengineering; prototyping; design and architecture; real-life safety-critical software; systems engineering; configuration management; and experience using derived processes for technology transfer
Keywords
program verification; real-time systems; software engineering; software reliability; architecture; configuration management; design; environments; formal verification; metrics; process models; prototyping; reactive systems; real-time; reliability; safety-critical software; software reengineering; systems engineering; technology transfer;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location
Nice, France
Print_ISBN
0-8186-2026-9
Type
conf
DOI
10.1109/ICSE.1990.63590
Filename
63590
Link To Document