Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540433538, 9783540459231
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formal-Driven Conceptualization and Prototyping of Hypermedia Applications

2002 ◽  
pp. 308-322 ◽  
Author(s):  
Antonio Navarro ◽  
Baltasar Fernandez-Manjon ◽  
Alfredo Fernandez-Valmayor ◽  
Jose Luis Sierra
Keyword(s):  
Hypermedia Applications

scholarly journals Enriching OCL Using Observational Mu-Calculus

2002 ◽  
pp. 203-217 ◽  
Author(s):  
Julian Bradfield ◽  
Juliana Küster Filipe ◽  
Perdita Stevens

scholarly journals Model Generation by Moderated Regular Extrapolation

2002 ◽  
pp. 80-95 ◽  
Author(s):  
Andreas Hagerer ◽  
Hardi Hungar ◽  
Oliver Niese ◽  
Bernhard Steffen
Keyword(s):  
Model Generation

scholarly journals The Coordination Development Environment

2002 ◽  
pp. 323-326 ◽  
Author(s):  
Jo∼ao Gouveia ◽  
Georgios Koutsoukos ◽  
Michel Wermelinger ◽  
Luís Andrade ◽  
José Luiz Fiadeiro
Keyword(s):  
Development Environment ◽  
Coordination Development
Load More ...
Sign in / Sign up

Export Citation Format

Share Document