NDLI: Traceability-Based Formal Specification Inspection

Content Provider	IEEE Xplore Digital Library
Author	Mo Li Shaoying Liu
Copyright Year	2014
Description	Author affiliation: Grad. Sch. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan (Mo Li) \|\| Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan (Shaoying Liu)
Abstract	Transforming informal specifications to formal specifications is an effective approach to clarifying user's requirements. However, how to keep the consistency between the informal specification and the formal specification is a major challenge. In this paper, we propose an inspection method for verifying whether all requirements described in an informal specification are formalized in the corresponding formal specification. Inspection is a static analysis technique based upon a checklist containing questions that should be answered. Our proposed inspection method advocates the principle that the checklist is created based on the trace ability of specifications and animation is used as a reading technique for checking through the formal specification. The trace ability reflects connections between informal and formal specifications, which can facilitate the inspector to check whether all requirements have been realized. The animation provides an intuitive way to guide the inspector in reading the formal specification. We use a case study to demonstrate how an inspection is performed.
Starting Page	167
Ending Page	176
File Size	917691
Page Count	10
File Format	PDF
ISBN	9781479942961
DOI	10.1109/SERE.2014.30
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2014-06-30
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computers Object oriented modeling Inspection Animation Educational institutions Software Electronic mail formal specification traceability-based inspection verification animation
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

Automated Functional Scenarios-Based Formal Specification Animation

A framework for SOFL-based program review

Formal Specification and Proof of Gridjack

Validation of object oriented models using animation

Tool Support for Rigorous Formal Specification Inspection

A generic prototype model for distributed systems based on high level object oriented specification

Real time formal specification using VDM/sup ++/

Requirements Traceability for Object Oriented Systems by Partitioning Source Code

Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism

Traceability-Based Formal Specification Inspection

Similar Documents

Automated Functional Scenarios-Based Formal Specification Animation

A framework for SOFL-based program review

Formal Specification and Proof of Gridjack

Validation of object oriented models using animation

Tool Support for Rigorous Formal Specification Inspection

A generic prototype model for distributed systems based on high level object oriented specification

Real time formal specification using VDM/sup ++/

Requirements Traceability for Object Oriented Systems by Partitioning Source Code

Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism

Traceability-Based Formal Specification Inspection