17.688 new Springer books

From: by way of Willard McCarty (willard@lists.village.virginia.edu)
Date: Sat Mar 06 2004 - 02:55:19 EST


               Humanist Discussion Group, Vol. 17, No. 688.
       Centre for Computing in the Humanities, King's College London
                     Submit to: humanist@princeton.edu

         Date: Sat, 06 Mar 2004 07:45:31 +0000
         From: Willard McCarty <willard.mccarty@kcl.ac.uk>
         Subject: new Springer books

Volume 6 Number 2 of Knowledge and Information Systems is now available
on the SpringerLink web site at http://springerlink.metapress.com.

This issue contains:

An Intelligent Information System for Organizing Online Text Documents
p. 125 Han-joon Kim, Sang-goo Lee DOI: 10.1007/s10115-003-0103-z

Mining Navigation Patterns Using a Sequence Alignment Method p. 150
Birgit Hay, Geert Wets, Koen Vanhoof DOI: 10.1007/s10115-003-0109-6

Collective Mining of Bayesian Networks from Distributed Heterogeneous
Data p. 164 R. Chen, K. Sivakumar, H. Kargupta DOI:

Learning Feature Weights from Customer Return-Set Selections p. 188 L.
Karl Branting DOI: 10.1007/s10115-003-0110-0

WAR: Weighted Association Rules for Item Intensities p. 203 Wei Wang,
Jiong Yang, Philip Yu DOI: 10.1007/s10115-003-0108-7

Discovering and Analyzing World Wide Web Collections p. 230 Sougata
Mukherjea DOI: 10.1007/s10115-003-0112-y

Volume 2999 Volume 2999/2004 of Lecture Notes in Computer Science is
now available on the SpringerLink web site at

This issue contains:

SLAM and Static Driver Verifier: Technology Transfer of Formal Methods
inside Microsoft p. 1 Thomas Ball, Byron Cook, Vladimir Levin, Sriram K.

Design Verification for Control Engineering p. 21 Richard J. Boulton,
Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin

Integrating Model Checking and Theorem Proving in a Reflective
Functional Language p. 36 Tom Melham

A Tutorial Introduction to Designs in Unifying Theories of Programming
p. 40 Jim Woodcock, Ana Cavalcanti

An Integration of Program Analysis and Automated Theorem Proving p. 67
Bill J. Ellis, Andrew Ireland

Verifying Controlled Components p. 87 Steve Schneider, Helen Treharne

Efficient CSP Z Data Abstraction p. 108 Adalberto Farias, Alexandre
Mota, Augusto Sampaio

State/Event-Based Software Model Checking p. 128 Sagar Chaki, Edmund M.
Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha

Formalising Behaviour Trees with CSP p. 148 Kirsten Winter

Generating MSCs from an Integrated Formal Specification Language p. 168
Jin Song Dong, Shengchao Qin, Jun Sun

UML to B: Formal Verification of Object-Oriented Models p. 187 K. Lano,
D. Clark, K. Androutsopoulos

Software Verification with Integrated Data Type Refinement for Integer
Arithmetic p. 207 Bernhard Beckert, Steffen Schlager

Constituent Elements of a Correctness-Preserving UML Design Approach p.
227 Tiberiu Seceleanu, Juha Plosila

Relating Data Independent Trace Checks in CSP with UNITY Reachability
under a Normality Assumption p. 247 Xu Wang, A.W. Roscoe, R.S. Lazic

Linking CSP-OZ with UML and Java: A Case Study p. 267 Michael Möller,
Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim

Object-Oriented Modelling with High-Level Modular Petri Nets p. 287
Cécile Bui Thanh, Hanna Klaudel

Specification and Verification of Synchronizing Concurrent Objects p.
307 Gabriel Ciobanu, Dorel Lucanu

Understanding Object-Z Operations as Generalised Substitutions p. 328
Steve Dunne

Embeddings of Hybrid Automata in Process Algebra p. 343 Tim A.C.

An Optimal Approach to Hardware/Software Partitioning for Synchronous
Model p. 363 Pu Geguang, Dang Van Hung, He Jifeng, Wang Yi

A Many-Valued Logic with Imperative Semantics for Incremental
Specification of Timed Models p. 382 Ana Fernández Vilas, José J. Pazos
Arias, Rebeca P. Díaz Redondo, Alberto Gil Solla, Jorge García Duque

Integrating Temporal Logics p. 402 Yifeng Chen, Zhiming Liu

Integration of Specification Languages Using Viewpoints p. 421 Marius C.

Integrating Formal Methods by Unifying Abstractions p. 441 Raymond Boute

Formally Justifying User-Centred Design Rules: A Case Study on
Post-completion Errors p. 461 Paul Curzon, Ann Blandford

Using UML Sequence Diagrams as the Basis for a Formal Test Description
Language p. 481 Simon Pickin, Jean-Marc Jézéquel

Viewpoint-Based Testing of Concurrent Components p. 501 Luke Wildman,
Roger Duke, Paul Strooper

A Method for Compiling and Executing Expressive Assertions p. 521 F.J.
Galán Morillo, J.M. Cañete Valdeón

Dr Willard McCarty | Senior Lecturer | Centre for Computing in the
Humanities | King's College London | Strand | London WC2R 2LS || +44 (0)20
7848-2784 fax: -2980 || willard.mccarty@kcl.ac.uk


This archive was generated by hypermail 2b30 : Fri Mar 26 2004 - 11:19:44 EST