Lecture Notes in Computer Science - Perspectives of System Informatics
Latest Publications

TOTAL DOCUMENTS

55
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540208136, 9783540398660
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development

2004 ◽  
pp. 58-65 ◽  
Author(s):  
Cindy Michiels ◽  
Monique Snoeck ◽  
Wilfried Lemahieu ◽  
Frank Goethals ◽  
Guido Dedene
Keyword(s):  
Software Development ◽  
Model Driven ◽  
Layered Architecture ◽  
Event Driven

Data-Object Replication, Distribution, and Mobility in Network Environments

2004 ◽  
pp. 539-545 ◽  
Author(s):  
Joaquín Pérez O. ◽  
Rodolfo A. Pazos ◽  
René Santaolaya ◽  
Juan Frausto S. ◽  
Guillermo Rodríguez O. ◽  
...  
Keyword(s):  
Data Object ◽  
Object Replication ◽  
Network Environments

Improving the Consistency Checking Process by Reusing Formal Verification Knowledge

2004 ◽  
pp. 366-380
Author(s):  
Rebeca P. Díaz Redondo ◽  
José J. Pazos Arias ◽  
Ana Fernández Vilas ◽  
Jorge García Duque ◽  
Alberto Gil Solla
Keyword(s):  
Formal Verification ◽  
Consistency Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document