Pages: « First < Previous 3 4 5 67

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

Click to read abstract >>

Price: $4.99

Loading Updating cart…

Towards a Source Code Repository Supported by In-memory Database Technology

DOI: 10.5176/2251-2217_SEA44

Authors: Oleksandr Panchenko and Alexander Zeier

Click to read abstract >>

Price: $4.99

Loading Updating cart…

User Experience in Social Games

DOI: 10.5176/2251-2217_SEA12.23

Authors: Iswarawati, Agung Sanjaya, Mona De Anesya

Click to read abstract >>

Price: $4.99

Loading Updating cart…

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

Click to read abstract >>

Price: $4.99

Loading Updating cart…
LoadingUpdating…
Pages: « First < Previous 3 4 5 67