rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Advances in software science and technology
    part number: Volume 3
  name:
    name part: ScienceDirect (Online service)
  name:
    name part: Nihon Sofutowea Kagakkai
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: cau
    date issued: 1992
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource
  abstract: Advances in Software Science and Technology.
  table of contents: Front Cover; Advances in Software Science and Technology; Copyright Page; Table of Contents; Part I: Research Contributions; Part II: Society News; Editor's Message; Ikuo Nakata; Contents of Previous Volumes; Chapter 1. Prototyping a System of Writing Tools for JapaneseDocuments; 1 Introduction; 2 Features of Japanese Documents; 3 Development Policy; 4 First Version of SUIKOU; 5 Addition and Determination of Functions; 6 Improvement of Efficiency; 7 Modification of User Interface; 8 Environment and Coding Method; 9 Discussion; 10 Conclusions; References.
  table of contents: Chapter 2. Attribute Grammar EvaluationSystem for Natural-Language Processing1 Introduction; 2 Informal Description of CAGs; 3 Principles of the CAG Evaluator; 4 Application to Natural-Language Processing; 5 Conclusion; References; Chapter3. An Object-Oriented Implementation of TCP/IP Network Protocols; 1 Introduction; 2 Implementation Model; 3 Implementation Model and Object-Oriented Programming; 4 Implementation in Object-Oriented Programming; 5 Evaluation; 6 Summary; References; Chapter 4. RACCO: A Modal-Logic Programming Language for Writing Modelsof Real-Time Process-Control Systems.
  table of contents: 1 Introduction2 A Primer of RACCO; 3 Semantics and Implementation; References; Chapter 5. Formalizing Computer Program Traces; 1 Introduction; 2 T-equivalence between Programs; 3 Stereoscopic Program Extension; 4 Natural Numbers and S-Expressions; 5 Concluding Remarks; References; Chapter 6. Regular Expressions with Semantic Rules and TheirApplication to Data Structure Directed Programs; 1 Introduction; 2 Explanation by Simple Examples; 3 Regular Expressions with Semantic Rules and Their Automata; 4 Application to Data-Structure-Directed Programs; 5 Conclusion; References.
  table of contents: Chapter 7. Misty: An Object-Oriented Programming Language with Multiple Inheritance and Strict Type-Checking1 Introduction; 2 Object-Oriented Programming Languages and Types; 3 Design of the Misty Language; 4 The Compiler; 5 Programming in Misty; 6 Conclusions; References; Chapter 8. The Semantics of an Object-Oriented Concurrent Programming Language: Process AlgebraicApproach; 1 Introduction; 2 Notation; 3 Concurrent Object-Oriented Language Mono; 4 Process Algebra Model ECCS; 5 Transformation from Mono to ECCS; 6 Summary; References; Chapter 9. Floating-Point Numbers and Real Numbers II.
  table of contents: 1 Introduction2 The Structure of Floating-Point Round-offArithmetic; 3 Research Results; 4 Conclusion; References; Chapter 10. Constraint Dependency Grammarand Its Weak Generative Capacity; 1 Introduction; 2 Constraint Dependency Grammar: Definition; 3 Weak Generative Capacity of CDG; 4 Conclusion; References; Chapter 11. Rules for Submission of EnglishPapers and English Paper Style Guidelines; 1 Rules for Submission of English Papers; 2 English Paper Style Guidelines; Author's Guide; 1 Introduction; 2 Sending an Article; 3 Offprints.
  note: Japan Society for Software Science and Technology.
  subject:
    topic: Computer software
  subject:
    topic: Computer programming
  subject:
    topic: Software
  subject:
    topic: Logiciels
  subject:
    topic: Programmation (Informatique)
  subject:
    topic: software
  subject:
    topic: computer programming
  subject:
    topic: COMPUTERS
    topic: Programming
    topic: Open Source
  subject:
    topic: COMPUTERS
    topic: Software Development & Engineering
    topic: General
  subject:
    topic: COMPUTERS
    topic: Software Development & Engineering
    topic: Tools
  subject:
    topic: Computer programming
  subject:
    topic: Computer software
  classification: QA76.754
  classification: 005.1
  related item:
    title info:
      title: Advances in Software Science and Technology
    identifier: (OCoLC)26306805
  identifier: 9781483215716
  identifier: 1483215717
  identifier: 9780120371037
  identifier: 0120371030
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OPELS
    record creation date: 141204
    record change date: 20260326212322.3
    record identifier: in00005758005
    language of cataloging:
      language term: eng