1031 search results - page 48 / 207 » On the Formal Development of Safety-Critical Software |
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
EUROMICRO
1996
IEEE
13 years 11 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
ICFEM
2007
Springer
14 years 1 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
ASWEC
2006
IEEE
14 years 1 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...