NDLI: The Problem Frames Approach to Software Engineering

Content Provider	IEEE Xplore Digital Library
Author	Jackson, M.
Copyright Year	2007
Description	Author affiliation: Open Univ., Milton Keynes (Jackson, M.)
Abstract	Software-intensive systems are those in which the computer executing the software is only one of the parts of the system. Problem frames offer a conceptual structure for the development of such systems: that is, a coherent way of analysing the problem to be solved, identifying the concerns and difficulties that it poses, and working towards a solution. This tutorial present the basic ideas of problem frames, illustrating them in the context of a small software-intensive system. The basic ideas of the approach are: 1. to attend both to the hardware/software machine, which is to be developed, and to the other system parts, which constitute the problem world; 2. to distinguish the given properties of the problem world from the requirements, which are the properties that the machine must establish and maintain in the world; 3. to pay careful attention to the phenomena of the problem world; 4. to structure the development problem as a set of subproblems, and to consider each subproblem in isolation before considering the composition of the subproblems and their solutions; 5. so far as possible, to recognise each subproblem as a member of a recognised class for which a solution method is known and whose most important concerns have been identified. Problem frames are not a notation or a calculus or a formalism; nor are they a development method or a process. They can fit with, into, or around specific techniques (such as agile or RUP) and specific notations (such as UML, Petri nets, or DFDs). Problem frames do not promise a prescription for every problem; nor do they promise a complete prescription for any problem. They remind you of things you know already, but may not always pay enough attention to.
Starting Page	14
Ending Page	14
File Size	42317
Page Count	1
File Format	PDF
ISBN	0769530575
ISSN	15301362
DOI	10.1109/ASPEC.2007.11
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2007-12-04
Publisher Place	Japan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software engineering Programming Hardware Calculus Unified modeling language Petri nets Design for disassembly Biographies Educational institutions Design methodology
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 Libarray 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

Visual specification of concurrent systems

Stochastic Petri nets and inheritance for dependability modelling

Hierarchical predication/transition Petri nets for software component representation

Building Dynamic Model in UML Using Colored Petri Nets

From UML to Petri Nets: The PCM-Based Methodology

Petri nets based design for reconfigurable computing systems

Modeling behavioral patterns of concurrent objects using Petri nets

Object-oriented concepts for coloured Petri nets

Research on Mapping Algorithm of UML Sequence Diagrams to Object Petri Nets

The Problem Frames Approach to Software Engineering

Similar Documents

Visual specification of concurrent systems

Stochastic Petri nets and inheritance for dependability modelling

Hierarchical predication/transition Petri nets for software component representation

Building Dynamic Model in UML Using Colored Petri Nets

From UML to Petri Nets: The PCM-Based Methodology

Petri nets based design for reconfigurable computing systems

Modeling behavioral patterns of concurrent objects using Petri nets

Object-oriented concepts for coloured Petri nets

Research on Mapping Algorithm of UML Sequence Diagrams to Object Petri Nets

The Problem Frames Approach to Software Engineering