Riccardo Di Stefano

software engineering development mobile application development application thesis computerscience automata ltl temporally extended goals planning model process business model bpm computer photo pictures software development photography turismo photos android