12745 search results - page 358 / 2549 » Automating test automation |
138
Voted
VSMM
2007
Springer
16 years 25 days ago
2007
Springer
Prototypes for automated spatial layout in architecture focus on approaches, which define occupiable space as an orthogonal 2D-grid and use algorithms to allocate each rectangle o...
156
click to vote
WECWIS
2006
IEEE
16 years 22 days ago
2006
IEEE
Success in today’s marketing arena can often depend on companies embracing effective new technologies and integrating them into their business model. In the computing service su...
171
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
159
click to vote
ECRTS
2005
IEEE
16 years 10 days ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
167
click to vote
ICSM
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents a human–guided automated approach to refactoring object oriented programs to the aspect oriented paradigm. The approach is based upon the iterative applicati...