19 search results - page 1 / 4 » A Fully Abstract Semantics for UML Components |
FMCO
2004
Springer
13 years 10 months ago
2004
Springer
UML
2001
Springer
13 years 9 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
DSVIS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
UML
2000
Springer
13 years 8 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...