Descripción del título
Advances in software scienc...
Advances in Software Science and Technology
Monografía
monografia Rebiun25978978 https://catalogo.rebiun.org/rebiun/record/Rebiun25978978 m o d cr cnu---unuuu 141204s1992 cau o 000 0 eng d 897652003 906959470 9781483215716 electronic bk.) 1483215717 electronic bk.) 9780120371037 0120371030 CHNEW 000889551 CHVBK 374482705 DEBBG BV043615083 DEBSZ 433942509 NZ1 15917875 AU@ 000056047794 UPVA 997187126703706 OPELS eng rda pn OPELS N$T OCLCF YDXCP EBLCP DEBSZ MERUC STF OCLCQ OCLCO OCLCQ COM 051390 bisacsh COM 051230 bisacsh COM 051440 bisacsh 005.1 23 Advances in software science and technology. Volume 3 Japan Society for Software Science and Technology San Diego, CA Academic Press 1992 San Diego, CA San Diego, CA Academic Press 1 online resource 1 online resource Text txt rdacontent computer c rdamedia online resource cr rdacarrier 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 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 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 Chapter 7. Misty: An Object-Oriented Programming Language withMultiple 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 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 Advances in Software Science and Technology Computer software Computer programming COMPUTERS- Programming- Open Source COMPUTERS- Software Development & Engineering- General COMPUTERS- Software Development & Engineering- Tools Computer programming Computer software Electronic books Nihon Sofutowea Kagakkai Print version Advances in Software Science and Technology 0120371030 (OCoLC)26306805