Abstract :
The following topics are dealt with: formal methods; software engineering; software development practice; structured requirements analysis; programming; test technology; aspect-oriented technique; agile development practices; and formal specification.
Keywords :
programming; software engineering; agile development practices; aspect-oriented technique; formal method; formal specification; programming; software development practice; software engineering; structured requirements analysis; test technology;
Conference_Titel :
Software Engineering: Rigorous and Agile Approaches (FormSERA), 2012 Formal Methods in
Conference_Location :
Zurich
Print_ISBN :
978-1-4673-1907-2
DOI :
10.1109/FormSERA.2012.6229779
