FM
1994
Springer
13 years 9 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
XPU
2009
Springer
13 years 11 months ago
2009
Springer
In this paper, we present on-going work on data collected by a questionnaire surveying process practices, preferences, and methods in industrial software engineering. Key words: Ag...