✦ LIBER ✦

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 2029 || Towards Development of Secure Systems Using UMLsec

✍ Scribed by Hussmann, Heinrich

Book ID: 120984141
Publisher: Springer Berlin Heidelberg
Year: 2001
Weight: 198 KB
Category: Article
ISBN: 3540453148
DOI: 10.1007/3-540-45314-8_14

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 7212 || Language-Theoretic Abstraction Refinement

✍ de Lara, Juan; Zisman, Andrea 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 264 KB

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 7212 || Explanations for Regular Expressions

✍ de Lara, Juan; Zisman, Andrea 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 289 KB

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3442 || Automated Compositional Proofs for Real-Time Systems

✍ Cerioli, Maura 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 185 KB

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3442 || Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving

✍ Cerioli, Maura 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 678 KB

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 6013 || Formal Analysis and Verification of Self-Healing Systems

✍ Rosenblum, David S.; Taentzer, Gabriele 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 923 KB

[Lecture Notes in Computer Science] Mult

[Lecture Notes in Computer Science] Multiple Approaches to Intelligent Systems Volume 1611 || Agent-Oriented Software Engineering

✍ Imam, Ibrahim; Kodratoff, Yves; El-Dessouki, Ayman; Ali, Moonis 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 116 KB

We never create anything, We discover and reproduce. The Twelfth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems has a distinguished theme. It is concerned with bridging the gap between the academic and the industrial worlds of Artifi