Search Results - "Prentice Hall international series in computer science"

Refine Results
  1. 21
    Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

    Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs by CHARALAMBIDIS, ANGELOS, RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 22
    Automated translation of VDM to JML-annotated Java

    Automated translation of VDM to JML-annotated Java by Tran-Jørgensen, Peter W. V., Larsen, Peter Gorm, Leavens, Gary T.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 23
    A UTP approach for rTiMo

    A UTP approach for rTiMo by Xie, Wanling, Xiang, Shuangqing, Zhu, Huibiao

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 24
    Require, test, and trace IT

    Require, test, and trace IT by Aichernig, Bernhard K., Hörmaier, Klaus, Lorber, Florian, Ničković, Dejan, Tiran, Stefan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 25
    Factorisation of transition systems

    Factorisation of transition systems by Devillers, Raymond

    Published in Acta informatica
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 26
    NOAH: A CSP-based language for describing the behaviour of coupled models

    NOAH: A CSP-based language for describing the behaviour of coupled models by Armstrong, C. W., Ford, R. W., Freeman, T. L., Riley, G. D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 27
    Partition consistency: A case study in modeling systems with weak memory consistency and proving correctness of their implementations

    Partition consistency: A case study in modeling systems with weak memory consistency and proving correctness of their implementations by Cheng, Steven, Higham, Lisa, Kawash, Jalal

    Published in Distributed computing
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 28
    Algebraic approach to linking the semantics of web services

    Algebraic approach to linking the semantics of web services by Zhu, Huibiao, He, Jifeng, Li, Jing, Bowen, Jonathan P.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 29
    Testing coupling relationships in object-oriented programs

    Testing coupling relationships in object-oriented programs by Alexander, Roger T., Offutt, Jeff, Stefik, Andreas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 30
    Scenario‐oriented reverse engineering of complex railway system specifications

    Scenario‐oriented reverse engineering of complex railway system specifications by Issad, Melissa, Kloul, Leila, Rauzy, Antoine

    Published in Systems engineering
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 31
    Checking Object-Z Formal Specification with Z/EVES automatically

    Checking Object-Z Formal Specification with Z/EVES automatically by Cheng, Qian, Wen, Zhicheng

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 32
    Triadic Structures in Interpersonal Communication

    Triadic Structures in Interpersonal Communication by Burgin, Mark

    Published in Information (Basel)
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 33
    Categorial compositionality II: universal constructions and a general theory of (quasi-)systematicity in human cognition

    Categorial compositionality II: universal constructions and a general theory of (quasi-)systematicity in human cognition by Phillips, Steven, Wilson, William H

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 34
    A UTP approach towards probabilistic protocol verification

    A UTP approach towards probabilistic protocol verification by Bresciani, Riccardo, Butterfield, Andrew

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 35
    Categorical Properties of Soft Sets

    Categorical Properties of Soft Sets by Zhou, Min, Akram, Muhammad, Li, Shenggang

    Published in TheScientificWorld
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 36
    From verified model to executable program: the PAT approach

    From verified model to executable program: the PAT approach by Zhu, Huiquan, Sun, Jing, Dong, Jin Song, Lin, Shang-Wei

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 37
    Using independence to enable parallelism on multicore computers

    Using independence to enable parallelism on multicore computers by Knudsen, Svend E.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 38
    A Formal Model of Peer-to-Peer Digital Product Marketplace

    A Formal Model of Peer-to-Peer Digital Product Marketplace by Ehikioya, Sylvanus A.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 39
    Towards Verified Software：Mirror Theory of Programming

    Towards Verified Software：Mirror Theory of Programming by Zhang, Junfu, Zhao, Wen, Yuan, Chongyi

    Get full text
    Article
    Save to List
    Saved in:
  20. 40
    Proof-based verification approaches for dynamic properties: application to the information system domain

    Proof-based verification approaches for dynamic properties: application to the information system domain by Mammar, Amel, Frappier, Marc

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: