86 search results - page 8 / 18 » Industry Trends and Software Assurance |
122
click to vote
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
118
click to vote
FECS
2007
15 years 1 months ago
2007
- This paper describes a Software Engineering Option (SEO) within the current BS in Computer Science program at UMASS Dartmouth. The SE Option reuses significant portion of the exi...
QUATIC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes an initiative to improve software acquisition process in Brazil. This initiative was conducted in the context of the MPS.BR Program, a nationwide effort to de...
ICECCS
2008
IEEE
15 years 6 months ago
2008
IEEE
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
CSREAESA
2006
15 years 1 months ago
2006
Nowadays embedded system, hardware/software technology has progressed prosperously. In many field of industrial manufacture and people life, embedded system is indispensable. Rece...