| [GunterGunterJacksonZave00 ] | =THEORY REQUIREMENTS SPECIFICATION REALITY WRSPM . . . |
| [HallRapanottiJackson08 ] | =DEMO POSE METHOD ENGINEERING DESIGN ANALYSIS ARGUMENTS RATIONALE ITERATION PROCESS . . . |
| [HincheyEtAl08 ] | =SURVEY FORMAL MATHEMATICAL LOGICAL METHODS TOOLS QUALITIES RELIABLE COST . . . |
| [Jackson91 ] | =ESSAY Reality . . . |
| [Jackson94 ] | =ESSAY PROBLEMS vs SOLUTIONS Engineering JSD Refs to Polya Parnas ADTs . . . |
| [Jackson99 ] | =ESSAY ENGINEERING . . . |
| [Jackson01 ] | =ESSAY PROBLEM ANALYSIS REQUIREMENTS REALITIES SYSTEMS METHODS . . . |
| [Jackson04 ] | =ESSAY REALITY REQUIREMENTS . . . |
| [Vickers07 ] | =ADVERT REQUIREMENTS REALITY DESIGN TRACEABILITY PRAXIS REVEAL JACKSON . . . |
| [ZaveJackson93 ] | =DEMO FORMAL REQUIREMENTS SPECIFICATION . . . |
| [ZaveJackson96 ] | =DEMO specification methods logic std Z . . . |
| [ZaveJackson97a ] | =CASE-STUDY TABULAR FSM/STD FORMAL REQUIREMENTS . . . |
| [ZaveJackson97b ] | =ESSAY REQUIREMENTS REALITY PURPOSE . . . |
| [ZaveJackson98 ] | =DEMO DFC system . . . |
| [ZaveJackson9X ] | =DEMO Multiparadigm specification GRAPHIC Z STDs Jackson diagrams predicate LOGIC . . . |
To collect the complete bibliographic data on all the above select:[Collect]