245 search results - page 9 / 49 » Formal Methods in Industrial Software Standards Enforcement |
SP
1997
IEEE
13 years 11 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
ENTCS
2006
13 years 7 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
DATE
2003
IEEE
14 years 23 days ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
FMICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...