Abstract :
The following topics are dealt with: software engineering; requirements specification; requirements analysis; security; software quality assurance; formal analysis; constraint-oriented variability modeling; automata learning-based testing; software development; software maintenance; and software reuse.
Keywords :
constraint handling; formal specification; learning automata; program testing; security of data; software maintenance; software quality; software reusability; automata learning-based testing; constraint-oriented variability modeling; formal analysis; requirements analysis; requirements specification; security; software development; software engineering; software maintenance; software quality assurance; software reuse;
Conference_Titel :
Software Engineering Workshop (SEW), 2011 34th IEEE
Conference_Location :
Limerick
Print_ISBN :
978-1-4673-0245-6