2253 search results - page 21 / 451 » An Approach to Specifying Software Frameworks |
MCS
2006
Springer
13 years 8 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
XPU
2005
Springer
14 years 2 months ago
2005
Springer
Executable acceptance testing allows both to specify customers’ expectations in the form of the tests and to compare those to actual results that the software produces. The resul...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper shows how an architecture description notation that has support for timed events can be used to provide a meta-language for specifying exact communication semantics. Th...
ICSE
2000
IEEE-ACM
14 years 6 days ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
EDOC
2009
IEEE
14 years 15 days ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...