NDLI: Automating traceability for generated software artifacts

Content Provider	IEEE Xplore Digital Library
Author	Richardson, J. Green, J.
Copyright Year	2004
Description	Author affiliation: Automated Software Eng. Group, NASA Ames Res. Center, Moffett Field, CA, USA (Richardson, J.)
Abstract	Program synthesis automatically derives programs from specifications of their behavior. At a lower level, compilation automatically derives machine code from source code (i.e. from a specification of its behavior). An advantage of program synthesis/compilation, as opposed to manual coding, is that there is a direct link between the specification and the derived program. This link is, however, not very fine-grained: it can be best characterized as program is-derived-from specification. When the generated program needs to be understood or modified, more fine-grained linking is useful. We present a technique for automatically deriving traceability relations between parts of a specification and parts of the synthesized program. The technique is very lightweight and we expect it to work - with varying degrees of success - for any process in which one artifact is automatically derived from another. We illustrate the generality of the technique by applying it to two kinds of automatic generation: synthesis of Kalman filter programs from specifications using the AUTOFILTER program synthesis system, and generation of assembly language programs from C source code using the GCC C compiler. We evaluate the effectiveness of the technique in the latter application.
Starting Page	24
Ending Page	33
File Size	306861
Page Count	10
File Format	PDF
ISBN	0769521312
ISSN	19384300
DOI	10.1109/ASE.2004.1342721
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2004-09-24
Publisher Place	Austria
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software engineering NASA Program processors Programming profession Joining processes Assembly systems Safety Mission critical systems Application software Software standards
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

An optimising compiler for generated tiny virtual machines

Automating traceability for generated software artifacts

Component linked based system

Viope as a Tool for Teaching Introductory Programming: An Empirical Investigation

Automating Traceability for Generated Software Artifacts

Software safety risk in legacy safety-critical computer systems

Automating traceability for generated software artifacts (2004)

WappenLite and its Flash-based user interface for novice learners

Spoon: Compile-time Annotation Processing for Middleware

Automating traceability for generated software artifacts

Similar Documents

An optimising compiler for generated tiny virtual machines

Automating traceability for generated software artifacts

Component linked based system

Viope as a Tool for Teaching Introductory Programming: An Empirical Investigation

Automating Traceability for Generated Software Artifacts

Software safety risk in legacy safety-critical computer systems

Automating traceability for generated software artifacts (2004)

WappenLite and its Flash-based user interface for novice learners

Spoon: Compile-time Annotation Processing for Middleware

Automating traceability for generated software artifacts