Leveraging UML to Deliver Correct Telecom Applications-Reference-Cited by-同舟云学术

Leveraging UML to Deliver Correct Telecom Applications

Published: Issue: Volume: Page:323-342
ISSN:
Container-title:UML for Real
language:
Short-container-title:

Author:

Baranov Sergey,Jervis Clive,Kotlyarov Vsevolod,Letichevsky Alexander,Weigert Thomas

Publisher

Kluwer Academic Publishers

Link

http://link.springer.com/content/pdf/10.1007/0-306-48738-1_15.pdf

Reference17 articles.

1. International Telecommunications Union, Method for the Characterization of Telecommunication Services supported by an ISDN and Network Capabilities of an ISDN, Recommendation I.130, 1988.

2. T. Weigert and R. Reed, “Specifying Telecommunications Systems with UML”, this volume, Chapter 14.

3. International Telecommunications Union, SDL Combined with UML, Recommendation Z.109, 1999.

4. J. Godskesen, “A Compositional Operational Semantics for Basic SDL”, Proc. of the 5th SDL Forum, North-Holland, Amsterdam, 1991.

5. J. Tsai and T. Weigert, “A logic-based requirements language for the specification and analysis of real-time systems”, Proc. 2nd Conf. Object-Oriented Real-Time Dependable Systems, Laguna Beach, 1996, pp. 8–16.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Insertion semantics of quantum interactions;PROBLEMS IN PROGRAMMING;2023-12

2. Molecular modeling in the radiation therapy. The algebraic approach;PROBLEMS IN PROGRAMMING;2022-12

3. Insertion Cognitive Architecture;Biologically Inspired Cognitive Architectures 2012;2013

4. Theory of Interaction, Insertion Modeling, and Cognitive Architectures;Information and Communication Technologies in Education, Research, and Industrial Applications;2013