Carlos H. C. Duarte

According to our database, Carlos H. C. Duarte authored at least 23 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Authorship and Peer Review in the Era of Artificial Intelligence.

Carlos Henrique C. Duarte

Computer, December, 2023

2021

Requirements Engineering for Well-Being, Aging, and Health: An Overview for Practitioners.

Meira Levy, Lin Liu, Daniel Amyot, Eric S. K. Yu, Muneef Alshammari, Malak Baslyman, Elizabeth Bjarnason, Christopher Bull, Carlos Henrique C. Duarte, Eduard C. Groen, Sami Jantunen, Sylwia Kopczynska, Lysanne Lessard, Ita Richardson, Jens H. Weber, Ziqi Wei

IEEE Softw., 2021

2020

On What Goes on With Goal-Oriented Healthcare Equipment Regulations: An Exploratory Case Study on the Diagnostic Imaging Equipment Industry in Brazil.

Carlos Henrique C. Duarte

IEEE Access, 2020

2019

The quest for productivity in software engineering: a practitioners systematic literature review.

Carlos Henrique C. Duarte

Proceedings of the International Conference on Software and System Processes, 2019

How Long After Compliance Do You Benefit From Regulation? An Empirical Study on Diagnostic Imaging Equipment Requirements.

Carlos Henrique C. Duarte

Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

2018

Digital Transformation.

Christof Ebert, Carlos Henrique C. Duarte

IEEE Softw., 2018

Special Section on Conducting Empirical Studies in Industry.

Xavier Franch, Nazim H. Madhavji, Carlos Henrique C. Duarte

Inf. Softw. Technol., 2018

2017

4th International Workshop on Conducting Empirical Studies in Industry (CESI 2016): Post-workshop Report.

Carlos Henrique C. Duarte, Andreas Jedlitschka, Ayse Bener

ACM SIGSOFT Softw. Eng. Notes, 2017

Productivity paradoxes revisited - Assessing the relationship between quality maturity levels and labor productivity in brazilian software companies.

Carlos Henrique C. Duarte

Empir. Softw. Eng., 2017

2016

Requirements Engineering for the Digital Transformation: Industry Panel.

Christof Ebert, Carlos Henrique C. Duarte

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

The Influence of Tax Incentive and Market Regulation Requirements on IT Companies: Empirical Evidence from the Brazilian Industry.

Carlos Henrique C. Duarte

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

2015

3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015): Post-workshop Report.

Carlos Henrique C. Duarte, Xavier Franch, Nazim H. Madhavji

ACM SIGSOFT Softw. Eng. Notes, 2015

Technology transfer - Requirements Engineering research to industrial practice an open (ended) debate.

Carlos Henrique C. Duarte, Tony Gorschek

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015).

Xavier Franch, Nazim H. Madhavji, Carlos Henrique C. Duarte

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Patterns of Cooperative Technology Development and Transfer for Software-Engineering-in-the-Large.

Carlos Henrique C. Duarte

Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015

2014

On the relationship between quality assurance and productivity in software companies.

Carlos Henrique C. Duarte

Proceedings of the 2nd International Workshop on Conducting Empirical Studies in Industry, 2014

2011

Mathematical Models of Object-Based Distributed Systems.

Carlos Henrique C. Duarte

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2002

Brazil: Cooperative Development of a Software Industry.

Carlos H. C. Duarte

IEEE Softw., 2002

A Branching Time Logical System for Open Distributed Systems Development.

Carlos H. C. Duarte, T. S. E. Maibaum

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

A Logico-Categorical Semantics of XML/DOM.

Carlos Henrique C. Duarte

Proceedings of the Second International Workshop on Web Dynamics, 2002

2000

A rely-guarantee discipline for open distributed systems design.

Carlos H. C. Duarte, T. S. E. Maibaum

Inf. Process. Lett., 2000

1999

Proof-theoretic foundations for the design of actor systems.

Carlos H. C. Duarte

Math. Struct. Comput. Sci., 1999

1997

Towards a Proof-Theoretic Foundation for Actor Specification and Verification.

Carlos H. C. Duarte

Proceedings of the Formal Models of Agents, 1997