Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism.

Bijoy Antony Jose Jason Pribble Sandeep K. Shukla

Published in: ACSD (2010)

Keyphrases

software design
knowledge representation
software tools
user interface
software systems
software development
computer systems
databases
formal model
test cases
source code
open source
software architecture
mobile devices
search algorithm
data sets
software package
analysis tool
memory efficient
software packages