Personal Information
Unternehmen/Arbeitsplatz
Braga, Portugal Portugal
Beruf
Lecturer / Software Developer
Branche
Technology / Software / Internet
Webseite
www.di.uminho.pt/~danieladacruz
Info
* 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
Tags
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
Mehr anzeigen
Präsentationen
(10)Gefällt mir
(1)SlideShare Zeitgeist 2013
SlideShare
•
Vor 10 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Braga, Portugal Portugal
Beruf
Lecturer / Software Developer
Branche
Technology / Software / Internet
Webseite
www.di.uminho.pt/~danieladacruz
Info
* 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
Tags
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
Mehr anzeigen