The Unified computation laboratory : modelling, specifications, and tools
著者
書誌事項
The Unified computation laboratory : modelling, specifications, and tools
(The Institute of Mathematics and its Applications conference series, new series no. 35)
Clarendon Press , Oxford University Press, 1992
大学図書館所蔵 全5件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Based on the proceedings of a conference on the Unified Computation Laboratory, organized by the Institute of Mathematics and its Applications and held at the University of Stirling in July 1990
Includes references
内容説明・目次
内容説明
This book is concerned with the theory and techniques required in the construction and implementation of complex software systems. Improved understanding may come from developing suitable models and theories of such systems to guide appropriate experimentation. Alternatively, standard mathematical theories and constructions may provide techniques directly usable in the design and implementation of new software. In any case, the use of these approaches involves the development of new tools, and using them leads to further insights which can improve the original theories and models. The contributors to this book cover all these many aspects involved in the origin, development, and refinement of software systems. Some chapters break new ground, some represent the next stage in ongoing research programs, and others describe the next generation of software tools. In addition to a readership of software engineers and computer scientists, the book offers a source of interesting research problems for mathematicians, whose work is vital for the continued development of the field.
目次
- Part 1 Modelling and specification: some mathematical thoughts on languages for data directed design, E. Wagner
- algebraic alternative for compiler construction, T. Rus
- algebraic semantics and monad theory, E. Badouel
- an illustrated mathematical foundation for ERA, C.N.G. Dampney et al
- on the expressiveness of equational type logic, V. Manca et al
- linear term rewriting systems are higher dimensional string rewriting systems, M. Johnson
- inductive reasoning for completing equational software specifications, K.P. Jantke
- term induction proofs by a generalization of narrowing, U. Fraus and H. Hussmann. Part 2 Formal methods in software development: prototyping and formal specifications, C. Choppy
- development of modular specifications by stepwise refinements using the PLUSS specification language, M. Bidoit
- software complexity measures, programming methodologies, and the size of machines, J.C. Cherniavsky and C.H. Smith
- the implementation of Z specifications using program transformation systems - the SuZan Project, R. Knott and P. Krause
- the systematic reduction of VDM specifications, A.P. French et al
- experiences with using formal specification techniques for operations research problems, A.P. French et al
- a survey of temporal logic methods in system development, N.J. Wilson. Part 3 Specification for communication and concurrency: integrating automata and temporal logic - a framework for specification of real-time systems and software, A. Gabrielian and R. Iyer
- specification and derivation of process networks, F. Carrez and D. Mery
- algebraic term nets - a formalism for specifying communications software in the OSI framework, M. Bettaz and A. Choutri
- using LOTOS in the object-based development of embedded systems, R.G. Clark
- a data type specification for the process part of basic LOTOS - an axiomatic semantics, G.H.B. Rafsanjani
- modelling of LOTOS specifications by Petri Nets, G.H.B. Rafsanjani. Part 4 Program verification and development: modules and verification, G. Antoniou
- program analysis by symbolic execution and generalization, G. Colman et al
- proving and developing concurrent programs - a small system, D. Mery
- automated proof and program development, D. Galmiche and O. Hermann
- interactive automated verification of functional programming languages, R.B. Hughes and R.M. Zimmer
- theorem proving and program synthesis with Oyster, C. Horn and A. Smaill
- the PICT system, A.G. Hamilton
- an interactive tool for deriving correct programs, L. Groves and R. Nickson.
「Nielsen BookData」 より