3706 search results - page 8 / 742 » The Transformational Approach to Program Development |
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
TOOLS
1992
IEEE
13 years 11 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
STEP
2005
IEEE
14 years 1 months ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
—Simplified order-16 Integer Cosine Transform (ICT) has been proved to be an efficient coding tool especially for High-Definition (HD) video coding and is much simpler than ICT a...
ACTA
2004
13 years 7 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...