软件工程中的求精技术/Refinement techniques in software engineering

首页 ┆ 咨询 ┆ 科普 ┆ 论坛 ┆ 博客

我的账户 ┆

购物车内容 ┆ 去收银台

动漫周边 ┆ 数码 ┆ 最新商品 ┆ 出版社 ┆ 丛书 ┆ 作者 ┆ 最近出版书籍 ┆ 在线阅读 ┆ RSS

商品搜索

高级搜索

热门搜索词：奥运会开幕式早期教育与天才英语日记

您现在的位置：书城 > 图书 > 电脑图书 > 软件技术 > 软件项目管理 > 商品信息

软件工程中的求精技术/Refinement techniques in software engineering

定价: ￥565.00元 金桥价: ￥536.75元 节省: ￥28.25元

出版/发行时间: 2006-12-01

出版社: 湖南文艺出版社

作者: Ana Cavalcanti

ISBN: 9783540462538

版次: 1

内容简介

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004).
The 7 tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering such as concurrency, probability, real time, model checking, and object orientation. Apart from languages and techniques, the courses also cover the semantic underpinnings of refinement, and industrial applications and refinement tools.

Refinement:An Overview
Transformation Laws for Sequential Object-Oriented Programming
Using CSP
Developing and Reasoning About Probabilistic Programs in pGCL
Real-Time and Fault-Tolerant Systems
A Tutorial Introduction to CSP in Unifying Theories
Using the Compliance Notation in Industry
Techniques for Temporal Logic Model Checking
Elementary Probability Theory
Proofs of Lemmas and Theorems in the UTP
Library Block Specifications
Author Index

这件商品于 2007-12-14 添加.