Skip to search boxSkip to navigationSkip to main content

Moving from Specifications to Contracts in Component-Based Design

  • Sebastian Bauer
    ,
  • Alexandre David
    ,
  • Rolf Hennicker
    ,
  • Kim Guldstrand Larsen
    ,
  • Axel Legay
    ,
  • Ulrik Mathias Nyman
  • Ludwig Maximilian University of Munich
    ,
  • Aalborg University
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 43-58

Publication milestones

  • Published - 2012

Publication status

Published - 2012

Volume

7212

Book series

  • Book series name: Lecture Notes in Computer Science
    ISSN: 0302-9743

ISBN (Print)

ISBN: 978-3-642-28871-5

Publication IDs

  • Scopus: 84859132206

Host publication title

Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. FASE 12

Publication metrics

PlumX, opens in new tab

Citations
81
Captures
22

Access to documents