<span style="TEXT–ALIGN: ; WIDOWS: 2; TEXT–TRANSFORM: none; TEXT–INDENT: 0px; LETTER–SPACING: normal; BORDER–COLLAPSE: separate; FONT: medium Simsun; WHITE–SPACE: normal; ORPHANS: 2; COLOR: rgb(0,0,0); WORD–SPACING: 0px; –webkit–border–horizontal–spacing: 0px; –webkit–border–vertical–spacing: 0px; –webkit–text–decorations–in–effect: none; –webkit–text–size–adjust: auto; –webkit–text–stroke–width: 0px" class="Apple–style–span"> <p>Reliability, safety, and security are among the most critical requirements of contemporary software. The application of software engineering methods, tools, and languages all interrelate to affect how and whether these requirements are met.</p> <p>Such software is in operation in many application domains. Much has been accomplished in recent years, but much remains to be done. Our tools, methods, and languages must be continually refined; our management process must remain focused on the importance of reliability, safety, and security; our educational institutions must fully integrate these concerns into their curricula.</p> <p>The conference will gather industrial and government experts, educators, software engineers, and researchers interested in developing, analyzing, and certifying reliable, safe, long–lived, secure software. We are soliciting technical papers and experience reports with a focus on, or comparison with, Ada.</p> <p>We are especially interested in experience in integrating these concepts into the instructional process at all levels.</p></span>
Abbrevation
DASIA'2011
City
Denver, CO
Country
United States
Deadline Paper
Start Date
End Date
Abstract