These papers constitute the proceedings of the Seventh Asia-Pacific Software Engineering Conference (APSEC 2000). They address: software evolution; Internet applications engineering; requirements engineering; software architectures; software agents; tools and environments; and more.Checking Compositions of UML Sequence Diagrams for Timing Inconsistency Xuandong Lia#39; State Key Laboratory of Novel Software ... Abstract For real-time systems, UML sequence diagrams describe interaction among objects, which show the scenarios of system ... of UML sequence diagrams, which describes a simple connection establishment protocol in a telecommunication system exampled in [6].
Title | : | 7th Asia-Pacific Software Engineering Conference |
Author | : | |
Publisher | : | IEEE - 2000-01-01 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works: