390 search results - page 29 / 78 » Security Requirements Engineering for Evolving Software Syst... |
TAPSOFT
1997
Springer
15 years 1 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
CISIS
2010
IEEE
15 years 4 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...
100
click to vote
EWSPT
2001
Springer
15 years 2 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...