| [AbowdDix93 ] | =MATHEMATICAL HCI/USER SPECIFICATION . . . |
| [Borgidaetal95 ] | =CRITIQUE LOGIC Set Theory SPECIFICATION METHODS circumscription . . . |
| [BorgidaMylopoulosReiter93 ] | =HISTORY RML MODEL REALITY PURPOSE Object-Oriented ONTOLOGY GIST KAOS . . . |
| [DamonJacksonJha96 ] | =DEMO MODEL CHECKING BDDs . . . |
| [DeLineZelesnikShaw97 ] | =Experience architecture evolution . . . |
| [GlassVessey95 ] | =ADVERT Dromey IDEA REQUIREMENTS as COMPONENTS . . . |
| [GunterGunterJacksonZave00 ] | =THEORY REQUIREMENTS SPECIFICATION REALITY WRSPM . . . |
| [HaleyLaneyMoffettNuseibeh08 ] | =CASESTUDY SECURITY REQUIREMENTS METHOD . . . |
| [ICSE'97 ] | =PROCEEDINGS ICSE . . . |
| [Jackson91 ] | =ESSAY Reality . . . |
| [Jackson94 ] | =ESSAY PROBLEMS vs SOLUTIONS Engineering JSD Refs to Polya Parnas ADTs . . . |
| [Jackson95a ] | =ABSTRACT PROBLEMFRAMES . . . |
| [Jackson95b ] | =ADVERT PROBLEMFRAMES . . . |
| [Jackson95c ] | . . . |
| [Jackson98 ] | =ESSAY ECONOMICS ENGINEERING . . . |
| [Jackson98a ] | =ESSAY . . . |
| [Jackson99 ] | =ESSAY ENGINEERING . . . |
| [JacksonD95a ] | =ESSAY REALITY vs SYSTEM MODELS . . . |
| [JacksonD95b ] | . . . |
| [JacksonD98 ] | =DEMO NP/Nitpick Language/Tool of RELATIONS . . . |
| [JacksonD09 ] | =ESSAY RISKS COSTS not PROCESSES CRITICAL PROPERTIES CLAIMS QUALITIES REQUIREMENTS . . . |
| [JacksonDDamon96 ] | =CASESTUDY DESIGN IMPROVEMENT CTAS REVERSE ENGINEERING Motif . . . |
| [JacksonDJacksonM95 ] | . . . |
| [JacksonDWaingold99 ] | =DEMO Womble reverse engineers object-oriented model using Alloy from JAVA Bytecode . . . |
| [JacksonDWaingold01 ] | =DEMO TOOL TECHNICAL Java bytecode MODEL Alloy Womble Superwomble Rose . . . |
| [JacksonDWing96 ] | . . . |
| [JacksonK89 ] | =REPORT OPEN SOURCE QUALITY Coverity Homelan Security . . . |
| [JacksonKLavi93 ] | =CFP . . . |
| [JacksonTwaddle97 ] | =EXPERIENCE SPECIFICATION MODEL OFFICE WORKFLOW PEOPLE DATA PROCESS FLEXIBLE vs BUSINESS RULES TABULAR GRAPHIC METADATA . . . |
| [LawrenceJacksonD96 ] | =DEBATE FORMALISM REQUIREMENTS . . . |
| [OCallahanJackson97 ] | =DEMO TOOL CODE ANALYSIS TYPES BUGS . . . |
| [RE'97 ] | =PROCEEDINGS REQUIREMENTS 1997 . . . |
| [Saiedian95 ] | =EDITORIAL MATHEMATICS . . . |
| [SiddiqiShekaran96 ] | =EDITORIAL REQUIREMENTS ENGINEERING . . . |
| [VesseyGlass98 ] | =ESSAY ONE-SIZE WEAK METHODS . . . |
| [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]