353 search results - page 54 / 71 » Linking UML Models of Design and Requirement |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Software engineering projects are inherently cooperative, requiring many software engineers to coordinate their efforts to produce a large software system. Integral to this effort...
FOSSACS
2001
Springer
14 years 6 days ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
ICFEM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
WOWMOM
2005
ACM
14 years 1 months ago
2005
ACM
Ad-hoc wireless networks with multi-rate radios (such as 802.11a, b, g) require a new class of MAC/PHY aware metrics that take into account factors such as physical-layer link spe...
JCDL
2005
ACM
14 years 1 months ago
2005
ACM
Movable books provide interesting challenges for digitization and user interfaces design. We report in this paper some preliminary results in the building of a 3D visualization wo...