Searched for: contributor%3A%22Pronk%2C+C.+%28mentor%29%22
(1 - 10 of 10)
document
De Vos, B. (author)
master thesis 2011
document
Mokiem, R.M.S. (author)
Voor de Universiteit van Suriname moest een informatiesysteem opgezet worden om de faciliteiten aldaar te beheren. Hiervoor is gekeken naar de huidige manier van werken en de beschikbare technologieën, waarna het systeem ontworpen en geïmplementeerd is. Hierbij is de nadruk gelegd op de onderhoudbaarheid en mogelijkheid tot verdere ontwikkeling...
bachelor thesis 2010
document
Stevense, D. (author), Van der Tak, P. (author)
Augmented reality is the concept of taking a representation of the real world, adding something to it and displaying it to the user. Applications for smartphones—so called augmented reality browsers—typically take the image of the integrated camera as a representation of the real world, and project textual or graphical objects on top of this...
bachelor thesis 2010
document
Ciocoiu, J.J. (author), Dokter, E. (author)
Verslag van de stage van het bachelorproject, uitgevoerd bij reprovinci.
bachelor thesis 2010
document
Post, R.J.M. (author), Van Rest, O.F. (author), Roorda, T. (author)
This is the report for our Bachelor project (IN3405). We did an internship at Centric and made a simulator to visualise their concept "Mobile Hubs and Smart Connected Containers".
bachelor thesis 2010
document
Taverne, P. (author)
This thesis presents a case study in modeling and verifying a POSIX-like file store for Flash memory. This work fits in the context of Hoare’s verification challenge and, in particular, Joshi and Holzmann’s mini-challenge to build a verifiable file store. I have designed a simple file store and implemented it in the form of a Promela model. This...
master thesis 2009
document
Aryan, A. (author), Ennaciri, C. (author)
Inter IKEA Systems B.V. uses this application in order to track the complaints they get from their consumers.
bachelor thesis 2009
document
Schooljan, H. (author)
Tijdens practica moet vaak gewacht worden op assistentie door veel studenten. Gedurende dit BSc-project is een elektronisch wachtrijsysteem ontwikkeld om studenten en student-assistenten de mogelijkheid te geven om effectief met elkaar te communiceren.
bachelor thesis 2009
document
Ros, R. (author), Vuong, J.M. (author)
In dit project is er een tool ontwikkeld waarmee het mogelijk is om een webshop te koppelen aan een bestaand backoffice-systeem. Arco Iris heeft in samenwerking met Wendrich (vormgeving) en Quercis (Exact implementatiepartner) de webwinkel Meeki ontwikkeld. Meeki is een standaard webwinkel met een koppeling naar een backoffice-systeem. Momenteel...
bachelor thesis 2008
document
Vielvoije, E. (author)
In model checking a formal model of a software system is constructed. That model is verified against a set of properties expressed in some logic. Once a model has been created and verified, it is still necessary to write the application itself completely by hand. No tools have yet been developed that can automatically create a system or...
master thesis 2008
Searched for: contributor%3A%22Pronk%2C+C.+%28mentor%29%22
(1 - 10 of 10)