close
1.

図書

図書
edited by Stan Budkowski, Ana Cavalli, Elie Najm
出版情報: Boston : Kluwer Academic Publishers, 1998  viii, 467 p. ; 24 cm
シリーズ名: The International Federation for Information Processing ; 6
所蔵情報: loading…
2.

図書

図書
Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 292 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2884
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Java's Integral Types in PVS / Bart Jacobs
Models
Towards Object-Oriented Graphs and Grammars / Ana Paula ; Lüdtke Ferreira ; Leila Ribeiro
A Rewriting Based Model for Probabilistic Distributed Object Systems / Nirman Kumar ; Koushik Sen ; José Meseguer ; Gul Agha
Engineering the SDL Formal Language Definition / Andreas Prinz ; Martin v. Löwis
Logic and Verification
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts / Cees Pierik ; Frank S. de Boer
Inheritance of Temporal Logic Properties / Heike Wehrheim
Temporal Logic Based Static Analysis for Non-uniform Behaviours / Matthias Colin ; Xavier Thirioux ; Marc Pantel
Calculi
The Kell Calculus: Operational Semantics and Type System / Philippe Bidinger ; Jean-Bernard Stefani
A Calculus for Long-Running Transactions / Laura Bocchi ; Cosimo Laneve ; Gianluigi Zavattaro
Formal Analysis of Some Timed Security Properties in Wireless Protocols / Roberto Gorrieri ; Fabio Martinelli ; Marinella Petrocchi ; Anna Vaccarelli
Java and .NET
Inductive Proof Outlines for Monitors in Java / Erika Ábrahám ; Willem-Paul de Roever ; Martin Steffen
Proof Scores in the OTS/CafeOBJ Method / Kazuhiro Ogata ; Kokichi Futatsugi
Managing the Evolution of .NET Programs / Susan Eisenbach ; Vladimir Jurisic ; Chris Sadler
UML
On Mobility Extensions of UML Statecharts. A Pragmatic Approach / Diego Latella ; Mieke Massink
New Operators for the TURTLE Real-Time UML Profile / Christophe Lohr ; Ludovic Apvrille ; Pierre de Saqui-Sannes ; Jean-Pierre Courtiat
Checking Consistency in UML Diagrams: Classes and State Machines / Holger Rasch
Composition and Verification
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components / Frédéric Tronel ; Frédéric Lang ; Hubert Garavel
Verification of Distributed Object-Based Systems / Fernando L. Dotti ; Luciana Foss ; Osmar M. dos Santos
Design and Verification of Distributed Multi-media Systems / David Akehurst ; John Derrick ; A. Gill Waters
Author Index
Invited Talk
Java's Integral Types in PVS / Bart Jacobs
Models
3.

図書

図書
Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)
出版情報: Berlin : Springer, c2006  xii, 486 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4229
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼