Fundamental approaches to software engineering(软件工程基础方法)|报价￥93.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,

品牌：

基本信息

·出版社：Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

·页码：341 页码

·出版日：2002年

·ISBN：3540433538

·条码：9783540433538

·版次：1

·装帧：平装

·开本：16开 16开

内容简介

Book Description

This book constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002, held in Grenoble, France, in April 2002.

The 21 revised full papers and four tool presentations were carefully reviewed and selected from almost 60 submissions. The papers are organized in topical sections on formal frameworks, model and program analysis, architecture descriptions, meta-models, formal approaches towards UML, and requirements engineering.

Book Dimension

length: (cm)23.9 width:(cm)15.5

目录

An Approach to Composition Motivated by wp by Michel Charpentier 1

Compositional Verification of Secure Applet Interactions by Gilles Barthe and Dilian Gurov and Marieke Huisman 15

A Generic Component Framework for System Modeling by Hartmut Ehrig and Fernando Orejas and Benjamin Braatz 33

……[看更多目录]

点此购买报价￥93.50