Back to Search
Start Over
Special issue on selected papers from the 20th International Conference on Automated Software Engineering (ASE'2005).
- Source :
- Automated Software Engineering; Sep2007, Vol. 14 Issue 3, p127-128, 2p
- Publication Year :
- 2007
-
Abstract
- The article discusses various reports published within the issue, including one by Aysu Betin Can, Tevfik Bultan, and Benjamin Lux on eliminating synchronization faults in air traffic control software thru design for verification with concurrency controllers and another by Ana Milanova on compositional inference of UML class diagrams.
- Subjects :
- PREFACES & forewords
SOFTWARE engineering
Subjects
Details
- Language :
- English
- ISSN :
- 09288910
- Volume :
- 14
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Automated Software Engineering
- Publication Type :
- Academic Journal
- Accession number :
- 27138088
- Full Text :
- https://doi.org/10.1007/s10515-007-0009-1