𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Validating Real Time Specifications using Real Time Event Queue Modeling

✍ Scribed by Hall, Robert J.

Book ID: 126710004
Publisher: IEEE
Year: 2008
Weight: 329 KB
Category: Article
ISBN: 142442187X
DOI: 10.1109/ASE.2008.18

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 23rd IEEE/ACM International C

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking

✍ Pradella, Matteo; Morzenti, Angelo; San Pietro, Pierluigi 📂 Article 📅 2008 🏛 IEEE ⚖ 190 KB

[IEEE 2008 23rd IEEE/ACM International C

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - DiffGen: Automated Regression Unit-Test Generation

✍ Taneja, Kunal; Xie, Tao 📂 Article 📅 2008 🏛 IEEE ⚖ 91 KB

[IEEE 2008 23rd IEEE/ACM International C

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Automated Verification of Multi-Agent Programs

✍ Bordini, Rafael H.; Dennis, Louise A.; Farwer, Berndt; Fisher, Michael 📂 Article 📅 2008 🏛 IEEE ⚖ 428 KB

[IEEE 2008 23rd IEEE/ACM International C

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Automated Mapping from Goal Models to Self-Adaptive Systems

✍ Morandini, Mirko; Penserini, Loris; Perini, Anna 📂 Article 📅 2008 🏛 IEEE ⚖ 202 KB

[IEEE 2008 23rd IEEE/ACM International C

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Mining Scenario-Based Triggers and Effects

✍ Lo, David; Maoz, Shahar 📂 Article 📅 2008 🏛 IEEE ⚖ 180 KB

[IEEE 2008 23rd IEEE/ACM International C

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - A Generic Approach for Class Model Normalization

✍ Falleri, Jean-Remy; Huchard, Marianne; Nebut, Clementine 📂 Article 📅 2008 🏛 IEEE ⚖ 340 KB