The Integration of LOTOS with an Object Oriented Development Method

@inproceedings{Hedlund1993TheIO,
  title={The Integration of LOTOS with an Object Oriented Development Method},
  author={Mikael Hedlund},
  booktitle={FME},
  year={1993}
}
A b s t r a c t . This paper describes the first step in an attempt of transferring the formal description technique (FDT) LOTOS from a research department to a development department within the Ascom Group. The existing development methods used within the department had to be taken into consideration. It was found that LOTOS would fit best as a complement… CONTINUE READING