Search Results - "Reusable Program Component"

  • Showing 1 - 9 results of 9
Refine Results
  1. 1

    Specification Composition for the Verification of Message Passing Program Composition

    Authors: J. Y. Cotronis Z. Tsiatsoulis The Pennsylvania State University CiteSeerX Archives

    Contributors: J. Y. Cotronis Z. Tsiatsoulis The Pennsylvania State University CiteSeerX Archives

    Source: http://www.di.uoa.gr/~ensemble/PDF/09.pdf.

    Subject Terms: Message Passing Composition, Specification Composition, Reusable Program Component, Reusable Specification Component, Software Reliability, Coloured Petri Net

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294; http://www.di.uoa.gr/~ensemble/PDF/09.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294
    http://www.di.uoa.gr/~ensemble/PDF/09.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Efficient program composition on Parix by the Ensemble methodology.

    Authors: Cotronis, J.Y.

    Source: Proceedings of EUROMICRO 96 22nd Euromicro Conference Beyond 2000: Hardware & Software Design Strategies; 1995, p545-552, 8p

    Full Text Finder
    Save to List
  3. 3

    RECORDING MEDIUM, IMAGE GENERATION DEVICE, AND PROGRAMMABLE CONTROLLER SYSTEM

    Find this record on USPTO
    Save to List
  4. 4

    Design Patterns in Object-Oriented ABAP

    Authors: Igor Barbaric

    Resource Type: eBook.

    Subjects: Software patterns, Object-oriented programming languages, ABAP/4 (Computer program language)

    Categories: COMPUTERS / General

    Save to List
  5. 5

    Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

    Authors: Zhiming Liu Jifeng He

    Resource Type: eBook.

    Subjects: Computer software, Component software--Mathematical models, Computer programs

    Categories: COMPUTERS / Software Development & Engineering / General

    Full Text Finder
    Save to List
  6. 6

    Program creation support device

    View record in USPTO Patent Grants
    Save to List
  7. 7

    PROGRAM CREATION SUPPORT DEVICE

    Find this record on USPTO
    Save to List
  8. 8

    Beginning Visual C++ 6

    Authors: Horton, Ivor

    Resource Type: eBook.

    Subjects: C++ (Computer program language)

    Categories: COMPUTERS / Programming / Microsoft

    Save to List
  9. 9

    Software Engineering for Parallel and Distributed Systems

    Authors: Innes Jelly Ian Gorton Peter Croll

    Resource Type: eBook.

    Subjects: Software engineering

    Categories: COMPUTERS / Software Development & Engineering / General

    Save to List

Search Tools: