Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2306/2002
DOI10.1007/3-540-45923-5
Copyright2002
ISBN978-3-540-43353-8
Subject CollectionComputer Science
SpringerLink DateFriday, August 01, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
25 ChaptersFirst | 1-10 | 11-20 | 21-25 | Next
Front Matter

Front MatterPDF (181.7 KB)

  
Chapter
An Approach to Composition Motivated by wp
Michel Charpentier
DOI: 10.1007/3-540-45923-5_1
Full TextPDF (193.0 KB)
 156-180
Chapter
Compositional Verification of Secure Applet Interactions
Gilles Barthe, Dilian Gurov and Marieke Huisman
DOI: 10.1007/3-540-45923-5_2
Full TextPDF (272.5 KB)
 108-128
Chapter
A Generic Component Framework for System Modeling
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein and Martti Piirainen
DOI: 10.1007/3-540-45923-5_3
Full TextPDF (214.9 KB)
 157-204
Chapter
Implementing Condition/Event Nets in the Circal Process Algebra
Antonio Cerone
DOI: 10.1007/3-540-45923-5_4
Full TextPDF (194.9 KB)
 49-63
Chapter
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs
Fei Xie and James C. Browne
DOI: 10.1007/3-540-45923-5_5
Full TextPDF (220.6 KB)
 64-79
Chapter
Model Generation by Moderated Regular Extrapolation
Andreas Hagerer, Hardi Hungar, Oliver Niese and Bernhard Steffen
DOI: 10.1007/3-540-45923-5_6
Full TextPDF (930.0 KB)
 80-95
Chapter
Better Slicing of Programs with Jumps and Switches
Sumit Kumar and Susan Horwitz
DOI: 10.1007/3-540-45923-5_7
Full TextPDF (368.1 KB)
 371-388
Chapter
Architectural Types Revisited: Extensible And/Or Connections
Marco Bernardo and Francesco Franzè
DOI: 10.1007/3-540-45923-5_8
Full TextPDF (276.5 KB)
 301-369
Chapter
Mapping an ADL to a Component-Based Application Development Environment
Virgínia C. C. de Paula and Thais V. Batista
DOI: 10.1007/3-540-45923-5_9
Full TextPDF (205.9 KB)
 128-142
Chapter
From EDOC Components to CCM Components: A Precise Mapping Specification
Mariano Belaunde and Mikael Peltier
DOI: 10.1007/3-540-45923-5_10
Full TextPDF (1.1 MB)
 79-109
Back Matter

Back MatterPDF (29.3 KB)

  
25 ChaptersFirst | 1-10 | 11-20 | 21-25 | Next
more options
Find


Starts With
25 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.108 • Server: mpweb22
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)