452 search results - page 39 / 91 » The business case for automated software engineering |
SEKE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
121
click to vote
CBSE
2011
Springer
13 years 9 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
ECLIPSE
2005
ACM
14 years 11 months ago
2005
ACM
Students need to learn testing skills, and using test-driven development on assignments is one way to help students learn. We use a flexible automated grading system called Web-CA...
ICFEM
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
103
click to vote
ICSE
2012
IEEE-ACM
13 years 4 days ago
2012
IEEE-ACM
Abstract—Customizable programs and program families provide user-selectable features to allow users to tailor a program to an application scenario. Knowing in advance which featu...