Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642272684, 9783642272691
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Linear Algebras of Components

2012 ◽  
pp. 300-303 ◽  
Author(s):  
Hugo Daniel Macedo ◽  
José Nuno Oliveira

scholarly journals Runtime Programming through Model-Preserving, Scalable Runtime Patches

2012 ◽  
pp. 290-294
Author(s):  
Christoph M. Kirsch ◽  
Luís Lopes ◽  
Eduardo R. B. Marques ◽  
Ana Sokolova

scholarly journals Using Temporal Logic for Dynamic Reconfigurations of Components

2012 ◽  
pp. 200-217 ◽  
Author(s):  
Julien Dormoy ◽  
Olga Kouchnarenko ◽  
Arnaud Lanoix
Keyword(s):  
Temporal Logic

Systems-Theoretic View of Component-Based Software Development

2012 ◽  
pp. 163-181 ◽  
Author(s):  
Daniel Côté ◽  
Michel Embe Jiague ◽  
Richard St-Denis
Keyword(s):  
Software Development

Component Service Promotion: Contracts, Mechanisms and Safety

2012 ◽  
pp. 145-162 ◽  
Author(s):  
Pascal André ◽  
Gilles Ardourel ◽  
Mohamed Messabihi

Steps on the Road to Component Evolvability

2012 ◽  
pp. 295-299 ◽  
Author(s):  
Mario Bravetti ◽  
Cinzia Di Giusto ◽  
Jorge A. Pérez ◽  
Gianluigi Zavattaro
Keyword(s):  
The Road ◽  
On The Road
Load More ...
Sign in / Sign up

Export Citation Format

Share Document