Journals in DBLP

Autom. Softw. Eng.
2009, volume: 16, number: 1

1. 
   Guest editors' introduction. [Citation Graph (, )][DBLP]
   
   
2. 
   Monitoring and diagnosing software requirements. [Citation Graph (, )][DBLP]
   
   
3. 
   Keyword programming in Java. [Citation Graph (, )][DBLP]
   
   
4. 
   Scalable satisfiability checking and test data generation from modeling diagrams. [Citation Graph (, )][DBLP]
   
   
5. 
   Fast extraction of high-quality framework-specific models from application code. [Citation Graph (, )][DBLP]
   
   
6. 
   Parameter reference immutability: formal definition, inference tool, and comparison. [Citation Graph (, )][DBLP]