845 search results - page 44 / 169 » A Formal Model of the Software Test Process |
ANSOFT
2002
15 years 10 days ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
ASWEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
121
Voted
ENTCS
2010
14 years 10 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
100
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
115
click to vote
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...