Martti Soderlund

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We present an application of a modeling method for distributed systems to a case study of mobile phone camera functionality based on an existing implementation. The modeling method, Lyra, utilizes formal definitions, in this case UML2 state machines, for behavior. We observe the industrial application of the models, for instance modeling conventions and(More)
  • 1