ITU-T, Z.100 --- Specification and Description Language (SDL), ITUT, 2000 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Modeling and Analyzing Software Behavior in UML - Porres (2001) (Correct)
....sequence and collaboration diagrams. Sequence diagrams focus on the ordering of the exchanged messages. There is an implicit time line that flows from the top to the bottom of the diagram. Sequence diagrams are similar to the Message Sequence Charts [53] used in other graphical languages like SDL [52]. Collaboration diagrams are interaction diagrams that focus on the relationships between objects. Messages can include sequence numbers, so it is still possible to order the sequence in time, although this requires some work from the reader. UML adopted the collaboration diagrams from the Booch ....
ITU-T. ITU-T Recommendation Z.100: Specification and Description Language (SDL). ITU-T, Geneva, 1988.
Debugging UML Designs with Model Checking - Gallardo, Merino, Pimentel (2002) (2 citations) (Correct)
No context found.
ITU-T, Z.100 --- Specification and Description Language (SDL), ITUT, 2000
Integration of Reliability and Performance.. - Gallardo.. (2005) (Correct)
No context found.
ITU-T. Z.100 - Specification and Description Language (SDL), 2000.
Jonathan Aldrich - Requirements For The (Correct)
No context found.
ITU-T. Recommendation Z.100, Specification and Description Language (SDL). Geneva, Switzerland, November 1999.
Using Types to Enforce Architectural Structure - Jonathan Aldrich School (2003) (6 citations) (Correct)
No context found.
ITU-T. Recommendation Z.100, Specification and Description Language (SDL). Geneva, Switzerland, November 1999.
Int J STTT (2000) 2: 394--409 2000 Springer-Verlag.. - Protocol Giop Using (Correct)
No context found.
ITU-T. Recommendation Z.100: Specification and Description Language (SDL), Annex F3: Dynamic semantics. Geneva, Switzerland, 1993
Int J STTT (2000) 2: 394--409 2000 Springer-Verlag.. - Protocol Giop Using (Correct)
No context found.
ITU-T. Recommendation Z.100: Specification and Description Language (SDL). Geneva, Switzerland, 1993
Discovering Service Opportunities by Evaluating Service Goals - Sanders, Bræk (2004) (Correct)
No context found.
ITU-T: Specification and Description Language (SDL), Z.100, Geneva (2002)
Using UML 2.0 Collaborations for Compositional.. - Sanders.. (2005) (Correct)
No context found.
ITU-T Recommendation Z.100: Specification and Description Language (SDL). (2002)
Communication Patterns for Expressing - Real-Time Requirements Using (2004) (Correct)
No context found.
ITU-T Rec. Z.100 (1999). Specification and Description Language (SDL). International Telecommunication Union (ITU-T), Geneve.
Tr-A-03-07 - Communication Patterns For (Correct)
No context found.
ITU-T Rec. Z.100 (1999). Specification and Description Language (SDL). International Telecommunication Union (ITU-T), Geneve.
Algebraic Process Verification - Groote, Reniers (5 citations) (Correct)
No context found.
ITU-T. Recommendation Z.100: Specification and Description Language (SDL). ITU-T, Geneva, June 1994.
On the Fundamental Design Gap in Terabit per Second Packet .. - Verhappen Ibm Research (Correct)
No context found.
ITU-T Recommendation Z.100, Specification and Description Language (SDL), Nov. 1999.
Verification of SDL Specifications on the Basis of Stream Semantics - Hinkel (Correct)
No context found.
ITU-T. Recommendation Z.100, Specification and Description Language (SDL). 1993.
Behaviour Specifications: Equivalence And Refinement - von der Beeck (2000) (Correct)
No context found.
ITU-T. Specification and description language (SDL). Recommendation Z.100 (11/99), ITU, 1999.
Confirming Configurations in EFSM Testing - Petrenko, Boroday, Groz (2004) (Correct)
No context found.
ITU-T, Recommendation Z.100-Specification and Description Language (SDL), Geneva, 1994.
Checking consistency of SDL+MSC - Specifications Deepak Souza (Correct)
No context found.
ITU-T Recommendation Z.100: Specification and Description Language (SDL). ITU, Geneva (1999).
Conference of Phd Students in Computer Science - Csendes (2002) (Correct)
No context found.
ITU-T Recommendation Z.100 - Specification and Description Language, 1996
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC