Information Technology Reference
In-Depth Information
21. B. Steen, T. Margaria, A. Claen, V. Braun:
Incremental Formalization: a Key
to Industrial Success
, in \Software: Concepts and Tools", Vol.17(2), pp. 78-91,
Springer Verlag, July 1996. Tool presentation in AMAST'96, Munich, Juli 1996,
LNCS, Springer Verlag.
22. B. Steen, T. Margaria, A. Claen, V. Braun, M. Reitenspie, H. Wendler:
Ser-
vice Creation: Formal Verication and Abstract Views
, Proc. 4th Int. Conf. on
Intelligent Networks (ICIN'96), Nov. 1996, Bordeaux (France), pp. 96-101.
23. B. Steen, T. Margaria, V. Braun, N. Kalt:
Hierarchical Service Denition
, Annual
Review of Communic., Int. Engineering Consortium, Chicago, 1997, pp.847-856.
24. C. Stirling:
Modal and Temporal Logics
,In
Handbook of Logics in Computer Sci-
ence
, Vol. 2, pp. 478 { 551, Oxford Univ. Press, 1995.
25.
Special section on the Electronic Tool Integration Platform
, Int. Journal on
Software
Tools for Technology Transfer
, Vol. 1, Springer Verlag, November 1997
26. Telelogic AB. Tau's description.
http://www.telelogic.com/solution/tau.asp
27. Mike Wrax, Mark Syrett: \
Service Creation Using the Hewlett-Packard Service
Creation Environment
", Proc. Workshop Intelligent Networks'94, Heidelberg, May
24-26, 1994.