7380 search results - page 126 / 1476 » Engineering Software Intensive Systems |
COMPSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
AMAST
2008
Springer
14 years 8 days ago
2008
Springer
The algebraic specification of information systems (including
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
This position paper suggests an approach for building software systems using patterns, right from business architecture to software architecture. Further, the approach incorporate...
VAMOS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract--For two decades, feature diagrams have been intensively studied as a means to specify variability and pilot configuration in software product line engineering. Surprising...
TPCTC
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Event processing engines are used in diverse mission-critical scenarios such as fraud detection, traffic monitoring, or intensive care units. However, these scenarios hav...