Sciweavers

859 search results - page 2 / 172
» Explaining Synthesized Software
Sort
View
SIGSOFT
2004
ACM
13 years 9 months ago
Explaining abstract counterexamples
Sagar Chaki, Alex Groce, Ofer Strichman
ICSE
1999
IEEE-ACM
13 years 8 months ago
Explaining the Cost of European Space and Military Projects
Lionel C. Briand, Khaled El Emam, Isabella Wieczor...
IPPS
2007
IEEE
13 years 10 months ago
Explaining StGermain: An aspect oriented environment for building extensible computational mechanics modeling software
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
Steve Quenette, Louis Moresi, P. D. Sunter, Bill F...
KBSE
1997
IEEE
13 years 8 months ago
A Structured Approach for Synthesizing Planners from Specifications
Biplav Srivastava, Subbarao Kambhampati, Amol Datt...
ICSE
2009
IEEE-ACM
13 years 11 months ago
Creating and evolving software by searching, selecting and synthesizing relevant source code
When programmers develop or maintain software, they instinctively sense that there are fragments of code that other developers implemented somewhere, and these code fragments coul...
Denys Poshyvanyk, Mark Grechanik