5434 search results - page 23 / 1087 » Tool support for MOLA |
ECMDAFA
2006
Springer
14 years 2 months ago
2006
Springer
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...
ENTCS
2007
13 years 11 months ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
APSEC
2005
IEEE
14 years 4 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
Reconfigurable computing based on partial reconfiguration of field programmable gate arrays (FPGAs) is yet to move to the mainstream of computing. Hardware devices that support su...
APSEC
2004
IEEE
14 years 2 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...