Design by Contract to Improve Software Vigilance

Y. Le Traon; B. Baudry; J.-M. Jezequel

doi:10.1109/tse.2006.79

Design by Contract to Improve Software Vigilance

IEEE Transactions on Software Engineering ◽

10.1109/tse.2006.79 ◽

2006 ◽

Vol 32 (8) ◽

pp. 571-586 ◽

Cited By ~ 35

Author(s):

Y. Le Traon ◽

B. Baudry ◽

J.-M. Jezequel

Keyword(s):

Design By Contract

Download Full-text

Teaching the Design-by-Contract Concept in a Software Engineering Course Using RESOLVE

ACM SIGSOFT Software Engineering Notes ◽

10.1145/3229783.3229796 ◽

2018 ◽

Vol 43 (3) ◽

pp. 18-18

Author(s):

Eileen Kraemer

Keyword(s):

Software Engineering ◽

Design By Contract

Download Full-text

Reliability by Construction using Design by Contract Methodology

Proceedings of the 9th India Software Engineering Conference on - ISEC '16 ◽

10.1145/2856636.2856663 ◽

2016 ◽

Author(s):

PVR Murthy

Keyword(s):

Design By Contract

Download Full-text

Emulating design by contract in C++

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275) ◽

10.1109/tools.1999.779000 ◽

2003 ◽

Cited By ~ 2

Author(s):

D. Maley ◽

I. Spence

Keyword(s):

Design By Contract

Download Full-text

Enhancing Secure Coding Assistant System with Design by Contract and Programming Logic

National Cyber Summit (NCS) Research Track 2021 - Lecture Notes in Networks and Systems ◽

10.1007/978-3-030-84614-5_10 ◽

2021 ◽

pp. 124-140

Author(s):

Wenhui Liang ◽

Cui Zhang ◽

Jun Dai

Keyword(s):

Design By Contract ◽

Secure Coding ◽

Programming Logic

Download Full-text

Design-by-Contract for Web Services

Web-Scale Workflow and Analytics - Formalizing Data-Centric Web Services ◽

10.1007/978-3-319-24678-9_11 ◽

2015 ◽

pp. 109-110

Author(s):

Iman Saleh

Keyword(s):

Web Services ◽

Design By Contract

Download Full-text

Design by Contract(Tm) APIs, and the practical benefits of open source code

IEE Seminar on COTS & SOUP ◽

10.1049/ic:20040528 ◽

2004 ◽

Author(s):

S. Hall

Keyword(s):

Open Source ◽

Source Code ◽

Design By Contract ◽

Open Source Code

Download Full-text

Design by Contract-Based Selection and Composition of Learning Objects

Computers and Education ◽

10.1007/978-1-4020-4914-9_16 ◽

2007 ◽

pp. 179-191 ◽

Cited By ~ 2

Author(s):

Salvador Sánchez-Alonso ◽

Miguel A. Sicilia ◽

José M. López-Cobo ◽

Sinuhé Arroyo

Keyword(s):

Learning Objects ◽

Design By Contract

Download Full-text

Design By Contract Methodology

2018 International Conference on Advances in Computing, Communications and Informatics (ICACCI) ◽

10.1109/icacci.2018.8554801 ◽

2018 ◽

Author(s):

P.V.R. Murthy

Keyword(s):

Design By Contract

Download Full-text

ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java

14th Asia-Pacific Software Engineering Conference (APSEC'07) ◽

10.1109/aspec.2007.29 ◽

2007 ◽

Cited By ~ 1

Author(s):

Yu Chin Cheng ◽

Chien-Tsun Chen ◽

Chin-Yun Hsieh

Keyword(s):

Support Design ◽

Design By Contract ◽

Bytecode Instrumentation

Download Full-text

Enhancing Data Flow Testing of Classes through Design by Contract

Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) ◽

10.1109/icis.2008.70 ◽

2008 ◽

Cited By ~ 2

Author(s):

Yogesh Singh ◽

Anju Saha

Keyword(s):

Data Flow ◽

Design By Contract ◽

Data Flow Testing

Download Full-text