• Kĩ thuật lập trình - Chapter 16: Software reuseKĩ thuật lập trình - Chapter 16: Software reuse

    Application system reuse The whole of an application system may be reused either by incorporating it without change into other systems (COTS reuse) or by developing application families. Component reuse Components of an application from sub-systems to single objects may be reused. Covered in Chapter 17. Object and function reuse Software compo...

    pptx52 trang | Chia sẻ: huyhoang44 | Ngày: 17/03/2020 | Lượt xem: 624 | Lượt tải: 0

  • Kiến trúc máy tính và hợp ngữ - Chapter 15: Logic programmingKiến trúc máy tính và hợp ngữ - Chapter 15: Logic programming

    Program state can be modeled as a list of pairs. E.g., [[x,1], [y,5]] Function to retrieve the value of a variable from the state: get(Var, [[Var, Val] | _], Val). get(Var, [_ | Rest], Val) :- get(Var, Rest, Val). E.g., ?- get(y, [[x, 5], [y, 3], [z, 1]], V). V = 3

    ppt22 trang | Chia sẻ: huyhoang44 | Ngày: 17/03/2020 | Lượt xem: 743 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 15: Logic programmingKĩ thuật lập trình - Chapter 15: Logic programming

    Prolog programs are made from terms, which can be: Variables Constants Structures Variables begin with a capital letter, like Bob. Constants are either integers, like 24, or atoms, like the, zebra, ‘Bob’, and ‘.’. Structures are predicates with arguments, like: n(zebra), speaks(Y, English), and np(X, Y) The arity of a structure is its numb...

    ppt20 trang | Chia sẻ: huyhoang44 | Ngày: 17/03/2020 | Lượt xem: 619 | Lượt tải: 0

  • Kĩ thuật lập trình - Chương 15: Streams and filesKĩ thuật lập trình - Chương 15: Streams and files

    A file can be treated as an input or output stream. In reality file streams are buffered for efficiency: it is not practical to read or write one character at a time from or to mass storage. It is common to treat text files as streams.

    ppt21 trang | Chia sẻ: huyhoang44 | Ngày: 17/03/2020 | Lượt xem: 694 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 15: Dependability and security assuranceKĩ thuật lập trình - Chapter 15: Dependability and security assurance

    Testing software for reliability rather than fault detection. Measuring the number of errors allows the reliability of the software to be predicted. Note that, for statistical reasons, more errors than are allowed for in the reliability specification must be induced. An acceptable level of reliability should be specified and the software tested ...

    pptx47 trang | Chia sẻ: huyhoang44 | Ngày: 17/03/2020 | Lượt xem: 614 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 14: Functional programmingKĩ thuật lập trình - Chapter 14: Functional programming

    They emerged in the 1960’s with Lisp Functional programming mirrors mathematical functions: domain = input, range = output Variables are mathematical symbols: not associated with memory locations. Pure functional programming is state-free: no assignment Referential transparency: a function’s result depends only upon the values of its parameters...

    ppt18 trang | Chia sẻ: huyhoang44 | Ngày: 17/03/2020 | Lượt xem: 717 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 14: Security engineeringKĩ thuật lập trình - Chapter 14: Security engineering

    Risk management is concerned with assessing the possible losses that might ensue from attacks on the system and balancing these losses against the costs of security procedures that may reduce these losses. Risk management should be driven by an organisational security policy. Risk management involves Preliminary risk assessment Life cycle risk ...

    pptx48 trang | Chia sẻ: huyhoang44 | Ngày: 17/03/2020 | Lượt xem: 924 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 14: Installation and operationsKĩ thuật lập trình - Chapter 14: Installation and operations

    Conversion is the technical process by which a new system replaces an old system Three major steps to a conversion plan Acquire and install needed hardware Install software Convert data Three dimensions to a conversion plan Conversion style Conversion location Conversion modules

    ppt28 trang | Chia sẻ: huyhoang44 | Ngày: 17/03/2020 | Lượt xem: 822 | Lượt tải: 0

  • Kĩ thuật lập trình - Searching and sortingKĩ thuật lập trình - Searching and sorting

    Benchmarks uses the java.util.Random class — a more controlled way to generate random numbers. Constructors: If we set the same seed, we get the same “random” sequence.

    ppt42 trang | Chia sẻ: huyhoang44 | Ngày: 17/03/2020 | Lượt xem: 717 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 13: Object - Oriented programmingKĩ thuật lập trình - Chapter 13: Object - Oriented programming

    Imperative programming paradigm Algorithms + Data Structures = Programs [Wirth] Produce a program by functional decomposition Start with function to be computed Systematically decompose function into more primitive functions Stop when all functions map to program statements

    ppt52 trang | Chia sẻ: huyhoang44 | Ngày: 17/03/2020 | Lượt xem: 862 | Lượt tải: 0