Software Requirements & Specifications

Author: Michael Jackson

• An Overview
  • Introduction (p1)
  • Descriptions (p58)
  • What & How (p206)
  • The Problem Context (p156)
  • Problem Frames (p158)
  • Method (p114)
• The Nature of Software Development
  • Software (p187)
  • Aspects of Software Development (p14)
  • Software Engineering (p188)
  • Deskilling (p65)
  • Mathematics (p112)
• The System & The World
  • Machines (p109)
  • What & How (p206)
  • The Application Domain (p9)
  • Implementation Bias (p98)
  • Domains (p73)
  • Context Diagrams (p35)
  • Domain Interactions (p70)
  • Shared Phenomena (p178)
  • Connection Domains (p30)
• Some Aspects of Methods
  • Brilliance (p20)
  • Method (p114)
  • Deskilling (p65)
  • Problem Sensitivity (p162)
  • Polya (p149)
  • Frame Diagrams (p84)
  • The JSP Frame (p105)
  • Procrustes (p163)
  • The Fudge Factors (p87)

• Different Kinds of Description
  • Descriptions (p58)
  • Designations (p61)
  • Refutable Description (p166)
  • Logical Positivism (p107)
  • Definitions (p51)
  • Rough Sketches (p175)
• Describing the World
  • What & How (p206)
  • Domain Characteristics (p66)
  • Phenomena (p143)
  • Individuals (p100)
  • Predicate Logic (p151)
  • Ambiguity (p8)
  • Informal Domains (p103)
  • Object-Oriented Analysis (p135)
  • Hierarchical Structure (p92)
• Phenomenology
  • Phenomena (p143)
  • Individuals (p100)
  • Identity (p95)
  • Existence (p83)
  • Is (p104)
  • The Narrow Bridge (p134)
  • Reification (p167)
  • Events & Intervals (p78)

• The Technology of Description
  • Designations (p61)
  • Classification (p23)
  • Scope of Description (p676)
  • Span of Description (p190)
  • Arboricide (p11)
  • The Bridge of Königsberg (p17)
  • Entity-Relation Span (p76)
• Being Precise
  • Dekker (p54)
  • Mathematics (p112)
  • Critical Reading
    • Designations (p61)
    • Top-Down (p196)
    • Data-Flow Diagrams (p47)
    • Rough Sketches (p175)
    • Restaurants (p172)
    • Specifications (p193)
• Analyzing Problems
  • Problem Sensitivity (p162)
  • The Problem Context (p156)
    • Problem Frames (p158)
    • Frame Diagrams (p84)
    • The JSP Frame (p105)
    • The Calendar (p21)
    • Problem Complexity (p153)

• Problem Complexity
  • Problem Complexity (p153)
  • The Calendar (p21)
  • Problem Frames (p158)
  • The Package Router Problem (p138)
  • A Multi-Frame Problem (p128/132)
  • Hierarchical Structure (p92)
• Structures of Descriptions
  • Trip-lets (p205)
  • Partial Descriptions (p141)
  • Models (p120)
  • Moods (p125)
  • Requirements (p169)
  • Implementation Bias (p98)
  • Composition (p27)
  • A Multi-Frame Problem (p128/132)
• Languages & Notations
  • Row Materials (p164)
  • Poetry (p146)
  • Graphical Notations (p89)
  • Tree Diagrams (p199)
  • Designations (p61)
  • Predicate Logic (p151)
  • Entity-Relation Span (p76)
• Problem Frames
  • The Problem Context (p156)
  • Polya (p149)
  • Problem Frames (p158)
  • Simple IS Frame (p184)
  • Simple Control Frame (p181)
  • Connection Frames (p33)
  • Workpieces Frame (p208)
  • The JSP Frame (p105)
  • Misfits (p117)