𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Models in Software Engineering Volume 7167 || Summary of the Second International Workshop on Models and Evolution

✍ Scribed by Kienzle, Jörg


Book ID
121083778
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
126 KB
Category
Article
ISBN
3642296459

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Form
✍ Davies, Jim; Schulte, Wolfram; Barnett, Mike 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 346 KB

Formal Engineering Methods Are Changing The Way That Software Systems Are - Veloped.withlanguageandtoolsupport,theyarebeingusedforautomaticcode Generation, And For The Automatic Abstraction And Checking Of Implementations. In The Future, They Will Be Used At Every Stage Of Development: Requirements,

[Lecture Notes in Computer Science] Agen
✍ Giunchiglia, Fausto; Odell, James; Weiß, Gerhard 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 679 KB

Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It is now widely recognised thatinteraction is probably the most important single char- teristic of complex software. Software architectures that contai