Sciweavers

Share
CN
2002

Formal methods for communication services: meeting the industry expectations

10 years 1 months ago
Formal methods for communication services: meeting the industry expectations
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architectures and work related to the feature interaction problem. Based on our survey and on extensive discussions with the industry, we investigate important industrial concerns and criticisms about the use of formal methods for the development of communication services. We report on a collaborative project between the Swiss Federal Institute of Technology in Lausanne, Swisscom, Alcatel and Thomson in which these industrial concerns have been taken into account from the very beginning. The results of this project are currently being integrated into an industrial software development platform.
Falk Dietrich, Jean-Pierre Hubaux
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2002
Where CN
Authors Falk Dietrich, Jean-Pierre Hubaux
Comments (0)
books