Synthesis from Temporal Specifications: New Applications in Robotics and Model-Driven Development.

Published in: MFCS (2013)

Keyphrases

model driven development
model driven
software development
modeling language
software design
artificial intelligence
high level
software engineering
development process
service oriented architecture
data driven
business processes
business applications
web applications
lightweight
platform independent