6800 search results - page 10 / 1360 » Testing with Functions as Specifications |
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
ISMB
1997
13 years 9 months ago
1997
In bacterial cells, gene expression is regulated by multiple sigma factors, each of which has its promoter specificity, according to their conditions. Thus, if we can discriminate...
ITCC
2005
IEEE
14 years 1 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
ACHI
2008
IEEE
13 years 9 months ago
2008
IEEE
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...
CBMS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we discuss a framework for modeling the 3D lung dynamics of normal and diseased human subjects and visualizing them using an Augmented Reality (AR) based environment...