A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams :: Vitus S. W. Lam :: University of Bath, Department of Computer Science 2006 :: OBNB, the Open British National Bibliography

Publication Data

Title A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams
Author Vitus S. W. Lam
Contributor
Publisher University of Bath, Department of Computer Science
Publication date 2006
Publication location Bath
Language English

Descriptive Notes

Title appears on item as: Ph.D. dissertation: A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams.
Originally presented as the author's thesis (Ph.D.)--University of Bath, 2006.

Topics

Statecharts (Computer science)
UML (Computer science)

Catalogue Data

OBNB ID GBB003475
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 223 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams by Vitus S. W. Lam. Published by University of Bath, Department of Computer Science in 2006. Publication and catalogue information, links to buy online and reader comments.