1153 search results - page 66 / 231 » Compositional Specification Calculus for Information Systems... |
139
Voted
TSE
2008
15 years 3 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
150
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
214
Voted
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...
128
click to vote
TSE
1998
15 years 3 months ago
1998
—We describe and analyze the process of requirements development in scenario-based design through consideration of a case study. In our project, a group of teachers and system de...
119
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...