𝔖 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 - Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking

✍ Scribed by Pradella, Matteo; Morzenti, Angelo; San Pietro, Pierluigi

Book ID: 126600331
Publisher: IEEE
Year: 2008
Weight: 190 KB
Category: Article
ISBN: 142442187X
DOI: 10.1109/ASE.2008.22

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 - Validating Real Time Specifications using Real Time Event Queue Modeling

✍ Hall, Robert J. 📂 Article 📅 2008 🏛 IEEE ⚖ 329 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 - 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 - Automatic Test Generation for LUSTRE/SCADE Programs

✍ Papailiopoulou, Virginia 📂 Article 📅 2008 🏛 IEEE ⚖ 92 KB

[IEEE 2008 23rd IEEE/ACM International C

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops - L'Aquila, Italy (2008.09.15-2008.09.16)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops - Incorporating social software into distributed agile development environments

✍ Abbattista, Fabio; Calefato, Fabio; Gendarmi, Domenico; Lanubile, Filippo 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 527 KB