803 search results - page 96 / 161 » Building Formal Models for Software Requirements |
131
click to vote
CRITIS
2007
15 years 5 months ago
2007
Security Management is a complex task. It requires several interconnected activities: designing, implementing and maintaining a robust technical infrastructure, developing suitable...
155
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
126
click to vote
SP
2007
IEEE
15 years 10 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
121
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
164
click to vote
EFDBS
2003
15 years 5 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...