Sciweavers

859 search results - page 2 / 172
» Explaining Synthesized Software
Sort
View
SIGSOFT
2004
ACM
14 years 26 days ago
Explaining abstract counterexamples
Sagar Chaki, Alex Groce, Ofer Strichman
ICSE
1999
IEEE-ACM
13 years 11 months ago
Explaining the Cost of European Space and Military Projects
Lionel C. Briand, Khaled El Emam, Isabella Wieczor...
IPPS
2007
IEEE
14 years 1 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 11 months ago
A Structured Approach for Synthesizing Planners from Specifications
Biplav Srivastava, Subbarao Kambhampati, Amol Datt...
ICSE
2009
IEEE-ACM
14 years 2 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