MetaFrame in Practice: Design of Intelligent Network Services - Correct System Design: Recent Insights and Advances - page 401

References

1. Digilog, Inc.: Atelier-b online. http://www.atelierb.societe.com/index_uk.html
2. B-Core(UK) Ltd., B-tool documentation. http://www.b-core.com/
3. M. von der Beeck, B. Steen, T. Margaria: \ A Formal Requirements Engineering
Method and an Environment for Specication, Synthesis, and Verication ", Proc.
of SEE '97, 8th IEEE Conference on Software Engineering Environments, Cottbus
(Germany) 8-9 April 1997.
4. P. K. Bohacek, J. N. White: \ Service Creation: The Real Key to Intelligent Network
Revenue ", Proc. Workshop Intelligent Networks '94, Heidelberg, May 24-26, 1994.
5. V. Braun, T. Margaria, B. Steen, H. Yoo: Automatic Error Location for IN Service
Denition , Proc. AIN'97, 2nd Int. Workshop on Advanced Intelligent Networks,
Cesena, 4.-5. Juli 1997, in \Services and Visualization: Towards User-Friendly De-
sign', LNCS 1385, Springer Verlag, Marz 1998, pp.222-237.
6. V. Braun, T. Margaria, B. Steen, H. Yoo, T. Rychly: Safe Service Customiza-
tion , Proc. IN'97, IEEE Communication Soc. Workshop on Intelligent Network,
Colorado Springs, CO (USA), 4-7 May 1997, IEEE Comm. Soc. Press.
7. V. Braun, T. Margaria, C. Weise: Integrating Tools in the ETI Platform , [25],

pp.31-48.
8. Design/CPN Online. http://www.daimi.au.dk/designCPN/
9. J. Garrahan, P. Russo, K. Kitami, R. Kung: \ Intelligent Network Overview ," IEEE
Communications Magazine, March 1993, pp. 30-37.
10. J.A. Goguen, Luqi: \ Formal Methods and Social Context in Software Develop-
ment ," (invited talk) 6th Int. Conf. on Theory and Practice of Software Develop-
ment (TAPSOFT'95), Aarhus (Denmark), May 1995, LNCS N.915, pp.62-81.
11. D. Harel, M. Politi: Modeling Reactive Systems With Statecharts : The Statemate
Approach , McGraw Hill, October 1998, ISBN: 0070262055
12. J. Hofmann: Program Dependent Abstract Interpretation , Diplomarbeit, Fakultat
fur Mathematik und Informatik, Universitat Passau, August 1997.
13. L. Kristensen, S. Christensen, K. Jensen: The Practitioner's Guide to coloured
Petri Nets , STTT, Int. Journal on Software Tools for Technology Transfer, Vol.2,
N.2, pp.98-132, December 1998, Springer Verlag, DOI 10.1007/s100099800003.
14. P. Leblanc: OMT and SDL based techniques and tools for design, simulation and
test production of distributed systems STTT, Int. Journal on Software Tools for
Technology Transfer, Volume 1 Issue 1+2 (1997) pp. 153-165, December 1997,
Springer Verlag.
15. R. Milner: Communication and Concurrency , Prentice-Hall, 1989.
16. Oracle, Inc. Oracle Designer information page.
http://www.oracle.com/tools/designer .
17. The Raise Project homepage.

http://dream.dai.ed.ac.uk/raise/
18. Rational, Inc. The Rational Suite description.
http://www.rational.com/products .
19. B. Steen, T. Margaria, V. Braun: The Electronic Tool Integration platform: con-
cepts and design , [25], pp. 9-30.
20. B. Steen, T. Margaria, A. Claen, V. Braun, M. Reitenspie: \ An Environment
for the Creation of Intelligent Network Services ", invited contribution to the topic
\Intelligent Networks: IN/AIN Technologies, Operations, Services, and Applica-
tions { A Comprehensive Report" Int. Engineering Consortium, Chicago IL, 1996,
pp. 287-300 { also invited to the Annual Review of Communications , IEC, 1996,
pp. 919-935.