754 search results - page 51 / 151 » Requirements for Automotive System Engineering Tools |
EMSOFT
2010
Springer
13 years 6 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
HICSS
1997
IEEE
14 years 27 days ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
CSMR
2002
IEEE
14 years 1 months ago
2002
IEEE
To successfully carry out a software maintenance or reengineering task, a suitably assembled set of tools is required, which interoperate seaminglessly. To achieve this goal, an e...
IWPC
2002
IEEE
14 years 1 months ago
2002
IEEE
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...