3801 search results - page 511 / 761 » An Approach to Modeling Software Safety |
182
click to vote
SACMAT
2006
ACM
16 years 17 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
170
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
153
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
Although the technical skills of pupils are quite high, the current approach to gain media literacy still focusses on updating software applying skills, rather than exploring the ...
169
click to vote
INFSOF
2002
15 years 6 months ago
2002
Available resources can often be limited with regard to the number of demands. In this paper we propose an approach for solving this problem which consists of using the mechanisms...
208
click to vote
FIW
2009
15 years 4 months ago
2009
Abstract. The idea of feature-oriented programming is to map requirements to features, concepts that can be composed to form a software product. Change-oriented programming (ChOP),...