Topics
- Automatic Software Generation
- Case Studies and Experimental Software Engineering
- Formal Methods Applied to Software Engineering
- Integration with Human-Computer Interaction
- Languages, Methods, Processes, and Tools
- Model-Based Engineering
- Ontologies Applied to Software Engineering
- Peer-to-Peer (P2P) Systems
- Proof, Verification, and Validation
- Quality, Measurement, and Assessment of Products and Processes
- Requirements Engineering (through WER 2011)
- Reverse Engineering and Software System Modernization
- Software and Service-Oriented Architectures
- Software Development Paradigms
- Software Evolution and Maintenance
- Software Product Families and Variability
- Software Reuse
- Web Engineering and Web Services