9780769532493
Theoretical aspects of software engineering; proceedings.
IFIP/IEEE Symposium on Theoretical Aspects of Software Engineering
(2d: 2008: Nanjing, China)
Computer Society Press
2008
306 pages
$191.00
Paperback
QA76.75
The 39 papers selected for the June 2008 symposium present new
approaches to model checking, program analysis, service-oriented
computing, verification and validation, software testing, logic systems,
and specifications. The contributors propose a bigraphical model of
WSBPEL, workflow semantics of peer and service behavior, automatic
verification of self-stabilizing population protocols, and a
multidimensional model for mum effect in offshore outsourcing. Other
topics include test data generation for C programs, transformation of
BPEL processes to Petri nets, symmetry reduction for B and Z models, and
permission interpretation for ownership types. No subject index is
provided.
([c]20082005 Book News, Inc., Portland, OR)
COPYRIGHT 2008 Book News, Inc. Reproduced with permission of the copyright holder. Further reproduction or distribution is prohibited without permission.
Copyright 2008 Gale, Cengage Learning. All rights
reserved. Gale Group is a Thomson Corporation Company.
NOTE: All illustrations and photos have been removed from this article.