Principled Software Development
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319980461, 9783319980478
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Collaborative Work Management with a Highly-Available Kanban Board

2018 ◽  
pp. 59-72
Author(s):  
Annette Bieniusa ◽  
Peter Zeller ◽  
Shraddha Barke
Keyword(s):  
Collaborative Work ◽  
Work Management

Abstract and Concrete Data Types vs Object Capabilities

2018 ◽  
pp. 221-240 ◽  
Author(s):  
James Noble ◽  
Alex Potanin ◽  
Toby Murray ◽  
Mark S. Miller
Keyword(s):  
Data Types

scholarly journals Towards Reliable Concurrent Software

2018 ◽  
pp. 129-146 ◽  
Author(s):  
Marieke Huisman ◽  
Sebastiaan J. C. Joosten
Keyword(s):  
Concurrent Software

Same Same But Different: Interoperability of Software Product Line Variants

2018 ◽  
pp. 99-117 ◽  
Author(s):  
Ferruccio Damiani ◽  
Reiner Hähnle ◽  
Eduard Kamburjan ◽  
Michael Lienhardt
Keyword(s):  
Software Product Line ◽  
Product Line ◽  
Software Product

Are Synchronous Programs Logic Programs?

2018 ◽  
pp. 251-266 ◽  
Author(s):  
Klaus Schneider ◽  
Marc Dahlem
Keyword(s):  
Logic Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document