900 search results - page 60 / 180 » A Tool-Supported Approach to Testing UML Design Models |
157
click to vote
MCS
2006
Springer
15 years 5 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...
160
click to vote
ACSC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
148
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
177
click to vote
JOT
2007
15 years 5 months ago
2007
Workflow and business process modeling approaches have become essential for designing service collaborations when developing SOA-based systems. To derive actual executable busines...
157
click to vote
SEKE
2007
Springer
15 years 11 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...