品牌：
基本信息
·出版社：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
