SOMET_13 2013 - The 12 IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques

#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 models
#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
Re-engineering techniques
#Ontology, cognitive models and philosophical aspects on software design
#Medical Informatics, Software methods and application for biomedicine
#Artificial Intelligence Techniques on Software Engineering, and
Requirement 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