1121 search results - page 48 / 225 » Building Formal Requirements Models for Reliable Software |
121
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
121
click to vote
EFDBS
2003
15 years 1 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...
106
click to vote
DBSEC
2008
15 years 1 months ago
2008
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
107
click to vote
ICECCS
2009
IEEE
15 years 6 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
IJIT
2004
15 years 1 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...