529 search results - page 27 / 106 » Dynamic Deployment of Executing and Simulating Software Comp... |
FIDJI
2003
Springer
15 years 3 months ago
2003
Springer
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
117
click to vote
LCTRTS
2000
Springer
15 years 1 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
DAGSTUHL
2009
14 years 10 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
COMPSAC
1998
IEEE
15 years 2 months ago
1998
IEEE
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...