TOPICS INCLUDED (BUT NO LIMITED)

• Requirement engineering, especially for high‐assurance system, and requirement elicitation.
• Software methodologies, and tools for robust, reliable, non-fragile software design.
• Software developments techniques and legacy systems.
• Automatic software generation versus reuse, and legacy systems.
• Software quality and process assessment for business enterprise.
• Intelligent software systems design, and software evolution techniques.
• Agile software and Lean Methods.
• Software optimization and formal methods for software design.
• Static, dynamic analysis on software performance model, software maintenance.
• Software security tools and techniques, and related Software Engineering models.
• Formal techniques for software representation, software testing and validation.
• Software reliability, and software diagnosis systems.
• Mobile code security tools and techniques.
• End-user programming environment, User-centered Adoption-Centric Reengineering techniques.
• Ontology, cognitive models and philosophical aspects on software design.
• Medical Informatics, Software methods and application for biomedicine.
• Artificial Intelligence Techniques on Software Engineering.
• Software design through interaction, and precognitive software techniques for interactive software entertainment applications.
• Creativity and art in software design principles.
• Axiomatic based principles on software design.
• Model Driven Development (DVD), code centric to model centric software engineering.
• Software methods for medical Informatics, bioinformatics, and bioinformatics.
• Emergency Management Informatics, software methods for supporting Civil Protection, First Response and Disaster Recovery.
• Software methods for decision support systems and recommender systems