دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Igor V. Pottosin (auth.), Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.) سری: Lecture Notes in Computer Science 2244 ISBN (شابک) : 9783540430759, 9783540455752 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 560 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب دیدگاه های انفورماتیک سیستم: چهارمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2001 آکادمگورودوک، نووسیبیرسک، روسیه، 2 تا 6 ژوئیه، 2001 مقالات تجدید نظر شده: منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، مهندسی نرم افزار، محاسبات توسط دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دیدگاه های انفورماتیک سیستم: چهارمین کنفرانس بین المللی یادبود آندری ارشوف، PSI 2001 آکادمگورودوک، نووسیبیرسک، روسیه، 2 تا 6 ژوئیه، 2001 مقالات تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از داوری کامل چهارمین کنفرانس بین
المللی یادبود آندری ارشوف، PSI 2001، برگزار شده در
آکادمگورودوک، نووسیبیرسک، روسیه، در ژوئیه 2001 است.
50 مقاله اصلاح شده همراه با 2 مقاله یادبود دعوت شده ارائه شده
است. اختصاص داده شده به کار آندری ارشوف در طی 2 دور بررسی و
بهبود با دقت انتخاب شدند. این کتاب بخشهای موضوعی را در مورد
محاسبات و الگوریتمها، روشهای منطقی، تأیید، تبدیل و سنتز
برنامه، معناشناسی و انواع، فرآیندها و همزمانی، مشخصات UML،
شبکههای پتری، تست، ساخت نرمافزار، دادهها و پایگاههای
دانش، برنامهنویسی منطقی، برنامهنویسی محدودیت، تجزیه و تحلیل
برنامه و پیاده سازی زبان.
This book constitutes the thoroughly refereed
post-proceedings of the 4th International Andrei Ershov
Memorial Conference, PSI 2001, held in Akademgorodok,
Novosibirsk, Russia, in July 2001.
The 50 revised papers presented together with 2 invited
memorial papers devoted to the work of Andrei Ershov were
carefully selected during 2 rounds of reviewing and
improvement. The book offers topical sections on computing
and algorithms, logical methods, verification, program
transformation and synthesis, semantics and types, processes
and concurrency, UML specification, Petri nets, testing,
software construction, data and knowledge bases, logic
programming, constraint programming, program analysis, and
language implementation.
A.P. Ershov— A Pioneer and a Leader of National Programming....Pages 1-7
A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts....Pages 8-23
The Abstract State Machine Paradigm: What Is in and What Is out....Pages 24-24
On Algorithmic Unsolvability....Pages 25-32
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially....Pages 33-38
On Expressive and Model Checking Power of Propositional Program Logics....Pages 39-46
An Extension of Dynamic Logic for Modelling OCL’s @ pre Operator....Pages 47-54
Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions....Pages 55-63
A Transformation of SDL Specifications— A Step towards the Verification....Pages 64-78
Accurate Widenings and Boundedness Properties of Timed Systems....Pages 79-94
Adaptive Saturation-Based Reasoning....Pages 95-108
A Verification Approach for Distributed Abstract State Machines....Pages 109-115
Transformational Construction of Correct Pointer Algorithms....Pages 116-130
A Theoretical Foundation of Program Synthesis by Equivalent Transformation....Pages 131-139
Equivalent Transformation by Safe Extension of Data Structures....Pages 140-148
Semantics and Transformations in Formal Synthesis at System Level....Pages 149-156
Automated Program Synthesis for Java Programming Language....Pages 157-164
The Varieties of Programming Language Semantics And Their Uses....Pages 165-190
Binding-Time Analysis for Polymorphic Types....Pages 191-204
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus....Pages 205-213
Observational Semantics for Timed Event Structures....Pages 214-224
The Impact of Synchronisation on Secure Information Flow in Concurrent Programs....Pages 225-239
Dynamical Priorities without Time Measurement and Modification of the TCP....Pages 240-245
From ADT to UML-Like Modelling....Pages 246-246
Transformation of UML Specification to XTG....Pages 247-254
A Systematic Approach towards Object-Based Petri Net Formalisms....Pages 255-267
Unfoldings of Coloured Petri Nets....Pages 268-278
A Net-Based Multi-tier Behavior Inheritance Modelling Method....Pages 279-286
Specification Based Testing: Towards Practice....Pages 287-300
Java Specification Extension for Automated Test Development....Pages 301-307
Specification-Based Testing of Firewalls....Pages 308-316
Academic vs. Industrial Software Engineering: Closing the Gap....Pages 317-323
A Method for Recovery and Maintenance of Software Architecture....Pages 324-327
An Empirical Study of Retargetable Compilers....Pages 328-335
Conceptual Data Modeling: An Algebraic Viewpoint....Pages 336-348
Integrating and Managing Conflicting Data....Pages 349-362
A Knowledge Engineering Approach to Deal with ‘Narrative’ Multimedia Documents....Pages 363-377
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach....Pages 378-394
Reexecution-Based Analysis of Logic Programs with Delay Declarations....Pages 395-405
Pos(T ) : Analyzing Dependencies in Typed Logic Programs....Pages 406-420
A Prolog Tailoring Technique on an Epilog Tailored Procedure....Pages 421-433
Hierarchical Constraint Satisfaction Based on Subdefinite Models....Pages 434-445
Using Constraint Solvers in CAD/CAM Systems....Pages 446-456
A Graphical Interface for Solver Cooperations....Pages 457-467
Abstract Computability of Non-deterministic Programs over Various Data Structures....Pages 468-481
On Lexicographic Termination Ordering with Space Bound Certifications....Pages 482-493
Generalised Computability and Applications to Hybrid Systems....Pages 494-499
Exploring Template Template Parameters....Pages 500-510
Compiler-Cooperative Memory Management in Java....Pages 511-518
A Software Composition Language and Its Implementation....Pages 519-529
Editor Definition Language and Its Implementation....Pages 530-537
Oberon-2 as Successor of Modula-2 in Simulation....Pages 538-545