Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Daniel de Carvalho

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Mansur Khazeev

> Home > Persons > Daniel de Carvalho

Publications

2020
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-08774
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-08774
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara:
Code Review in the Classroom. CoRR abs/2004.08774 (2020)
2019
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fisee/KhazeevACMBB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fisee/KhazeevACMBB19
Mansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean-Michel Bruel, Joseph Alexander Brown:
Reflections on Teaching Formal Methods for Software Development in Higher Education. FISEE 2019: 28-41
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fisee/RiveraANCKM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fisee/RiveraANCKM19
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara:
Towards Code Review Guideline in a Classroom. FISEE 2019: 88-105
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-01430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-01430
Mansur Khazeev, Manuel Mazzara, Daniel de Carvalho, Hamna Aslam:
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education. CoRR abs/1906.01430 (2019)
2018
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icl/CarvalhoH0KLMMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icl/CarvalhoH0KLMMM18
Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Jooyong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera:
Teaching Programming and Design-by-Contract. ICL (1) 2018: 68-76
2017
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-07956
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-07956
Daniel de Carvalho, Jooyoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera:
Teaching Programming and Design-by-Contract. CoRR abs/1710.07956 (2017)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.