1137 search results - page 71 / 228 » Disciplined Methods of Software Specification: A Case Study |
ISIM
2007
14 years 11 months ago
2007
The paper discusses a choice of appropriate software architecture with regards to the specifications of embedded applications as information systems particularly used in area of ra...
TOOLS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
ERLANG
2006
ACM
15 years 3 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
WICSA
2001
14 years 11 months ago
2001
Product lines evolve out of existing products. In order to evaluate the potential of creating a product line from existing products it is necessary to `mine' their architectu...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...