𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 5140 || An Algebraic Semantics for Contract-Based Software Components

✍ Scribed by Meseguer, José; Roşu, Grigore

Book ID
120427963
Publisher
Springer Berlin Heidelberg
Year
2008
Weight
548 KB
Category
Article
ISBN
354079980X

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Alge
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 2422 || Automata and Games for Synthesis
✍ Kirchner, Hélène; Ringeissen, Christophe 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 170 KB

This Volume Contains The Proceedings Of Amast 2002, The 9th International Conference On Algebraic Methodology And Software Technology, Held During September 9–13, 2002, In Saint-gilles-les-bains, R´eunion Island, France. The Major Goal Of The Amast Conferences Is To Promote Research That May Lead To

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Component-Based Software Engineering Volume 3054 || An Open Component Model and Its Support in Java
✍ Crnkovic, Ivica; Stafford, Judith A.; Schmidt, Heinz W.; Wallnau, Kurt 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 247 KB

Component-based software engineering (CBSE) is concerned with the devel- ment of software-intensive systems from reusable parts (components), the dev- opmentofsuchreusableparts,andthemaintenanceandimprovementofsystems by means of component replacement and customization. Although it holds c- siderabl