2236 search results - page 113 / 448 » Secure Software Design in Practice |
137
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Few existing approaches towards architectural evolution deal with unanticipated evolution. This is an important restriction, since a lot of architectural changes are very di cult ...
133
click to vote
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
165
click to vote
ALIFE
2006
15 years 4 months ago
2006
We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living systems. The definition and features of...
136
click to vote
CSEE
2004
Springer
15 years 9 months ago
2004
Springer
This survey studied the expectations of Software Engineering graduate students who took an HCI course, regarding the interaction of engineers and HCI practitioners in their future...
140
click to vote
TCAD
2008
15 years 4 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...