4476 search results - page 94 / 896 » Modeling software architectures in the Unified Modeling Lang... |
165
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
102
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
107
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
143
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...