1912 search results - page 301 / 383 » XML Technologies and Software Engineering |
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
100
click to vote
INTERACT
2003
15 years 18 days ago
2003
: An increasing number of consumer products for everyday use offer the user advanced programming capabilities. Existing technologies offer the potential to design human-product int...
ICWS
2009
IEEE
15 years 8 months ago
2009
IEEE
: © Reiki: Serviceability Architecture and Approach for Reduction and Management of Product Service Incidents Chris Connelly, Brian Cox, Tim Forell, Rui Liu, Dejan Milojicic, Alan...
SE
2007
15 years 20 days 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...
102
click to vote
SIGSOFT
2009
ACM
15 years 12 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...