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
Automatc software generaton versus reuse, and legacy systems
Software quality and process assessment for business enterprise models
Intelligent software systems design, and software evoluton techniques
Agile Software and Lean Methods
Software optmizaton and formal methods for software design
Statc, dynamic analysis on software performance model, software maintenance
Software security tools and techniques, and related Software Engineering models
Formal techniques for software representaton, software testng and validaton
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, 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
Medical Informatics and bioinformatics, Software methods and application for biomedicine and bioinformatics
Emergency Management Informatics, software methods and application for supporting
Civil Protection, First Response and Disaster Recovery
Others software Science disciplines (goto the conference home page for more details)
All papers will be peer-reviewed under the supervision of an international technical program committee for quality, presentation and relevance to the conference.
The Proceedings of the conference will be published as a book by IOS international publisher in series: Frontiers in Artificial Intelligence and Applications, and distributed at the conference.
http://ebooks.iospress.nl/bookseries/frontiers-in-artificial-intelligence-andapplications
that is indexed by SCOPUS and Selected by the Elsevier databases coverage.