2748 search results - page 191 / 550 » Generating Object-Z Specifications from Use Cases |
100
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
122
click to vote
SOFTWARE
2002
15 years 11 days ago
2002
We consider the problem of characterisation of sequences of heterogeneous symbolic data that arise from a common underlying temporal pattern. The data, which are subject to impreci...
86
Voted
ECIS
2003
15 years 2 months ago
2003
The paper describes and analyzes the way in which a particular case company stimulated the development of communities of practice as a vehicle for encouraging product and process ...
129
click to vote
BMCBI
2007
15 years 22 days ago
2007
Background: The Affymetrix™ technology is nowadays a well-established method for the analysis of gene expression profiles in cancer research studies. However, changes in gene ex...
116
Voted
TOOLS
2000
IEEE
15 years 5 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 ...