Towards a Formal Approach to Validating and Verifying Functional Design for Complex Safety Critical Systems
DOI: 10.5176/2251-2217_SEA43
Authors: Emanuel S. Grant, Vanessa K. Jackson, and Sophine A. Clachar
Towards a Source Code Repository Supported by In-memory Database Technology
DOI: 10.5176/2251-2217_SEA44
Authors: Oleksandr Panchenko and Alexander Zeier
User Experience in Social Games
DOI: 10.5176/2251-2217_SEA12.23
Authors: Iswarawati, Agung Sanjaya, Mona De Anesya
Validated Prototyping-Based RAD Model Using the Evolutionary Approach
DOI: 10.5176/2251-2217_SEA50
Authors: Saleh Mesbah, Nader Nada, Essam Kosba, and Nesrine Elfeky
Updating…