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