Personal Information
Organization / Workplace
Braga, Portugal Portugal
Occupation
Lecturer / Software Developer
Industry
Technology / Software / Internet
Website
www.di.uminho.pt/~danieladacruz
About
* 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
See more
Presentations
(10)Likes
(1)SlideShare Zeitgeist 2013
SlideShare
•
10 years ago
Personal Information
Organization / Workplace
Braga, Portugal Portugal
Occupation
Lecturer / Software Developer
Industry
Technology / Software / Internet
Website
www.di.uminho.pt/~danieladacruz
About
* 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
See more