LEADER 07036nam 22007695 450 001 996465898803316 005 20200706122833.0 010 $a3-540-39866-X 024 7 $a10.1007/b94823 035 $a(CKB)1000000000212281 035 $a(SSID)ssj0000325613 035 $a(PQKBManifestationID)11230912 035 $a(PQKBTitleCode)TC0000325613 035 $a(PQKBWorkID)10324592 035 $a(PQKB)11552588 035 $a(DE-He213)978-3-540-39866-0 035 $a(MiAaPQ)EBC3088028 035 $a(PPN)155226339 035 $a(EXLCZ)991000000000212281 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPerspectives of Systems Informatics$b[electronic resource] $e5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /$fedited by Manfred Broy, Alexandre V. Zamulin 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XIII, 572 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2890 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-20813-5 320 $aIncludes bibliographical references and index. 327 $aProgramming Issues -- The Verifying Compiler: A Grand Challenge for Computing Research -- Linear Types for Cashflow Reengineering -- Storing Properties in Grouped Tagged Tuples -- A Polymorphic Radix-n Framework for Fast Fourier Transforms -- Intersecting Classes and Prototypes -- Software Engineering -- Bending without Breaking: Making Software More Flexible -- Program Construction in the Context of Evolutionary Computation -- A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development -- Software Education -- The Outside-In Method of Teaching Introductory Programming -- Program Synthesis, Transformation, and Semantics -- Numeric Types in Formal Synthesis -- On the Possibility of Provably Secure Obfuscating Programs -- Verification-Oriented Language C-Light and Its Structural Operational Semantics -- Proofs-as-Imperative-Programs: Application to Synthesis of Contracts -- Graphical Interfaces -- On the Visualization and Aesthetics of Large Graphs -- Data Mappings in the Model-View-Controller Pattern -- Partial Evaluation and Supercompilation -- The Translation Power of the Futamura Projections -- A Compiler Generator for Constraint Logic Programs -- The Supercompiler SCP4: General Structure -- Partial Evaluation for Common Intermediate Language -- Verification -- Timed Verification with ?CRL -- Verification of Distributed Dataspace Architectures -- Using SPIN and STeP to Verify Business Processes Specifications -- Integrating Tools for Automatic Program Verification -- Logic and Types -- A Logical Reconstruction of Reachability -- Recent Advances in ?-Definability over Continuous Data Types -- Concurrent and Distributed Systems -- Open Maps and Trace Semantics for Timed Partial Order Models -- Confidentiality for Multithreaded Programs via Bisimulation -- Dynamic Modification of System Structures Using LLPNs -- Concurrent and Reactive Systems -- Principles for Entity Authentication -- Causality and Replication in Concurrent Processes -- Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems -- Teams of Pushdown Automata -- Program Specification -- Algebraic State Machines: Concepts and Applications to Security -- Combining Aspects of Reactive Systems -- OCL Extended with Temporal Logic -- The Definition of Transitive Closure with OCL ? Limitations and Applications ? -- Verification and Model Checking -- Improving the Consistency Checking Process by Reusing Formal Verification Knowledge -- Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework -- Polynomial Approximations for Model Checking -- Constraint Programming -- Separating Search and Strategy in Solver Cooperations -- Industrial Application of External Black-Box Functions in Constraint Programming Solver -- LGS: Geometric Constraint Solver -- On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method -- Documentation and Testing -- PROG ? A New Program Documentation System -- Integration of Functional and Timed Testing of Real-Time and Concurrent Systems -- Test Case Generation for UML Statecharts -- Databases -- Conceptual Content Modeling and Management -- A Relational Algebra for Functional Logic Deductive Databases -- Implication of Functional Dependencies for Recursive Queries -- TeXOR: Temporal XML Database on an Object-Relational Database System -- Functional Dependencies, from Relational to XML -- Data-Object Replication, Distribution, and Mobility in Network Environments -- Natural Language Processing -- Multi-classification of Patent Applications with Winnow -- Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses -- An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2890 606 $aComputers 606 $aComputer logic 606 $aComputer programming 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 615 0$aComputers. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 14$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputation by Abstract Devices. 676 $a004 702 $aBroy$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZamulin$b Alexandre V$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465898803316 996 $aPerspectives of Systems Informatics$9772385 997 $aUNISA