4476 search results - page 832 / 896 » A flexible framework for engineering |
145
click to vote
SE
2007
15 years 7 months ago
2007
Abstract: In diesem Artikel erl¨autern wir die Erfahrungen, die wir bis zum jetzigen Zeitpunkt im Zuge der Portierung einer komplexen Anwendung auf die .NETPlattform sammeln konnt...
177
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Vortex breakdowns and flow recirculation are essential phenomena in aeronautics where they appear as a limiting factor in the design of modern aircrafts. Because of the inherent i...
172
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
148
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
202
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...