1356 search results - page 61 / 272 » The ideal of verified software |
100
click to vote
ICESS
2005
Springer
15 years 5 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
ECSA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
ASE
2006
14 years 12 months ago
2006
Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...
IAJIT
2010
14 years 10 months ago
2010
: The software capability maturity model has become a popular model for enhancing software development processes with the goal of developing high-quality software within budget and...
106
click to vote
CASES
2010
ACM
14 years 10 months ago
2010
ACM
Dynamic binary translators (DBTs) are becoming increasingly important because of their power and flexibility. However, the high memory demands of DBTs present an obstacle for all ...