عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540393072
شابک
9783540393078
شماره کتابشناسی ملی
شماره
b565951
عنوان و نام پديدآور
عنوان اصلي
Formal Methods and Software Development :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25-29, 1985
نام نخستين پديدآور
edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
1985
مشخصات ظاهری
نام خاص و کميت اثر
(XVII, 459 pages)
فروست
عنوان فروست
Lecture notes in computer science, 186.
يادداشت کلی
متن يادداشت
Bibliographic Level Mode of Issuance: Monograph.
یادداشتهای مربوط به مندرجات
متن يادداشت
On the relevance of formal methods to software development --; Combining algebraic and predicative specifications in Larch --; The role of proof obligations in software design --; Functional semantics of modules --; Intuition in software development --; A rational design process: How and why to fake it --; Formalization in systems development --; Specifying and prototyping: Some thoughts on why they are successful --; A formal specification of line representations on graphics devices --; Experiences with the PSG --; Programming System Generator --; Software construction using typed fragments --; Graph grammar engineering: A method used for the development of an integrated programming support environment --; Multidimensional tree-structured file spaces --; A theory of abstract data types for program development: Bridging the gap? --; Program development and documentation by informal transformations and derivations --; ASSPEGIQUE: An integrated environment for algebraic specifications --; Application of PROLOG to test sets generation from algebraic specifications --; A PROLOG environment for developing and reasoning about data types --; Algebraic specification of synchronisation and errors: A telephonic example --; Modelling concurrent modules --; Synthesis of parallel programs invariants --; Analyzing safety and fault tolerance using Time Petri nets --; Algebraic specification of a communication scheduler --; The integration and distribution phase in the software life cycle --; Formalized software development in an industrial environment --; Object oriented concurrent programming and industrial software production --; Experience of introducing the Vienna development method into an industrial organisation --; EDP system development methodology: Auditability and control --; Experiences with object oriented programming.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Programming languages (Electronic computers)
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Christiane Floyd
مستند نام اشخاص تاييد نشده
Hartmut Ehrig
مستند نام اشخاص تاييد نشده
James Thatcher
مستند نام اشخاص تاييد نشده
Maurice Nivat
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
