488 search results - page 35 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
RE
1997
Springer
15 years 4 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
101
click to vote
MONET
2010
14 years 10 months ago
2010
The vehicle sector is one of the most exciting application areas for wireless ad hoc networks and pervasive computing technologies. Vehicles are constantly being equipped with more...
122
click to vote
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
103
click to vote
APSEC
1999
IEEE
15 years 4 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
106
click to vote
JSW
2007
14 years 11 months ago
2007
—This paper presents some results in the intersection of three technological fields: e-learning, multiagent systems, and standards to improve the development of secure systems. T...