Sold Out
Book Categories |
A. P. Ershov - A Pioneer and a Leader of National Programming | 1 | |
A. A. Lyapunov and A. P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts | 8 | |
The Abstract State Machine Paradigm: What Is in and What Is out | 24 | |
On Algorithmic Unsolvability | 25 | |
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially | 33 | |
On Expressive and Model Checking Power of Propositional Program Logics | 39 | |
An Extension of Dynamic Logic for Modelling OCL's @pre Operator | 47 | |
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions | 55 | |
A Transformation of SDL Specifications - A Step towards the Verification | 64 | |
Accurate Widenings and Boundedness Properties of Timed Systems | 79 | |
Adaptive Saturation-Based Reasoning | 95 | |
A Verification Approach for Distributed Abstract State Machines | 109 | |
Transformational Construction of Correct Pointer Algorithms | 116 | |
A Theoretical Foundation of Program Synthesis by Equivalent Transformation | 131 | |
Equivalent Transformation by Safe Extension of Data Structures | 140 | |
Semantics and Transformations in Formal Synthesis at System Level | 149 | |
Automated Program Synthesis for Java Programming Language | 157 | |
The Varieties of Programming Language Semantics (And Their Uses) | 165 | |
Binding-Time Analysis for Polymorphic Types | 191 | |
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus | 205 | |
Observational Semantics for Timed Event Structures | 214 | |
The Impact of Synchronisation on Secure Information Flow in Concurrent Programs | 225 | |
Dynamical Priorities without Time Measurement and Modification of the TCP | 240 | |
From ADT to UML-Like Modelling | 246 | |
Transformation of UML Specification to XTG | 247 | |
A Systematic Approach towards Object-Based Petri Net Formalisms | 255 | |
Unfoldings of Coloured Petri Nets | 268 | |
A Net-Based Multi-tier Behavior Inheritance Modelling Method | 279 | |
Specification Based Testing: Towards Practice | 287 | |
Java Specification Extension for Automated Test Development | 301 | |
Specification-Based Testing of Firewalls | 308 | |
Academic vs. Industrial Software Engineering: Closing the Gap | 317 | |
A Method for Recovery and Maintenance of Software Architecture | 324 | |
An Empirical Study of Retargetable Compilers | 328 | |
Conceptual Data Modeling: An Algebraic Viewpoint | 336 | |
Integrating and Managing Conflicting Data | 349 | |
A Knowledge Engineering Approach to Deal with 'Narrative' Multimedia Documents | 363 | |
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach | 378 | |
Reexecution-Based Analysis of Logic Programs with Delay Declarations | 395 | |
Pos(T): Analyzing Dependencies in Typed Logic Programs | 406 | |
A Prolog Tailoring Technique on an Epilog Tailored Procedure | 421 | |
Hierarchical Constraint Satisfaction Based on Subdefinite Models | 434 | |
Using Constraint Solvers in CAD/CAM Systems | 446 | |
A Graphical Interface for Solver Cooperations | 457 | |
Abstract Computability of Non-deterministic Programs over Various Data Structures | 468 | |
On Lexicographic Termination Ordering with Space Bound Certifications | 482 | |
Generalised Computability and Applications to Hybrid Systems | 494 | |
Exploring Template Template Parameters | 500 | |
Compiler-Cooperative Memory Management in Java | 511 | |
A Software Composition Language and Its Implementation | 519 | |
Editor Definition Language and its Implementation | 530 | |
Oberon-2 as Successor of Modula-2 in Simulation | 538 | |
Author Index | 547 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionPerspectives of System Informatics, Vol. 118
X
This Item is in Your InventoryPerspectives of System Informatics, Vol. 118
X
You must be logged in to review the productsX
X
X
Add Perspectives of System Informatics, Vol. 118, , Perspectives of System Informatics, Vol. 118 to the inventory that you are selling on WonderClubX
X
Add Perspectives of System Informatics, Vol. 118, , Perspectives of System Informatics, Vol. 118 to your collection on WonderClub |