Abstract is missing.
- Reuse and Integration of Specification Logics: The Hybridisation PerspectiveLuís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves. 1-30 [doi]
- Test Reactive Systems with Büchi-Automaton-Based Temporal RequirementsBolong Zeng, Li Tan. 31-57 [doi]
- Capturing and Verifying Dynamic Systems Behavior Using UML and \pi π -CalculusAissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem. 59-84 [doi]
- A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernetSardaouna Hamadou, John Mullins, Abdelouahed Gherbi. 85-111 [doi]
- Case Indexing by Component, Context, and Encapsulation for Knowledge ReuseAsmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib. 113-134 [doi]
- Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining - A Segmentation Analysis PerspectiveElham Akhond Zadeh Noughabi, Behrouz H. Far, Amir Albadvi. 135-155 [doi]
- Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data?David J. Dittman, Taghi M. Khoshgoftaar, Amri Napolitano. 157-171 [doi]
- Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable MatchingJiawei Zhang, Qianyi Zhan, Philip S. Yu. 173-196 [doi]
- An Accurate Multi-sensor Multi-target Localization Method for Cooperating VehiclesSepideh Afkhami Goli, Behrouz H. Far, Abraham O. Fapojuwo. 197-217 [doi]