Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642025709, 9783642025716
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Sound and Complete Program Logic for Eiffel

2009 ◽  
pp. 195-214 ◽  
Author(s):  
Martin Nordio ◽  
Cristiano Calcagno ◽  
Peter Müller ◽  
Bertrand Meyer
Keyword(s):  
Program Logic ◽  
Complete Program

scholarly journals Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach

2009 ◽  
pp. 175-194 ◽  
Author(s):  
Christian Kästner ◽  
Sven Apel ◽  
Salvador Trujillo ◽  
Martin Kuhlemann ◽  
Don Batory
Keyword(s):  
Product Line

scholarly journals Reusing and Composing Tests with Traits

2009 ◽  
pp. 252-271 ◽  
Author(s):  
Stéphane Ducasse ◽  
Damien Pollet ◽  
Alexandre Bergel ◽  
Damien Cassou
Load More ...
Sign in / Sign up

Export Citation Format

Share Document