897 search results - page 65 / 180 » Reuse, Validation and Verification of System Development Pro... |
88
Voted
SIMUTOOLS
2008
15 years 1 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
111
click to vote
AMTA
2004
Springer
15 years 5 months ago
2004
Springer
MT systems that use only superficial representations, including the current generation of statistical MT systems, have been successful and useful. However, they will experience a p...
IC3
2010
15 years 2 days ago
2010
The paper presents a software re-engineering approach that is being used by a consortium of eleven academic institutions facilitated by a software engineering group to re-engineer ...
IWPC
1996
IEEE
15 years 4 months ago
1996
IEEE
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...
ICSE
2008
IEEE-ACM
16 years 21 days ago
2008
IEEE-ACM
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...