16859 search results - page 79 / 3372 » Generative software development |
112
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
137
click to vote
GRAPHICSINTERFACE
2004
15 years 3 months ago
2004
In this paper we present a novel hardware and software platform (STARS) to realize computer augmented tabletop games that unify the strengths of traditional board games and comput...
165
click to vote
WMC
2004
15 years 2 months ago
2004
: Testing of a software application serves the accomplishment of two dis tinct objectives: ensuring functionality and end-user acceptance. However, with an increasing desire for mo...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Considerable research has taken place in recent times in the area of parameterization of software defined radio (SDR) architecture. Parameterization decreases the size of the soft...
125
Voted
EWSA
2004
Springer
15 years 7 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...