[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> bib
|| [News] || [Research]

Bibliography Retrieval Engine(Beta)

Items in bibliography identified by a string matching Jackson.*9

[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 . . .
[Erdogmus10 ] =ESSAY NONSEQUENTIAL PROCESSES Kanban scrumban LEAN stage-gate v-model . . .
[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 . . .

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

To collect the complete bibliographic data on all the above select:[Collect]