ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
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
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close