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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2307947
بازگشت