Formalisation of a user view of network and services for feature interaction detection

@inproceedings{Combes1994FormalisationOA,
  title={Formalisation of a user view of network and services for feature interaction detection},
  author={Pierre Combes and Simon Pickin},
  booktitle={FIW},
  year={1994}
}
" MSCs to express service requirements as properties on an SDL model: application to service interaction detection " " Introducing formal notations in the development of object-based distributed applications " Círculo Español para la Calidad en Telecomunicación (CEICAT) 1996 " Un enfoque para la formalización del desarrollo de aplicaciones distribuidas basadas en objetos " 

From This Paper

Topics from this paper.
25 Citations
6 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-6 of 6 references

Available at (pre-proceedings

  • Available at (pre-proceedings

Many " deliverables " of the European and national projects in which I have participated

  • Many " deliverables " of the European and…

Proc. 31st Annual IEEE/NASA Software Engineering Workshop

  • Proc. 31st Annual IEEE/NASA Software Engineering…

Programme/ETAPS06programme.pdf " Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source

  • ETAPS 2006 program available at

Requirements Engineering Conf. (RE02) Avaya Labs Report LAR-2002-033 ISBN: 0-9724277-0-8 " System test synthesis from UML models of distributed software

  • Joint Co-Located With The Ieee, Int
  • Requirements Engineering Conf. (RE02) Avaya Labs…

Ver: http://www.eurescom.eu/public/projects/p400-series/p405

  • Ver: http://www.eurescom.eu/public/projects/p400…

Similar Papers

Loading similar papers…