Software Engineering · Computer Science
Software Design Document, Testing, Deployment and Configuration Management, and User Manual of the UUIS -- a Team 4 COMP5541-W10 Project Approach
Kanj Sobh, Deyvisson Oliveira, Bing Liu, Max Mayantz +4
2010-05-04
Software Engineering · Computer Science
Software Requirements Specification of the IUfA's UUIS -- a Team 1 COMP5541-W10 Project Approach
Abirami Sankaran, Andriy Samsonyuk, Maab Attar, Mohammad Parham +4
2015-03-17
Software Engineering · Computer Science
Software Design Document, Testing, Deployment and Configuration Management of the UUIS--a Team 2 COMP5541-W10 Project Approach
Omer Shahid Ahmad, Faisal Alrashdi, Jason, Chen +5
2015-03-17
Software Engineering · Computer Science
Software Design Document, Testing, Deployment and Configuration Management of the IUfA's UUIS -- a Team 3 COMP5541-W10 Project Approach
Yassine Amaiche, Virginia Cook, Ahmed Daoudi, Mariano Diaz +5
2010-05-07
Software Engineering · Computer Science
Software Requirements Specification of the IUfA's UUIS -- a Team 3 COMP5541-W10 Project Approach
Ahmed Daoudi, David Zerkler, Gay Hazan, Isabelle Toutant +5
2015-03-17
Software Engineering · Computer Science
Software Requirements Specification of the IUfA's UUIS -- a Team 4 COMP5541-W10 Project Approach
Ali Alhazmi, Abdulrahman Al-Sharawi, Bing Liu, Deyvisson Oliveira +4
2015-03-17
Software Engineering · Computer Science
Software Requirements Specification of the IUfA's UUIS -- a Team 2 COMP5541-W10 Project Approach
Omer Shahid Ahmad, Faisal Alrashdi, Jason, Chen +5
2015-03-17
Software Engineering · Computer Science
Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System
Nadeem Akhtar, Aisha Shafique Ghori, Nadeem Salamat
2015-01-07
Computers and Society · Computer Science
An IoT system for a smart campus: Challenges and solutions illustrated over several real-world use cases
Tomás Domínguez-Bolaño, Valentín Barral, Carlos J. Escudero, José A. García-Naya
2024-03-26
Artificial Intelligence · Computer Science
To the problem of "The Instrumental complex for ontological engineering purpose" software system design
A. V. Palagin, N. G. Petrenko, V. Yu. Velychko, K. S. Malakhov +1
2018-03-28
Software Engineering · Computer Science
Development of formal models, algorithms, procedures, engineering and functioning of the software system "Instrumental complex for ontological engineering purpose"
A. V. Palagin, N. G. Petrenko, V. Yu. Velychko, K. S. Malakhov
2022-01-04
Digital Libraries · Computer Science
EURYDICE : A platform for unified access to documents
Serge Rouveyrol, Yves Chiaramella, Francesca Leinardi, Joanna Janik +3
2007-05-23
Software Engineering · Computer Science
Ontology-based system to support industrial system design for aircraft assembly
Xiaodu Hu, Rebeca Arista, Xiaochen Zheng, Joachim Lentes +4
2022-04-25
Software Engineering · Computer Science
Software and System Modeling Based on a Unified Formal Semantics
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe +1
2014-11-11
Software Engineering · Computer Science
A Unit Proofing Framework for Code-level Verification: A Research Agenda
Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre +1
2025-05-01
Logic in Computer Science · Computer Science
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman
2018-08-01
Instrumentation and Detectors · Physics
Constellation: The Autonomous Control and Data Acquisition System for Dynamic Experimental Setups
Simon Spannagel, Stephan Lachnit, Hanno Perrey, Justus Braach +12
2026-01-13