NDLI: Jose: aspects for design by contract

Content Provider	IEEE Xplore Digital Library
Author	Feldman, Y.A. Barzilay, O. Tyszberowicz, S.
Copyright Year	2006
Description	Author affiliation: Efi Arazi Sch. of Comput. Sci., Interdisciplinary Center, Herzliya (Feldman, Y.A.)
Abstract	Design by contract is a practical methodology for evolving code together with its specification. The contract has important methodological implications on the design of the program. In addition, tools that instrument the code to check for contract violations help the development process by catching errors close to their sources. This is complicated by several factors, such as the need to collect preconditions from supertypes. There are two issues involved in the implementation of such a tool: the correct enforcement of the theoretical principles, and the instrumentation of the code. Most previous tools tackle both issues, but have subtle failures in one or the other. This paper describes Jose, a tool for design by contract in Java, which uses AspectJ, an aspect-oriented extension of Java, to instrument the program. This allows us to leverage the expertise of the AspectJ developers in instrumenting Java programs, and concentrate on the correct implementation of the design by-contract principles. This approach has the added benefit that it can be generalized to other object-oriented languages that have aspect-oriented extensions. We describe the design decisions made in the implementation of Jose, and the features of AspectJ that helped or hindered this implementation
Sponsorship	IEEE Comput. Soc
Starting Page	80
Ending Page	89
File Size	157445
Page Count	10
File Format	PDF
ISBN	0769526780
DOI	10.1109/SEFM.2006.26
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2006-09-11
Publisher Place	India
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Contracts Instruments Java Computer science Programming profession Computer languages Design methodology Computer bugs Data structures Dispatching
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Simple support for design by contract in C++

Transactional HashMaps in the Myrrh Framework

A JML Compiler Based on AspectJ

Concurrent Contracts for Java in JML

The .NET Contract Wizard: adding Design by Contract to languages other than Eiffel

Practical code coverage for Verilog

Contract-Based Verification for Aspect-Oriented Refactoring

A Java dialect free of data races and without annotations

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

Jose: aspects for design by contract

Similar Documents

Simple support for design by contract in C++

Transactional HashMaps in the Myrrh Framework

A JML Compiler Based on AspectJ

Concurrent Contracts for Java in JML

The .NET Contract Wizard: adding Design by Contract to languages other than Eiffel

Practical code coverage for Verilog

Contract-Based Verification for Aspect-Oriented Refactoring

A Java dialect free of data races and without annotations

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

Jose: aspects for design by contract