Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings > Tracing Integration Analysis in Component-Based Formal Specifications
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings |
Martin Steffen; Gianluigi Zavattaro
Springer Berlin Heidelberg
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Tracing Integration Analysis in Component-Based Formal Specifications
Authors

Martín López-Nores; José J. Pazos-Arias; Jorge García-Duque; Belén Barragáns-Martínez; Rebeca P. Díaz-Redondo; Ana Fernández-Vilas et al.

ARI Id

1664975199509_4302590

Access

Not Available Free

Pages

147-162

DOI

10.1007/11494881_10

Chapter URL

https://rd.springer.com/chapter/10.1007/11494881_10

Table of Contents of Book
Showing 1 to 20 of 22 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Pattern Matching over a Dynamic Network of Tuple Spaces
Rocco De Nicola; Daniele Gorla; Rosario Pugliese
1-14
A Dynamic Class Construct for Asynchronous Concurrent Objects
Einar Broch Johnsen; Olaf Owe; Isabelle Simplot-Ryl
15-30
An Abstract Machine for the Kell Calculus
Philippe Bidinger; Alan Schmitt; Jean-Bernard Stefani
31-46
XPi: A Typed Process Calculus for XML Messaging
Lucia Acciai; Michele Boreale
47-66
Checking the Validity of Scenarios in UML Models
Holger Rasch; Heike Wehrheim
67-82
An Extended Type System for OCL Supporting Templates and Transformations
Marcel Kyas
83-98
A Semantics for UML-RT Active Classes via Mapping into Circus
Rodrigo Ramos; Augusto Sampaio; Alexandre Mota
99-114
Towards an Integrated Formal Analysis for Security and Trust
Fabio Martinelli
115-130
A Formal Security Analysis of an OSA/Parlay Authentication Interface
Ricardo Corin; Gaetano Di Caprio; Sandro Etalle; Stefania Gnesi; Gabriele Lenzini; Corrado Moiso
131-146
Tracing Integration Analysis in Component-Based Formal Specifications
Martín López-Nores; José J. Pazos-Arias; Jorge García-Duque; Belén Barragáns-Martínez; Rebeca P. Díaz-Redondo; Ana Fernández-Vilas et al.
147-162
CompAr: Ensuring Safe Around Advice Composition
Renaud Pawlak; Laurence Duchien; Lionel Seinturier
163-178
Guaranteeing Resource Bounds for Component Software
Hoang Truong
179-194
Specification and Verification of Encapsulation in Java Programs
Andreas Roth
195-210
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions
Koushik Sen; Grigore Roşu; Gul Agha
211-226
Transforming Information in RDF to Rewriting Logic
Alberto Verdejo; Narciso Martí-Oliet; Tomás Robles; Joaquín Salvachúa; Luis Llana; Margarita Bradley
227-242
Modeling- and Analysis Techniques for Web Services and Business Processes
Wolfgang Reisig
243-258
A Distributed Implementation of Mobile Nets as Mobile Agents
Nadia Busi; Luca Padovani
259-274
On Correctness of Dynamic Protocol Update
Paweł T. Wojciechowski; Olivier Rütti
275-289
Property-Driven Development of a Coordination Model for Distributed Simulations
Rolf Hennicker; Matthias Ludwig
290-305
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 22 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings