✦ LIBER ✦

[Lecture Notes in Computer Science] SDL 2011: Integrating System and Software Modeling Volume 7083 || Synthesizing Software Models: Generating Train Station Models Automatically

✍ Scribed by Ober, Iulian; Ober, Ileana

Book ID: 120662919
Publisher: Springer Berlin Heidelberg
Year: 2011
Weight: 480 KB
Category: Article
ISBN: 3642252648
DOI: 10.1007/978-3-642-25264-8_5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] SDL

[Lecture Notes in Computer Science] SDL 2011: Integrating System and Software Modeling Volume 7083 || Real-Time Signaling in SDL

✍ Ober, Iulian; Ober, Ileana 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 413 KB

[Lecture Notes in Computer Science] SDL

[Lecture Notes in Computer Science] SDL 2011: Integrating System and Software Modeling Volume 7083 || A Model-Driven Framework for Component-Based Development

✍ Ober, Iulian; Ober, Ileana 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 563 KB

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Checking Software Volume 6349 || Automatic Generation of Model Checking Scripts Based on Environment Modeling

✍ van de Pol, Jaco; Weber, Michael 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 521 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods in Software and Systems Modeling Volume 3393 || Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements

✍ Kreowski, Hans-Jörg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taen 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 277 KB

By Presenting State-of-the-art Research Results On Various Aspects Of Formal And Visual Modeling Of Software And Systems, This Book Commemorates The 60th Birthday Of Hartmut Ehrig. The 24 Invited Reviewed Papers Are Written By Students And Collaborators Of Hartmut Ehrig Who Are Established Researche

[Lecture Notes in Computer Science] Mode

[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 3713 || Model-Based Scalability Estimation in Inception-Phase Software Architecture

✍ Briand, Lionel; Williams, Clay 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 250 KB

This Volume Contains The Final Versions Of The Technical Papers Presented At Models 2005 In Montego Bay, Jamaica, October 2–7, 2005.

[Lecture Notes in Computer Science] Test

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7019 || Improved Usage Model for Web Application Reliability Testing

✍ Wolff, Burkhart; Zaïdi, Fatiha 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 791 KB