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

Bibliography Retrieval Engine(Beta)

Items in bibliography identified by a string matching [Cc]onsisten

[Barrett87 ] =EXPERIENCE PROOF Floating-point operations STANDARD . . .
[BayrakDavis03 ] =ESSAY OPEN SOURCE NONSEQUENTIAL PERFORMANCE OSD WWW/NET MARX MicroSoft W3C . . .
[BeckerMottay01 ] =THEORY USER WEB/NET DESIGN international . . .
[BergClineGirou95 ] =EXPERIENCE REQRITE OBJECT_ORIENTED OPERATING SYSTEM SOFTWARE . . .
[Boehm96 ] =EDUCATION REQUIREMENTS . . .
[Charette95 ] =HISTORY RISKS DISASTERS FAILURES COSTS PROCESS . . .
[ChechikGannon01 ] =CASESTUDY SCR REQUIREMENTS V&V DESIGN TOOL CORD ALGORITHM LANGUAGE LIGHTWIEGHT FORMAL . . .
[ChesnevarMaguitmanLoui00 ] =HISTORY 1950-99 FORMAL DIALECTIC DEFEASIBLE CONSISTENCY REASON ARGUMENT PLAUSIBLE AGENTS AI LAW NONMONOTONIC . . .
[CimattiRoveriSusiTonetta12 ] =CASE STUDY UML OTHELLO ETCS LTL LINEAR TIME LOGIC TRAINS TOOLS ROSE SMT WORD Requisite Pro . . .
[Cockburn00 ] =EXPERIENCE 20 projects PEOPLE AGILITY ONESIZE . . .
[CugolaNitoEtal96 ] =THEORY USER REQUIREMNTS FORMAL Z: REALITY vs SYSTEM PETRIE GRAPHICS . . .
[DemskyRinard06 ] =DEMO DATA SPECIFICATION SETS RELATIONS ABSTRACTION INVARIANTS CONSTRAINTS REPAIR FAULT AbiWorld CTAS Freeciv File System . . .
[EmamGoldenson00 ] =SURVEY CMM SPA effectiveness ISO/IEC15504 SPI IMPROVEMENT . . .
[Fayadetal93 ] =THEORY Object-Oriented DESIGN REALITY UML =CASESTUDY loans . . .
[Feather98 ] =EXPERIENCE NASA DATABASE LISP . . .
[Finkelsteinetal94 ] =IDEA REQUIREMENTS LOGIC SPECIFICATION See Nuseibehetal94 . . .
[FreyEtal02 ] =DEMO SPECIFICATION DESIGN VERIFICATION SIMULATIONS PVS . . .
[GrottkeTrivedi07 ] =SURVEY DEBUGGING . . .
[GunterGunterJacksonZave00 ] =THEORY REQUIREMENTS SPECIFICATION REALITY WRSPM . . .
[HamiltonHackler08 ] =HISTORY CORRECT DESIGN EVOLUTION HOS USL FUNCTIONAL DECOMPOSITION . . .
[Harel92 ] =ESSAY MODELING SIMULATION TOOL STATECHART . . .
[Hehner93 ] =TEXT FORMAL DDD . . .
[Heimdahl96 ] =EXPERIENCE REQUIREMENTS SQA RSML StateCharts And/Or Tables . . .
[HeimdahlLeveson96 ] =EXPERIENCE TCAS experiences and formal definition of analysis . . .
[HeitmeyerEtal96 ] =UNREAD =HISTORY PARNAS NRL SCR IDEAS NOTATIONS TOOLS TABULAR LOGIC NAT IN OUT REQ A-7E TAME REQUIREMENTS DESIGN MODULES . . .
[Holmes08 ] =ADVERT UNIVERSAL LANGUAGES E-speranto ITL . . .
[Humphrey95b ] =ADVERT for . . .
[HunterNuseibeh97 ] =FORMAL REQUIREMENTS LOGIC . . .
[HunterNuseibeh99 ] =IDEA labelled QC Quine FORMAL LOGIC SPECIFICATION . . .
[Huth04 ] =ADVERT 2nd edition . . .
[JacksonD00 ] =THEORY LOGIC RELATIONS PREDICATE Z OCL =DEMO TOOL 50KLOC Java SAT Alloy Analyzer Nitpick UML COM . . .
[JacksonD06a ] =TEXT Alloy LIGHT FORMAL MODEL CHECKING METHODS TOOLS . . .
[JonesCB96 ] =THEORY FORMAL LOGIC . . .
[KilovRoss94 ] =ADVERT IBM METHOD DATA OO . . .
[Kobryn00b ] =ADVERT OMG UML 1.4 RTF COMPONENTS . . .
[KoruTian04 ] =POLL 52 OPEN SOURCE DEFECTS . . .
[KrishnanKellner99 ] =EMPIRICAL IMPROVEMENT DEFECTS VS CMM KPA C . . .
[Kristensen02 ] =EXPERIENCE EVOLUTION DATA MODEL . . .
[KuncakLamZeeRinard06 ] =DEMO TOOL Hob MODULAR PROVING REALITY SETS RELATIONS ABSTRACTION PALE Bohn Isabelle flag ADTs Minesweeper httpd etc . . .
[LamsweerdeLetier00 ] =CASESTUDY REQUIREMENTS REFINEMENT EXCEPTIONS TEMPORAL LOGIC KAOS . . .
[LangeChaudronMuskens06 ] =POLL 80 Architects +14 CASE STUDIES UML QUANTITY QUALITY METRICS . . .
[Lilly99 ] =EXPERIENCE USECASE SCENARIO REQUIREMENTS . . .
[MiddletonLeeIrani04 ] =Simulation Process People . . .
[Miranda01 ] =DEMO MATHEMATICS ESTIMATION . . .
[Morales01a ] =REVIEW OPEN SOURCE EMPIRICAL PAPER PEOPLE . . .
[Morse95 ] =SURVEY DATA MODEL ACID OBJECTS NONSEQUENTIAL . . .
[MyrtveitStensrudShepperd05 ] =SIMULATION =SURVEY RESEARCH EFFORT ESTIMATION COST PREDICTION . . .
[NentwichEtAl03 ] =DEMO WEB/NET DOCUMENTATION XML xlinkit webservice LOGIC CONSISTENCY MANAGEMENT DIFFERENCING TOOL UML Java EJB . . .
[Nuseibehetal94 ] =ADVERT REQUIREMENTS SPECIFICATION METHODS CORE FUSION . . .
[NuseibehEasterbrookRusso00 ] =ESSAY . . .
[Olsen11 ] =ESSAY ANALOGIES USER INTERACTION DESIGN . . .
[Parnas96 ] =EXPERIENCE QUALITY USER . . .
[Parnas11 ] =ESSAY PROCESS RISKS . . .
[Pike06 ] =CORRECTION LOGIC ERRORS TIMING PVS . . .
[Polack01 ] =CASESTUDY V&V SPECIFICATION SAZ Z SSADM Ordnance Survey UK . . .
[SchreflStumptner02 ] =THEORY Object-Oriented DYNAMIC MODEL ANALYSIS DESIGN DAD INHERITANCE OBD PETRI vs UML . . .
[Seidewitz03 ] =ESSAY MODEL SEMANTICS INTERPRETATION THEORY METAMODEL UML . . .
[ShapiroHardy02 ] =EXPERIENCE QUALITY SECURITY TRUST KeyKOS TECHNICAL REQUIREMENTS ARCHITECTURE capabilities modules components . . .
[ShullEtAl10 ] =SURVEY INTERVIEW EXPERIENCE TDD TESTING PROCESS QUALITY . . .
[Spinellis11a ] =HOWTO CHOOSE F/OSS COMPONENTS . . .
[TianRudrarajuLi04 ] =EXPERIENCE WEB/NET RELIABILITY WORKLOAD LOGGING DATA STATISTICS SMU/SEAS KDE . . .
[TsaiWiegertJang92 ] =SUVEY FRORL LOGIC FORMAL SPECIFICATION OBJECT-ORIENTED non-monotonic hierarchy . . .
[ValacichEtAl07 ] =POLL USERS NEEDS WEB/NET PURPOSES QUALITIES ONESIZE OCHN . . .
[VesseyJarvenpaaTractinsky92 ] =EXPERIENCE CASE TOOLS METHODS . . .
[VesseySravanapudi95 ] =EXPERIENCES TOOLS COLLABORATION . . .
[Weidenback94 ] =THEORY LOGIC SEMANTIC TABLEAUX TREES TYPES . . .
[WeidenhauptEtal98 ] =POLL 15 European projects re use of SCENARIOS . . .
[WiederholdWegnerCeri93 ] =ESSAY COMPONENTS ARCHITECTURE DOMAIN . . .
[Williams03 ] =EXPERIENCES XP iterative incremental agile pair-programming . . .
[WilliamsL94 ] =SURVEY FORMAL SPECIFICATION METHODS SCR VDM WLMS . . .
[Winograd95 ] =HISTORY USER+SYSTEM as a starting point . . .
[Wu04 ] =EMPIRICAL UML METRIC Zhou banking understanding . . .
[Yamazakietal93 ] =EXPERIEMENT OBJECT-ORIENETD ROOD Real-time vs FD . . .
[Young97 ] =DEMO PROOF LOGIC LISP . . .
[Zave97 ] =SURVEY REQUIREMENTS Research . . .
[ZickertBeck12 ] =CASESTUDY FINANCIAL SYSTEMS ISD SOLUTION COMPLEXITY PATTERNS INTEGRATE EXTEND REENGINEER PROBLEM SPACE . . .
[ZimmermannWeibgerberDiehlZeller05 ] =EMPIRICAL EVOLUTION OPEN SOURCE TOOL ROSE CVS ECLIPSE GCC GIMP JBOSS JEDIT KO . . .

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]