𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - A formal semantics of timed activity diagrams and its PROMELA translation

✍ Scribed by Guelfi, N.; Mammar, A.

Book ID: 124080916
Publisher: IEEE
Year: 2005
Tongue: English
Weight: 325 KB
Category: Article
ISBN-13: 9780769524658
DOI: 10.1109/APSEC.2005.7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Personal software process (PSP) assistant

✍ Sison, R. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 416 KB

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Ontology-based active requirements engineering framework

✍ Lee, S.W.; Gandhi, R.A. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 617 KB

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Model-driven semantic Web service composition

✍ Groenmo, R.; Jaeger, M.C. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 292 KB

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Providing quality measurement for aspect-oriented software development

✍ Kassab, M.; Ormandjieva, O.; Constantinides, C. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 224 KB

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - A framework for application server based Web services management

✍ Heqing Guan, ; Beihong Jin, ; Jun Wei, ; Wei Xu, ; Ningjiang Chen, 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 346 KB

[IEEE 12th Asia-Pacific Software Enginee

[IEEE 12th Asia-Pacific Software Engineering Conference (APSEC'05) - Taipei, Taiwan (2005.12.1-2005.12.1)] 12th Asia-Pacific Software Engineering Conference (APSEC'05) - A service-oriented architecture for design and development of middleware

✍ Yih-Cheng Lee, ; Chi-Ming Ma, ; Shih-Chien Chou, 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 293 KB