Automated software synthesis: An application in mechanical CAD Article

Bhansali, S, Hoar, TJ. (1998). Automated software synthesis: An application in mechanical CAD . IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 24(10), 848-862. 10.1109/32.729684

cited authors

  • Bhansali, S; Hoar, TJ

publication date

  • October 1, 1998

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Engineering
  • Engineering, Electrical & Electronic
  • REUSE
  • Science & Technology
  • Technology
  • domain engineering
  • geometric constraint-satisfaction
  • planning
  • program synthesis
  • reuse

Digital Object Identifier (DOI)

publisher

  • IEEE COMPUTER SOC

start page

  • 848

end page

  • 862

volume

  • 24

issue

  • 10