Personal Information
Entreprise/Lieu de travail
Braga, Portugal Portugal
Profession
Lecturer / Software Developer
Secteur d’activité
Technology / Software / Internet
Site Web
www.di.uminho.pt/~danieladacruz
À propos
* Programming Languages
* Source Code Analysis
* Language Processing
* Compilers
* Formal Methods
* Formal Verification
* ASP.NET, C#, (X)HTML, CSS, SQL, Java, PHP, XSL, C, C++. Groovy, Javascript, Ruby, Python, VB, VB.net
Mots-clés
programming
android
game development
#programming
#mobile
#android
ios
objective-c
gameplay
game genre
game definitions
c
andengine
strongest postcondition
weakest precondition
verification graphs
formal methods
software verification
intents
#programcomprehension
#opensourcesoftware
#comments
#jellybeans
Tout plus
Présentations
(10)J’aime
(1)SlideShare Zeitgeist 2013
SlideShare
•
il y a 10 ans
Personal Information
Entreprise/Lieu de travail
Braga, Portugal Portugal
Profession
Lecturer / Software Developer
Secteur d’activité
Technology / Software / Internet
Site Web
www.di.uminho.pt/~danieladacruz
À propos
* Programming Languages
* Source Code Analysis
* Language Processing
* Compilers
* Formal Methods
* Formal Verification
* ASP.NET, C#, (X)HTML, CSS, SQL, Java, PHP, XSL, C, C++. Groovy, Javascript, Ruby, Python, VB, VB.net
Mots-clés
programming
android
game development
#programming
#mobile
#android
ios
objective-c
gameplay
game genre
game definitions
c
andengine
strongest postcondition
weakest precondition
verification graphs
formal methods
software verification
intents
#programcomprehension
#opensourcesoftware
#comments
#jellybeans
Tout plus