678 search results - page 62 / 136 » Extended Traits for Model Driven Software Development |
120
click to vote
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
AICCSA
2001
IEEE
15 years 4 months ago
2001
IEEE
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
97
Voted
TAICPART
2006
IEEE
15 years 6 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
118
Voted
CAISE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
89
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
The main drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms. The way MDA achieves this is by transforming a platfo...