Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a Travel Service Application

Rey Abe, Martin Beinhart, Stefan Biffl, eva Kühn, Markus Ly, Bettina Thurnher. Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a Travel Service Application . In Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, editors, International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Volume TR-2004-6 of Technical Report, pages 42-44, Department of Computer Science, University of Cyprus, 2004.

@inproceedings{AbeBBKLT04,
  title = {Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a  Travel Service Application },
  author = {Rey Abe and Martin Beinhart and Stefan Biffl and eva Kühn and Markus Ly and Bettina Thurnher},
  year = {2004},
  tags = {case study, mobile},
  researchr = {https://researchr.org/publication/AbeBBKLT04},
  cites = {0},
  citedby = {0},
  pages = {42-44},
  booktitle = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
  editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspieß},
  volume = {TR-2004-6},
  series = {Technical Report},
  publisher = {Department of Computer Science, University of Cyprus},
}