30 search results - page 6 / 6 » vl 2005 |
VL
2005
IEEE
13 years 10 months ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
VL
2005
IEEE
13 years 10 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
VL
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
VL
2005
IEEE
13 years 10 months ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
VL
2005
IEEE
13 years 10 months ago
2005
IEEE
In 1995, Boehm predicted that by 2005, there would be “55 million performers” of “end user programming” in the United States. The original context and method which generat...