NDLI: Adapting the personal software process (PSP) to formal methods

Content Provider	IEEE Xplore Digital Library
Author	Babar, A. Potter, J.
Copyright Year	2005
Description	Author affiliation: Sch. of Comput. Sci. & Eng., New South Wales Univ., Sydney, NSW, Australia (Babar, A.; Potter, J.)
Abstract	The goal of good software engineering practice is to deliver reliable, high-quality software on-time and on-budget. In this paper we advocate the combination of two modern approaches towards achieving this goal. On the one hand, with an eye to software quality, we consider adopting a state-based formal development method, the B-method. In terms of tool support and industry adoption, this is the most advanced such method. On the other, aimed at improving the development practices of individual developers, we consider the adoption of the personal software process (PSP). To our knowledge this combination of formal methods and PSP has not been considered before; we term our special version of the combination B-PSP. We present a re-design of the PSP data collection and analysis tasks specifically geared towards the B-Method. Although we support the general framework of PSP, we also believe that developers do not enjoy having their creative and thinking process being interrupted by the need to regularly log activities. With this in mind, we present the PSP tasks in a style which should be acceptable to B developers. We view the results of this paper as a specification for some of the data logging and analysis requirements of a B-PSP-based development.
Sponsorship	Boeing Australia Ltd. Distributed Syst. Technol. Centre Oracle Corp. School of ITEE, The Univ. of Queensland
Starting Page	192
Ending Page	201
File Size	98834
Page Count	10
File Format	PDF
ISBN	0769522572
ISSN	15300803
DOI	10.1109/ASWEC.2005.12
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2005-03-29
Publisher Place	Australia
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Flexible manufacturing systems Software quality Software engineering Data analysis Programming Acoustical engineering Computer science Reliability engineering Computer industry Formal specifications
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

A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language

The personal process in software engineering

Formal Methods and Innovation Economy: Facing New Challenges

Formal methods applied to plywood production

Integrating the Personal Software Process (PSP) across the undergraduate curriculum

The Personal Software Process (PSP) tutorial

Industrial usage of formal development methods-the VSE-tool applied in pilot projects

Supporting the Formal Analysis of Software Systems

Adapting extreme programming for a core software engineering course

Adapting the personal software process (PSP) to formal methods

Similar Documents

A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language

The personal process in software engineering

Formal Methods and Innovation Economy: Facing New Challenges

Formal methods applied to plywood production

Integrating the Personal Software Process (PSP) across the undergraduate curriculum

The Personal Software Process (PSP) tutorial

Industrial usage of formal development methods-the VSE-tool applied in pilot projects

Supporting the Formal Analysis of Software Systems

Adapting extreme programming for a core software engineering course

Adapting the personal software process (PSP) to formal methods