“The hardest single part of building a software system is deciding what to build. No part of the work so cripples the resulting system if done wrong. No other part is more difficult to rectify later.” – Fred Brooks One challenge of software engineering is the ability to seamlessly move from requirements to analysis models to design models. This process typically involves a series of transformations from one model to another. In order to precisely define these transformations, the syntax and the semantics of each model involved need to be formally defined. My PhD research concentrates on the definition of such formal semantics. In particular I will focus on scenario-based notations, which play a central role in the documentation of functional requirements for interactive applications. Relevant publications resulting from my doctoral research as well as from the research carried out during my Masters and Diploma studies can be found on the list of publications . As a researcher I am a member of the IFIP 13.2 Working Group "Methodologies for User-Centered Systems Design". I also serve on the program committee of the following conferences and workshops: -Formal Methods for Interactive Systems 2007
Daniel Sinnig is Montreal-based company (Quebec, Canada) with a phone number 5143473639. Our data show that the company is located at the address: 1455 De Maisonneuve Blvd W. The company has a web site: www.dsinnig.com.
Unfortunately сompany staff has not yet provided of company's activities, mission and detailed description.