1311 search results - page 148 / 263 » Managing Model Quality in UML-Based Software Development |
107
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Component-Based Development(CBD) is an emerging discipline for promoting practical reuse of software. In CBD, by building new software with independently developed components, we ...
129
click to vote
MAGS
2008
15 years 4 months ago
2008
This paper is about business modelling and negotiation protocol design in distributed scheduling, where individual agents have individual (potentially conflicting) interests. It i...
151
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
119
click to vote
ENVSOFT
2006
15 years 4 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
140
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...