715 search results - page 54 / 143 » Application of Formal Methods to the Development of a Softwa... |
WCRE
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
FMICS
2006
Springer
14 years 13 days 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...
FMICS
2009
Springer
14 years 3 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
JSS
2002
13 years 8 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...