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

Bibliography Retrieval Engine(Beta)

Items in bibliography identified by a string matching FORMAL

[Abbott83 ] =IDEA ADTs REALITY THEORY Informal algorithm->model->code . . .
[AbowdDix93 ] =MATHEMATICAL HCI/USER SPECIFICATION . . .
[Abowdetal95 ] =THEORY MATHEMATICAL ARCHITECTURE . . .
[Abrial89 ] =ADVERT LOGIC TOOL Z VDM B . . .
[Abrial09 ] =ADVERT FORMAL SYSTEMS REQUIREMENTS B Event-B CORRECTNESS MODEL PROOF SIMULATION REFINEMENT PATTERNS MATHEMATICS TOOL Rodin . . .
[AgarwalRahaGhosh00 ] =EXPERIENCE MRP-II . . .
[AielloEtAl07 ] =UNREAD =REFERENCE FORMAL MODAL LOGIC SPACE . . .
[AichernigKainhofer04 ] =DEMO VALIDATION VDM-SL Mathematica Hybrid SAFER graphic animation . . .
[AlencarCowanLucenaNova95 ] =DEMO ADV/ADO ADTs REUSE . . .
[AlencarCowanLucena02 ] =THEORY FORMAL LOGIC CATEGORY OBJECTS INTERFACES ADV ADO . . .
[AlexanderH88 ] =DEMO need SQA on Z SPECIFICATIONs as well as code . . .
[Alexander11 ] =COMPARISON REQUIREMENTS METHODS GOALS GORE i* KAOS STAKEHOLDER SORE SCENARIO SCORE USE CASES PRIORITY PORE COST-BENEFIT TRIAGE CONTEXT EVENT CORE . . .
[AmbriolaNotkin88 ] =THEORY LOGIC PROOF formal non-sequential . . .
[Anderson99 ] =EXPERIENCE LOGIC BAN VERIFYING PROTOCOL BANKING PAYMENT SMARTCARD . . .
[Antoniou99 ] =TUTORIAL FORMAL LOGIC DEFAULT INFERENCE EXCEPTIONS . . .
[AntoyHamlet00 ] =DEMO THEORY TEST SQA EXPERIMENT JAVA . . .
[Aptetal80 ] =THEORY LOGIC CSP formal . . .
[ApvrilleEtal04 ] =TYPE REALTIME MODEL V&V UML1.5 PROFILE TCLASSES TTOOL RT-LOTOS RTL . . .
[Ardisetal96 ] =COMPARISON Modechart VFSM Esterel LOTOS Z SDL C telecommunications; SDL and Esterel scored well . . .
[ArdisMataga99 ] =EXPERIENCE FAST PROCESS DOMAIN technology transfer 5ESS Lucent . . .
[AroraGouda93 ] =THEORY guarded commands formal reliability . . .
[AstleySturmanAghar01 ] =DEMO MODULES ARCHITECTURE WWW/NET NONSEQUENTIAL QUALITIES REFLECTION LANGUAGE ACTORS . . .
[AustinDevin03 ] =ESSAY REQUIREMENTS FORMAL vs AGILE PURPOSES QUALITIES EVOLUTION ITERATION . . .
[Babinetal91 ] =POLL 235 ENTERPRISES SQA ARCHITECTURE MODELS INSPECTION WALKTHROUGH . . .
[Bach9? ] =ESSAY QUALITY ECONMICS MS-PROCESS . . .
[Backhouseetal89 ] =theory structures Reality . . .
[Baetan90 ] =Theory nonsequential algebra CSP CCS ACP . . .
[BahsounMerzServieres93 ] =THEORY non-sequential objects TLA . . .
[BaierKatoen08 ] =TEXT =THEORY MODEL CHECKING MODAL LOGICS FSM LTL CTL CTL* TCTL BISIMULAION OBDT MARKOV PCTL PCTL* . . .
[BakerHoekOssherPetre12 ] =HISTORY REPORT WORKSHOP DESIGNERS WORKING . . .
[BaldwinChung95 ] =ARTICLE NEW HCI 3D GRAPHIC hardware . . .
[BarbierEtal03 ] =PROPOSAL Object-Oriented MODEL STANDARD aggregation composition whole-part bibliography UML OCL MetaModel OML OPEN Diamonds . . .
[BaresiOrsoPezze97 ] =SIMULATION P2P NET PERFORMANCE DATA LOCATION QoS Freenet Gnutella . . .
[BaresiPezze98 ] =ANALYSIS STRUCTURED METHOD SA/RT . . .
[Barrett87 ] =EXPERIENCE PROOF Floating-point operations STANDARD . . .
[Barrett95 ] =EXPERIENCE SQA INSPECTIONS MODEL CHECKING FORMAL NOTATIONS STD CSP Z English . . .
[BasiliEtAl10 ] =ADVERT GOAL QUESTION METRIC GQM+STRATEGIES . . .
[GrafLormansToetenel03 ] =POLL 36 INTERVIEWS EMBEDDED REQUIREMENTS ARCHITECTURE MOOSE ITEA UML . . .
[Baxter92 ] =EXPERIENCE MAINTENANCE DESIGN vs CODE . . .
[Beeson81 ] =THEORY FORMAL LOGIC . . .
[BegayRauzy01 ] =Type FORMAL HARDWARE VERIFICATION CTL SMV Aralia PVS . . .
[Bekic70 ] =CASE-STUDY VDL/VDM PL/I formal . . .
[BelliniMattoliniNesi00 ] =SURVEY LOGIC TIMING RTL RTIL RTTL . . .
[Ben-ShaulHolderLavva01 ] =DEMO TECHNICAL DISTRIBUTED DYNAMIC MODULE HADAS JAVA . . .
[BenamatiLederer01 ] =POLL TECHNICAL CHANGE MANAGEMENT . . .
[BendraouEtAl10 ] =ADVERT UML4SPM PROCESS MODELING SPEM1.1 SPEM2.0 Di Nitto Promenade Chou . . .
[BerglandZave86 ] =survey object-oriented DAD JSD functional formal ADTs DFD . . .
[BergmanMoorNelson90 ] =TEXT FORMAL LOGIC NATURAL DEDUCTION TREES SEMANTIC TABLEAUX . . .
[Bernstein93 ] =THEORY CSP non-sequential NON-DETERMINISM . . .
[BerzinsLuqi90 ] =DEMO TECHNICAL POLYMORPHIC TYPES C# .NET . . .
[Berztiss89 ] =SURVEY graphic DFDS ERDs(problems) JSD STD Petrie Nets Structure Diagrams . . .
[Bhansali93 ] =SURVEY STANDARDS RISKS . . .
[BicarreguiRitchie95 ] =CASE-STUDY FORMAL LANGUAGES SPECIFICATION . . .
[Bidoitetal91 ] =SURVEY =BIBLIOGRAPHY THEORY FORMAL ALGEBRA SPECIFICATION . . .
[BishopLittlewoodPovyakaloWright11 ] =THEORY MATHEMATICS CONFIDENCE BAYES PROBABILITY . . .
[Bjorner06 ] =UNREAD =ADVERT =EXAMPLES FORMAL DOMAIN MODEL REALITY RSL ABSTRACTION . . .
[BjornerGeorgePrehn99 ] =EXPERIENCE DEMO FORMAL SPECIFICATION PROTOTYPING PRaCoSy lightweight RAISE RSL C train dispatching . . .
[BjornerJones82 ] =ADVERT VDM formal language Technical . . .
[BlackEtAl09 ] =SURVEY RESEARCH AGILE FORMAL MODEL CHECKING Alloy X-Machines SMV CTL KeY . . .
[BloomfieldFroome86 ] =CASE-STUDY Prolog VDL QUALITY . . .
[Blum94 ] =ADVERT DATA METHOD TEDIUM . . .
[Blythetal90 ] =IDEA POSTMODERN . . .
[BoltaciJones95 ] =DEMO MODEL Z SPECIFICATION FORMAL . . .
[BondAnderson01 ] =HISTORY DESIGN SECURE INTERFACE CRYPTOGRAPHY ATMS COMMERCIAL IBM Visa VSM . . .
[BoralvStalmarck99 ] =EXPERIENCE RISKS SPECIFICATION STD/FSM LOGIC TPA vs DESIGN V&V TOOL Prover Delphi for ADtranz CVT Swedish Sternol . . .
[BorgidaGreenspanMylopoulos94 ] =HISTORY RML MODEL REALITY PURPOSE Object-Oriented ONTOLOGY GIST KAOS . . .
[BorgidaJarke92 ] . . .
[Boswell95 ] =ADVERT TOOL FORMALIZER and Z . . .
[Botting87a ] =DEMO formal DAD DFD ERD DDD data lift . . .
[Botting87b ] =THEORY DDD JSP theory languages logic formal . . .
[Botting05b ] =Correction Statecharts fork vs decision . . .
[BottingRoss ] =text formal data DDD method co-routines nonsequential nondeterministic design technical assemblers loaders editors . . .
[BourdeauCheng95 ] . . .
[Boute00 ] =IDEA FORMAL LOGIC FUNCTIONAL MATHEMATICS calculational . . .
[BowenHinchey94 ] =REPORT UK TEACHING MATHEMATICAL LOGICAL SPECIFICATION REFINEMENT TOOLS ZTC ZANS . . .
[BowenHinchey95a ] . . .
[BowenHinchey95b ] . . .
[BowenHinchey96 ] =EXPERIENCE FORMAL MATHEMATICS . . .
[BowenHinchey99 ] =ESSAY METHODS PHILOSOPHY ETHICS ARISTOTLE . . .
[BowenHinchey06 ] =HISTORY FORMAL Z TLA . . .
[BowenHinchey11 ] =HISTORY FORMAL METHODS COMMANDMENTS . . .
[BowenReeves11 ] =DEMO PROCESS COMMUNITY FORMAL METHODS Z BOK KNOWLEDGE . . .
[BraffortHirschberg63 ] =THEORY formal LISP languages . . .
[BriandEtal05 ] =EXPERIMENT OCL UML COMPREHENSION INSPECTION EVOLUTION MAINTENANCE . . .
[Brittan80 ] =DEMO maintenance formal ENGINEERING lifecycle . . .
[BrockHunt99 ] =EXPERIENCE HARDWARE DESIGN V&V VERIFICATION FORMAL LOGIC TOOL ACL2 . . .
[Brodaetal94 ] =TEXT Formal miranda modular-2 . . .
[Brownbridge90 ] =EXPERIENCE SSADM Z CASE . . .
[BrownN96 ] =SURVEY people DoD managers list . . .
[Broy11 ] =ESSAY GAP THEORY ENGINEERING . . .
[Bryant90 ] =THEORY Z SSADM DEF STAN 0055 . . .
[BrylowPalsberg04 ] =DEMO Formal TIMING Z86 Interrupt Handling TEST . . .
[BuchsGuelfi00 ] =DEMO FORMAL SPECIFICATION DISTRIBUTED OBJECT_ORIENTED PETRI-NETS CO-OPN/2 based on COOPN COIL . . .
[Burge91 ] =THEORY FORMAL LOGIC . . .
[BurrowsAbadiNeedham89 ] =THEORY FORMAL LOGIC . . .
[BustardWinstanley94 ] =DEMO SCAFFOLD FORMAL MAINTENANCE LOTOS Dynamics . . .
[CalcagnoOHearnBornat03 ] =THEORY FORMAL LOGIC HOARE Garbage Collection (D.4.2) VERIFICATION . . .
[CanalEtal03 ] =CASESTUDY CORBA IDL PROTOCOL DYNAMIC SPECIFICATION \pi-calculus GRAMMAR ROLE TESTING MWB Java Orbix . . .
[CangussuDeCarloMathur02 ] =MATH PREDICTING SOFTWARE TESTING . . .
[Cann93 ] =THEORY STATISTICS TESTING QUALITY CONTROL . . .
[CaplatSourrouille05 ] =EXAMPLE THEORY METAMODEL TRANSLATION + EXTENSIONS MOF UML PROFILES MDA ARTO C++ PIM PSM CODE Sherlock Constraint Checker . . .
[CarringtonDukeHayesWelsh93 ] =CASE-STUDY FORMAL Design Z . . .
[Carroll94 ] =EXPERIENCE USER scenario use-case . . .
[Cervanto00 ] =ESSAY LOGIC LAMBDA cf Z SCHEMA . . .
[Chaitin05 ] =ESSAY MATH 42 GOEDEL TURING LIEBNITZ INFORMATION . . .
[Chalin10 ] =TYPE USER V&V SQA FORMAL METHOD TOOL VC VERIFICATION COMPILER . . .
[ChanEtal01 ] =EXPERIMENTS FORMAL VERIFICATION REQUIREMENTS STATECHARTS GRAPHIC LOGIC OPTIMIZATION RSML TCAS II BDD . . .
[Chang89 ] =TUTORIAL graphic informal . . .
[Charles96 ] =REPORT STANDARDS ONESIZE AGILE . . .
[ChechikGannon01 ] =CASESTUDY SCR REQUIREMENTS V&V DESIGN TOOL CORD ALGORITHM LANGUAGE LIGHTWIEGHT FORMAL . . .
[ChengHeimdahl97 ] =IDEA OMT+LARCH . . .
[ChengWang02 ] =EXAMPLE Object-Oriented model OMT DYNAMICS semantics LOTOS . . .
[Cherry92a ] =ADVERT GRAPHIC writing is not ENGINEERING . . .
[ChesnevarMaguitmanLoui00 ] =HISTORY 1950-99 FORMAL DIALECTIC DEFEASIBLE CONSISTENCY REASON ARGUMENT PLAUSIBLE AGENTS AI LAW NONMONOTONIC . . .
[Chetali98 ] =EXPERIENCE UNITY LARCH SQA NONSEQUENTIAL SAFETY LIVENESS . . .
[ChristensenChang96 ] =ESSAY SYSTEM REQUIREMENTS . . .
[ChungNixonYuMylopoulos99 ] =THEORY+CASESTUDYs FORMAL NFR SOFTGOALS SIGs GRAPHICS TABLES LOGIC QUALITIES REALITIES SYSTEMS TECHNIQUES . . .
[CiapessoniEtal99 ] =EXPERIENCE TRIO FUNCTIONAL NONFUNCTIONAL PERFORMANCE Make haste slowly. EVOLUTION Adding formalism to existing . . .
[CimattiRoveriSusiTonetta12 ] =CASE STUDY UML OTHELLO ETCS LTL LINEAR TIME LOGIC TRAINS TOOLS ROSE SMT WORD Requisite Pro . . .
[CiolkowskiLaitenbergerBiffl03 ] =POLL 226 SQA WALKTHROUGHS INSPECTIONS ISERN IESE VISEK . . .
[ClarkeGrumbergPeled99 ] =MONOGRAPH FORMAL LOGIC CTL MODEL CHECKING SMV SPIN OBDDS KRIPKE SYMMETRY GROUPS . . .
[ClarkeWing96 ] =SURVEY . . .
[Cleaveland79/80 ] =DEMO formal . . .
[Cockburn02b ] =HISTORY =HOWTO USE CASES FORMALLITY Brief Casual Fully dressed STAKEHOLDERS GOALS Theory . . .
[Coen-Porisinietal94 ] =MATHEMATICAL PROOF FORMAL TIMING FSMS . . .
[Colemanetal94 ] =HOWTO OBJECT_ORIENTED MODEL FORMAL CRC BOOCH REGULAR ERD OMT COLLABORATION HP . . .
[CommonerHoltEvenPnueli71 ] =THEORY formal graphic petri nets non-sequential . . .
[ConboyFitzgerald11 ] =INTERVIEWS 16 XP EXPERTS 16 PRACTITIONERS AGILE TAILORING . . .
[ConcepcionZeigler87 ] =DEMO hardware performance top-down simulation formal graphics . . .
[ConradiDyba01 ] =POLL PEOPLE PROCESS IMPROVEMENT MANAGEMENT vs DEVELOPERS . . .
[ContedeLeonAlves-Foss06 ] =CASE STUDY FORMAL HA&CCS ARTIFACTS RELATIONS LOGIC PROLOG GRAPHIC IMPLEMENTATION ABSTRACTION GUAM DO-178B . . .
[Craigenetal93 ] =SURVEY FORMAL METHODS EXPERIENCE . . .
[Craigenetal95 ] =EXPERIENCES FORMAL METHODS . . .
[Crameretal94 ] =THEORY REUSE FORMAL ALGEBRA SPECIFICATIONS . . .
[CreveuilRoman94 ] =CASE-STUDY UNITY FORMAL NONSEQUENTIAL CASESTUDY . . .
[CrowVito98 ] =ANALYSIS EXPERIENCE . . .
[CugolaNitoEtal96 ] =THEORY USER REQUIREMNTS FORMAL Z: REALITY vs SYSTEM PETRIE GRAPHICS . . .
[Cutkoskyetal96 ] =TOOL DISTANCE ENGINEERING . . .
[DalaKamathKolarikSivaraman04 ] =ADVERT BUSINESS PROCESS MODELLING IMPROVEMENT ERP EPML XML Petri Analysis TED . . .
[DangleLarsenShawZelkowitz05 ] =CASE STUDY DSCS CMM . . .
[Dasgupta91 ] =THEORY ENGINEERING methodology . . .
[DavisA94b ] =ESSAY IMPROVEMENT CUSTOMER PROTOTYPES FORMAL SQA REUSE . . .
[DeanHinchey95 ] =EDUCATION FORMAL Z . . .
[DeGraceStahl93 ] =ESSAY METHODS . . .
[deGuzman0jedaValverdes95 ] =THEORY DATA STRUCTURES . . .
[Delany76 ] =FICTION =SEMINAR language SEMANTICS theory structure . . .
[DelisleGarlan90 ] =DEMO FORMAL SPECIFICATION HARDWARE . . .
[DeMouraBjorner11 ] =ADVERT LOGIC FORMAL MATHEMATICS PROBLEM SOLVING TOOLS SMT SAT . . .
[DemskyRinard06 ] =DEMO DATA SPECIFICATION SETS RELATIONS ABSTRACTION INVARIANTS CONSTRAINTS REPAIR FAULT AbiWorld CTAS Freeciv File System . . .
[DesharnaisEtal98 ] =THEORY RELATIONS Z SCENARIOS . . .
[DevlinRosenberg96 ] =EXPERIENCE SYSTEM MATHEMATICS: Situation theory . . .
[Dijkstra68c ] =DEMO non-sequential formal analysis virtual machine . . .
[Dijkstra76 ] =TEXT guarded-commands sequential non-sequential formal logic structures . . .
[Dijkstra89 ] =TALK formal logic education . . .
[Dijkstra90 ] =MONOGRAPH FORMAL PROOFS . . .
[Dillon90 ] =EXPERIENCE formal QUALITY non-sequential . . .
[Dillonetal86 ] =THEORY PREDICTING regular DAD formal . . .
[Dillonetal94 ] =ADVERT NOTATION MODAL TEMPORAL LOGIC FORMAL GIL TOOL GILED . . .
[DillRushby96 ] =HISTORY HARDWARE vs SOFTWARE TOOLS . . .
[Dromey88 ] =EXPERIENCE XP AGILE 4 Motorola Projects . . .
[Dromey90 ] . . .
[DutertreStavidou97 ] =DEMO V&V REQUIREMENTS LOGIC TOOLS TIMING RISKS REALITY PVS . . .
[EasterbrookCallahan97 ] =FUN MATHEMATICS BOOK . . .
[EasterbrookEtal98 ] =EXPERIENCES FORMAL SQA complement trad METHODS: SCR And/Or TABULAR . . .
[EditorU08 ] =EXAMPLES FORMAL PROOFS MATHEMATICS . . .
[EisenbarthKosckeSimon03 ] =DEMO TEST SCENARIO TRACE CODE MODULES CONCEPT MAINTENANCE . . .
[Embleyetal95 ] =POLL 2006 2007 PROJECTS SUCESS FAILURE SIZE LENGTH STATISTICS . . .
[EmmerichEtal99 ] =THEORY MODEL LOGIC FLEA TOOL DOORS DXL STANDARDS in PROCESS . . .
[Endres93 ] . . .
[EriksonBorstlerBorg06 ] =CASESTUDY SWEDISH PRODUCT LINE MODEL FEATURE USECASE PLUSS . . .
[EvermannWand05 ] =IDEA REALITY DOMAIN Bunge ONTOLOGY LANGUAGES MODEL UML STATE CHART METAMODEL . . .
[FarmerMohrenschildt00 ] =IDEA LOGIC DEDUCTION COMPUTATION TERM TRANSFORMERS . . .
[Faulketal92 ] . . .
[Feather98 ] =EXPERIENCE NASA DATABASE LISP . . .
[FeatherLamsweerde94 ] . . .
[Feijs93 ] . . .
[FeijsJonkers92 ] . . .
[FeijsJonkers94 ] =SURVEY COLD-1 FORMAL MATHEMATICS PICTORIAL . . .
[Fekete93b ] . . .
[Felderetal94a ] =FORMAL TIMING Temporal TRIO . . .
[FelderPezze02 ] =EXPERIENCE GRAPHIC TIMING NOTATION SEMANTICS PETRI SA/RT ward-Mellor STATECHARTS Model-checking Cabernet . . .
[FiadeiroMaibaum95 ] =DICTIONARY LOGIC SYMBOLISM LANGUAGE . . .
[FidgeKearneyUtting97 ] =EXPERIENCES OBJECT-ORIENTED REUSE . . .
[Finney96 ] =IDEA REQUIREMENTS LOGIC SPECIFICATION See Nuseibehetal94 . . .
[Fishburne00 ] =ALGORITHM ASCII optimal linebreaks word wrap . . .
[FittingMendelsohn98 ] =TEXT FORMAL LOGIC MODAL THEORY . . .
[Floyd67a ] =EXPERIENCE SQA/V&V PROCESS SPC SEPG . . .
[FlynnHoverdBrazier90 ] =DEMO ALGORITHM TOOL Eclipse plugin AST STRING MATCHING . . .
[Fokkink07 ] =TEXT NONSEQUENTIAL FORMAL microCRL ACP DATA TOOLS \mu_CRL ALGEBRA . . .
[Fox66 ] =SURVEY formal logic . . .
[France92 ] =DEMO OBJECT-ORIENTED GoF PATTERNS OBSERVER COMPOSITE WEB/NET AGENTS SOAP JAVA HTML . . .
[Fraseretal91 ] =ESSAY MODELING MDD UML2.0 meta-models semantics . . .
[Fraseretal94 ] . . .
[FraserVaishnavi97 ] =REPORT OOPSLA PANEL HISTORY STATUS Brookes Werewolf . . .
[FreyEtal02 ] =DEMO SPECIFICATION DESIGN VERIFICATION SIMULATIONS PVS . . .
[Gannonetal93 ] =THEORY MODULES PURPOSE . . .
[GanterWille99 ] =THEORY MATHEMATICAL FORMAL LOGIC LATTICE CONCEPT . . .
[Garfinkel05 ] =REPORT MS MODEL CHECKING DEVICE DRIVERS TOOL SLAM . . .
[GargantiniMorzenti01 ] =DEMO FORMAL REQUIREMENTS ANALYSIS SRA LOGIC . . .
[Geer10 ] =POLL SECURITY METHODS PROCESSES SDLs SDL-agile SAMM BSIMM SSDL CLASP . . .
[Gerhart89 ] =ADVERT RISKS vs FORMAL . . .
[Gerhart90 ] =ADVERT FORMAL . . .
[GerhartCraigenRalston94 ] =EXPERIENCE FORMAL . . .
[GervasiNuseibeh02 ] =CASESTUDY LITE FORMAL V&V REQUIREMENTS LOGIC NASA . . .
[Glass94b ] =EXPERIMENT METHOD FUNCTIONAL PURPOSE ML JAVA . . .
[Glass96 ] . . .
[Glass04b ] =POLEMIC FORMAL METHODS . . .
[GoShiratori99 ] =THEORY LOTOS FSM TOP-DOWN LTS:="Labeled Transition Systems" applied to protocol in OSI reference model . . .
[GodefroidPeleStaskauskas96 ] =UNREAD ANALYSIS DESIGN DATA XML DOCUMENTS WEB . . .
[Gonthier08 ] =EXAMPLE Coq 4COLOR FORMAL PROOFS MATHEMATICS TYPES . . .
[Gonzales05 ] =HISTORY SYSTEMS ENGINEERING vs SOFTWARE ENGINEERING REQUIREMENTS . . .
[Gorlatch00 ] =MATHENMATICAL NONSEQUENTIAL PERFORMANCE . . .
[GradonEtAl12 ] =IDEA ARGUMENTS EXPLICIT INFORMAL REASONS COMPLIANCE STANDARDS . . .
[Gravell90 ] =THEORY QUALITY TECHNICAL OPTIMISATION REFINEMENT . . .
[Gray88 ] =EXAMPLE PURPOSE Z . . .
[GreiskampLepper00 ] =DEMO FORMALIZE Black Box TEST USE CASES Executable Z Notation Lift ZAP ZETA . . .
[Gries81 ] =TEXT formal guarded-commands . . .
[Gries91 ] =ESSAY FORMAL LOGIC MATH EDUCATION . . .
[Gries96 ] . . .
[GriesSchneider95 ] = . . .
[GuaspariMarceauPolak90 ] =DEMO TECHNICAL IDL ASP . . .
[Guerevich87 ] . . .
[Guptaetal96 ] =SURVEY . . .
[Gurevich88 ] =THEORY FORMAL LOGIC COMPUTING . . .
[GuttagHorning93 ] =TEXT LARCH TOOL LANGUAGE . . .
[HalaszSchwartz90 ] =EXPERIENCE FORMAL Dexter WWW/NET Z . . .
[Hales08 ] =EXAMPLES HOL Light FORMAL PROOFS MATHEMATICS ZFC TYPES . . .
[HaleyLaneyMoffettNuseibeh08 ] =CASESTUDY SECURITY REQUIREMENTS METHOD . . .
[Hall90 ] =EXPERIENCE FORMAL MYTHS . . .
[Hall96 ] =EXPERIENCE FORMAL QUALITY COST . . .
[Hall96a ] =EXPERIENCE FORMAL ER DFD VDM VVSL CSP FSM CCS . . .
[HallChapman02 ] =EXPERIENCE CORRECTNESS SECURITY FORMAL Z CSP MODEL PREDICTABLE PROCESS TOOLS COTS MXI Multos Spark Ada95 GUI C++ MSFC . . .
[Hamilton01 ] =IDEA GRAPHIC LOGIC MODEL RKF USER vs FORMAL . . .
[HanEtal00a ] =PATTERN FORMAL UML LOGIC . . .
[HansenRavnRischel91 ] =DEMO TIMING REALITY Requirements SYSTEM LOGIC . . .
[Harel86 ] =THEORY STATECHART STD graphic formal dynamics statecharts Reality . . .
[Harel88 ] =THEORY STATECHART STD graphic formal dynamics state-charts . . .
[Harel01 ] =IDEAs USER REQUIREMENTS PURPOSE SAFETY LIVENESS MODEL DESIGN TEST REACTIVE TOOLS . . .
[Harel09 ] =HISTORY StateCharts GRAPHIC TOOL NOTATION FSM Hypergraphs SYNTAX SEMANTICS PRACTICE VISUAL FORMALISM Statemate Rhapsody . . .
[HarrisonSnook02 ] =POLL EMPIRICAL UML Z B VDM CSP CCS in Marconi Prasix IBM Phillips . . .
[Hart95 ] =DEMO EXPERIENCE PROOF . . .
[Hatton95 ] =SURVEY EXPERIENCE FORMALITY RISKS . . .
[HavelunddLowryPenix01 ] =CASESTUDY FORMAL MODEL CHECKING TOOL SPIN LISP LTLMODAL LOGIC ESL PROMELA . . .
[HaxtehausenPelska00 ] =CASESTUDY RAISE DISTRIBUTED RADIO SYSTEM SAFETY REQUIREMENTS invent & verify SPECIFICATION . . .
[HayAtlee00 ] =CASESTUDY FORMAL EVOLUTION CVF LOGIC Relations POTS . . .
[Hayes93 ] =TEXT SPECIFICATION Z Formal CICS Text . . .
[Hayes09 ] =ARTICLE HTML \TeX TeX MathML JsMath FONTS techexplorer . . .
[HayesJones89 ] =IDEA SPECIFICATION . . .
[HayesJonesNichols94 ] =HISTORY FORMAL METHODS Z vs VDM . . .
[Hehner93 ] =TEXT FORMAL DDD . . .
[HeimdahlLeveson96 ] =EXPERIENCE TCAS experiences and formal definition of analysis . . .
[HeitmeyerKirbyLabaw97 ] =EXPERIENCE TOOLS FORMAL SCR . . .
[Hemendinger90 ] =DEMO NONSEQUENTIAL GRAMMAR regular DAD . . .
[Henderson-SellersGraham96 ] =ADVERT OPEN =SURVEY METHODS OBJECT-ORIENTED . . .
[Henderson86 ] =DEMO prototypes PURPOSE . . .
[Henderson90 ] =EDUCATION formal MATHEMATICS . . .
[HenkelReichenbachDiwan08 ] =CASESTUDIES TOOL DEBUG SPECIFICATIONS vs JAVA CODE TECHNICAL . . .
[Henzingeretal94 ] =UNKNOWN THEORY FORMAL MODEL VALIDATION . . .
[Hersh95 ] =HISTORY MATHEMATICAL LOGIC . . .
[Hevneretal92 ] =ADVERT CLEANROOM . . .
[HincheyBowen95 ] =EXPERIENCES - good news vs bad press and no extra profit . . .
[HincheyBowen99 ] =EXPERIENCE FORMAL METHODS B BAN Z TABULAR ACL2 RAISE Z/EVES EVES V&V TOOL Cleanroom SSADM RSML . . .
[HincheyEtAl08 ] =SURVEY FORMAL MATHEMATICAL LOGICAL METHODS TOOLS QUALITIES RELIABLE COST . . .
[Hoare69 ] =THEORY logic formal structures . . .
[Hoare79 ] =SUMMARY non-sequential . . .
[Hoare85 ] =IDEA CSP non-sequential formal logic structures . . .
[Hoare87 ] =SURVEY METHODS FORMAL optimization . . .
[Hoareetal87 ] =IDEA formal sequential logic . . .
[Hodges77 ] =TEXT FORMAL LOGIC Semantic Tableaux TREEs . . .
[Hodges05 ] =TEXT FORMAL LOGIC Semantic Tableaux TREEs . . .
[HoerrlAichernig00 ] =CASESTUDY INDUSTRY Frequentis VDM++ -> UML Rational Rose 98 TOOL for ATC PABX PSTN VCS3020s . . .
[HoffmanSnodgrass88 ] =IDEA ADTs formal specification and LISP prototypes . . .
[HollowayButler96 ] =EXPERIENCE FORMAL METHODS . . .
[HoltCordy88 ] =case-study formal TURING LANGUAGE . . .
[HolzmannSmith02 ] =EXPERIENCE TOOLS FORMAL VERIFICATION SPIN/PROMELA C . . .
[Honidenetal93 ] =ADVERT OBJECT-ORIENTED PROCESS NONSEQUENTIAL . . .
[HoustonKing91 ] =EXPERIENCE Formal maintenance Z IBM CICS . . .
[HowdenWieand94 ] =DEMO QUALITY COMMENTS TECHNICAL SQA OBJECT-ORIENTED . . .
[Hsiaetal94 ] =POLL WEB USER CULTURE PEOPLE DIFFERENCES . . .
[HughesPowell81 ] =DEMO DESIGN formal non-sequential DFD DDD . . .
[HunterNuseibeh97 ] =FORMAL REQUIREMENTS LOGIC . . .
[HunterNuseibeh99 ] =IDEA labelled QC Quine FORMAL LOGIC SPECIFICATION . . .
[HurnausPrahofer ] =CASE STUDIES TOOL IDE LANGUAGE GRAPHIC DSL MONACO MODULAR FLOWCHART CONTROL MODEL CHECKING AI BELIEF UPDATE . . .
[HuthRyan00 ] =TEXT FORMAL MODEL LPC MODAL LOGIC CTL OBDDs AGENTS VERIFICATION SMV CSUSB.CSCI556/656 . . .
[Ilgunetal95 ] =FORMAL FSM/STD RULES SECURITY . . .
[Ince88a ] =TEXT Z MATH . . .
[Ince93 ] =TEXT Z MATH . . .
[InverardiWolf95 ] =THEORY ARCHITECTURE THEORY GAMMA LANGUAGE NONSEQUENTIAL . . .
[IyerRamesh01 ] =DEMO FORMAL V&V Object-Oriented Concurrency DIGRAPH . . .
[ISO/IEC13817-1 ] =STANDARD VDM FORMAL SPECIFICATION . . .
[ISO/IEC13817-1 ] . . .
[Jackson91 ] =ESSAY Reality . . .
[Jackson98a ] =ESSAY . . .
[Jackson01 ] =ESSAY PROBLEM ANALYSIS REQUIREMENTS REALITIES SYSTEMS METHODS . . .
[Jackson06 ] =ESSAY REALITY vs SYSTEM MODELS . . .
[JacksonD02 ] =IDEA GRAPHIC FORMAL Object-Oriented NOTATION Alloy Z SEMANTICS LOGIC SETS RELATIONS FUNCTIONS . . .
[JacksonD06 ] =SURVEY FORMAL V&V SQA CORRECTNESS MODEL CHECKING TOOLS Alloy .. Zing . . .
[JacksonD06a ] =TEXT Alloy LIGHT FORMAL MODEL CHECKING METHODS TOOLS . . .
[JacksonDDamon96 ] =CASESTUDY DESIGN IMPROVEMENT CTAS REVERSE ENGINEERING Motif . . .
[JacksonDShlyakhterSridharan01 ] =IDEA MODULAR SPECIFICATIONS RELATIONS FORMAL NOTATION LOGIC EXTENSION TOOL? cf Z Alloy . . .
[JacksonDWing96 ] =DEMO TOOL TECHNICAL Java bytecode MODEL Alloy Womble Superwomble Rose . . .
[Jacky95 ] =EXPERIENCE EMAIL INTERRUPTION . . .
[Jacky99 ] =EXPERIENCE Z tools TABULAR CSR SMV TMC radiation therapy machine . . .
[Janicki97 ] =EXPERIENCE RELIABILITY USAGE . . .
[JaspanEtAl09 ] =REPORT DISCUSSION EXPERIENCE MYTHS FORMAL METHODS AGILE FSM LOGIC MATHEMATICS . . .
[JeanStrohmeier90 ] . . .
[Jeffrey67 ] =TEXT FORMAL LOGIC semantic Tableaus TREES . . .
[Jeffrey91 ] =TEXT FORMAL LOGIC semantic Tableaus TREES . . .
[JetleyIyerJones06 ] =CASE STUDY FDA MEDICAL MODEL CHECKING TESTING FORENSICS LTS FSM CDRH SLICING ABSTRACTION . . .
[JonesC96a ] = size of portfolio/no. maintainers. . . .
[JonesC96c ] =DEMO METRICS COSTS PROCESS . . .
[JonesCB95 ] =THEORY FORMAL LOGIC . . .
[JonesCB96 ] . . .
[JonesRPetal96 ] =theory logic incomprehensible . . .
[Jordahl91b ] . . .
[Jorgensen05 ] =SURVEY DEVELOPMENT COST ESTIMATION . . .
[JorgensenBoehm09 ] =DEBATE ESTIMATION COCOMO . . .
[JorgensenBossen04 ] =EXPERIENCE USE CASE PROTOTYPE MODEL REQUIREMENTS hospital Work Flows Colored Petri Nets CPN . . .
[Jullig93 ] =ADVERT FORMAL METHOD . . .
[JuristoMorenoLopez00 ] =DEMO METHOD OOA/D LANGUAGES BNF OMT . . .
[Kaindle93 ] =IDEA REQUIREMENTS HYPERTEXT RETH FRAMES INHERITANCE . . .
[KalishMontague64 ] =TEXT LOGIC . . .
[KaramCasselman89 ] =SURVEY METHODS SDM . . .
[KayReed93 ] =THEORY MODULES NONSEQUENTIAL SAFETY LIVENESS PROOF PERFORMANCE . . .
[Kelly78a ] =ADVERT Esperanto ITL UNIVERSAL LANGUAGES . . .
[Kemmerer90 ] =ADVERT FORMAL MATHEMATICS . . .
[KestenKleinPnueliRaanan99 ] =EXPERIENCE VERIFICATION DESIGN SECURITY MODULE SAFETY SPIN SPL SPL++ PROMELA STeP C++ . . .
[Khoury02 ] =IDEA ECLECTIC FORMAL NOTATION . . .
[KilovRoss94 ] =ADVERT IBM METHOD DATA OO . . .
[KingHammondChapmanPryor00 ] =EXPERIENCE FORMAL COST TEST Z SPARK Ada SHOLIS helicopter TOOLs . . .
[KirkegaardMollerSchartzbach04 ] =DEMO XACT TOOL JAVA =FORMAL XML templates DTD XPATH summary graphs . . .
[KishiNoda06 ] =ADVERT MODEL CHECKING ENVIRONMENT + PRODUCT VARIATIONS UML PROMELA SPIN TOOL ECLIPSE . . .
[Kitchenham96 ] =SURVEY EXPERIMENT METHODS TOOLS . . .
[Kohlhase06 ] =UNREAD =STANDARD MATHEMATICS FORMAL + INFORMAL THEORIES STATEMENTS FORMULAE . . .
[Kotze98 ] =THEORY FORMAL Z WWw . . .
[Kowalski79b ] =TEXT LOGIC FORMAL PROLOG THINKING . . .
[KrishnamurthiFelleisen98 ] =THEORY extension of repertoires of programs . . .
[Kurtz91 ] =ESSAY REAL TIME . . .
[Kurtzetal91 ] =EXPERIENCE PEDAGOGY DENOTATION SEMANTICS TOOL EQUATIONS . . .
[LafontaneLedruSchobbens91 ] =EXPERIMENT FORMAL VDM LOGIC . . .
[LaiHuang03 ] =STATISTICS ESTELLE C ESTIMATION SIZE LOC 14 PROTOCOLS FSM . . .
[Lamport86a ] =THEORY NONSEQUENTIAL FORMAL . . .
[Lamport86b ] =THEORY non-sequential formal specification . . .
[Lamport87 ] =THEORY non-sequential formal . . .
[Lamport90a ] =MATHEMATICAL non-sequential formal dynamic modal logic . . .
[Lamport91 ] =MATHEMATICAL non-sequential formal dynamic modal logic . . .
[Lamport94a ] =THEORY NONSEQUENTIAL LOGIC . . .
[Lamport94b ] =MATHEMATICAL non-sequential formal dynamic modal logic . . .
[Lamport94c ] =IDEA PROOFS FORMULAS STRUCTURED FORMAL LOGIC MATHEMATICS . . .
[Lamport95 ] =DEMO PROOFS FORMAL LOGIC . . .
[Lamport95a ] =THEORY TLA Formal Graphics temporal logic of actions . . .
[LamShankar90 ] =MATHEMATICAL regular dynamic formal non-sequential . . .
[LamShankar94a ] =THEORY SAFETY LIVENESS MODULARITY PROOF COMPOSITION . . .
[LamsweerdeDarimontLetier98 ] =THEORY PURPOSE KAOS LIGHTWEIGHT FORMAL temporal LOGIC views Some EXPERIENCE . . .
[LamsweerdeWillemet98 ] =DEMO USER to PURPOSE TLA FORMAL LOGIC LANGUAGE KAOS WHY+WHO+WHEN+WHAT Lift . . .
[LangeChaudronMuskens06 ] =POLL 80 Architects +14 CASE STUDIES UML QUANTITY QUALITY METRICS . . .
[LanoGoldsackSanchez99 ] =EXPERIENCE fORMAL SPECIFICATION REACTIVE VALIDATION V&V B PCT FSM TEMPORAL LOGIC StateCharts TOOLS . . .
[LanoHaughton94 ] =DEMOS FORMAL MooZ OOZE/FOOPS VDM++ Z++ Object-Z Fresco OOSD OMT SSADM . . .
[LarsenFitzgeraldBrookes96 ] =EXPERIMENT VDM-SL . . .
[LawrenceJacksonD96 ] =DEBATE FORMALISM REQUIREMENTS . . .
[Leeuwen90 ] =REFERENCE THEORY FORMAL SEMANTICS . . .
[Leroy09 ] =DEMO PROGRAM PROVING COMPILER TOOLS CompCert Coq FORMAL SEMANTICS SEMANTIC PRESERVATION Mach Cminor . . .
[Leveson90 ] =EDITORIAL . . .
[LevesonEtal94 ] =CASE-STUDY FORMAL STATECHART GRAPHICS REVERSE-ENGINEERING . . .
[LevesonEtal99 ] =EXPERIENCE RSML FAA TCAS SpecTRM SpecTRM-RL SPECIFICATION LANGUAGES METHOD FORMAL GRAPHIC TABULAR TOOLS . . .
[LevesonEtal99b ] =ADVERT PROTOTYPE FORMAL TOOL RISKS NASA RSM RSML TCAS FAA STATECHARTS FSM AND/OR SpecTRM-RL Safeware . . .
[LiConradiEtAl09 ] =POLL COTS OSS OFF-THE-SHELF COMPONENTS PROCESS ECONOMICS METHOD . . .
[LichtensteinPnueli00 ] =HISTORY 20 years . . .
[LindigSnelting97 ] =EXPERIENCE FORMAL CONCEPT ANAYSIS LEGACY CODE . . .
[Lindvall04 ] =POLL AGILE TECHNICAL PROCESS ONESIZE XP ABB DaimlerChrysler Motorola Nokia . . .
[LittlewoodWright07 ] =EXAMPLE THEORY RELIABILITY RISKS Arguments BAYES PROBABILITY BBN CAUSALITY SPECIFICATION CORRECTNESS TESTING . . .
[LiuChenNagoyaMcDermid12 ] =ADVERT =EXPERIMENT SQA JAVA CODE PATHS VS FORMAL SPECIFICATION SCENARIOS FSBI SOFL PBR . . .
[LiuHorowitz89 ] =THEORY PROCESS MODEL PETRIE NET AND/OR . . .
[LiuOffuttEtal98 ] =DEMO PROCESS LANGUAGE INSPECTIONs . . .
[LuckhamEtAl87 ] =LANGUAGE ADA PROOF ANNOTATION Floyd INVARIANT ASSERTION . . .
[Luckhametal91 ] =DEMO FORMAL DEBUG . . .
[Luqi92 ] =DEMO PSDL formal hard realtime constraints . . .
[LuqiGoguen97 ] =IDEAS hyperrequirements(p83) + social context + evolution + granularity of methods and tools + Generics . . .
[Lutz92 ] =NEWS OBJECT_ORIENTED EXPERIENCES . . .
[LutzWong92 ] =THEORY concurrency formal SQA . . .
[Maibaum09 ] =EDITORIAL ENGINEERING SCIENCE MATHEMATICS DESIGN HANDBOOKS EDUCATION METHODOLOGY COOKBOOK . . .
[Maiden08a ] =HISTORY 1983-2008 REQUIREMENTS . . .
[Malik11 ] =EXPERIENCE F/OSS OPEN SOURCE TOOL FORMAL Z Requirements specification verification tools LOGIC Set Theory UNICODE XML Circus . . .
[MargariaSteffen09 ] =ADVERT OTA XMDD CMDE One-Thing MODEL USER STAKEHOLDER REQUIREMENTS EXECUTABLE FORMAL . . .
[Martin85 ] =ADVERT HOS DATA Algebraic Specifications of AXES FORMAL METHODS FD . . .
[Matsson09 ] =EXPERIENCE MDD ARCHITECTURE RULES UML Rhapsody RUP EMBEDDED RISKY Combisoft Saab . . .
[Mays94 ] =ESSAY THINKING ANAYLSIS DESIGN IMPLEMENT . . .
[McCarthy87 ] =ESSAY AI LOGIC LPC not PROLOG situation calculus frame problem nonmonotonicity. . . .
[McCarthyetal62 ] =MANUAL LISP case-study formal . . .
[McCormick01 ] =HISTORY EVOLUTION ITERATION XP CMM RUP OPEN PEOPLE CULTURES . . .
[McDermid89 ] =WORKSHOP FORMAL TOP-DOWN Z VDM REQUIREMENTS . . .
[McDermid91 ] =REFERENCE . . .
[McUmberCheng01 ] =CASESTUDY Object-Oriented model UML TOOL FORMAL PROMELA SPIN . . .
[MeredithBjorg03 ] =ARTICLE WEB/NET SPECIFICATION PROCESS ALGEBRA XML WSDL BEPL4WS WSCI Web services allow components to send each other specifications. Current standards define how to share interface and protocols. However the protocol languages are to complex. Process algebras with types provide a formal basis that is powerful and simple enough to be used. . . .
[MetayerEtAl11 ] =DEMO MASS MARKET SOFTWARE CONTRACTS LOGIC TOOLS CHECKING EULA . . .
[Meyer85 ] =DEMO formal logic non-sequential PURPOSE Reality . . .
[Meyer93 ] =ESSAY nonsequential . . .
[MeyerMinginsSchmidt98 ] =ADVERT . . .
[Milietal89 ] =HOWTO formal specification Reality PURPOSE . . .
[Mills72 ] =THEORY MATH sequential non-sequential formal structures . . .
[Millsetal87 ] =demo formal technical structured cleanroom . . .
[Millsetal89 ] =essay formal CLEANROOM tables education . . .
[Milner80 ] =THEORY FORMAL non-sequential CCS timing . . .
[MiriyalaHarandi91 ] =ESSAY TOOL . . .
[MohaEtAl10 ] =DEMO TOOL DECOR DETEX CODE 15 SMELLS 4 ANTI-PATTERNS DOMAIN LANGUAGE METRICS . . .
[Molletal86 ] =THEORY LANGUAGE topology . . .
[Monin03 ] =SURVEY FORMAL CTL Z B VDM LP HOL CCS CSP LCF LTL PVS TLA . . .
[MooreKlinkerMihelcic99 ] =EXPERIENCE PROOF REFINEMENT SQA V&V SCR Statemate CSP EVES Verdi Ada VADS GSN SAM SESAME OzWeb TABULAR LITEATE SPECIFICATION SECURITY SED/SEC . . .
[MurphyNotkinSullivan01 ] =FORMAL+EXPERIENCE MODEL TOOL TECHNICAL CODE Z . . .
[MurphyPiccoRoman06 ] =DEMO Lynda MOBILE FORMAL UNITY DEVELOPMENT TUPLE-SPACE NONSEQUENTIAL OPEN SOURCE . . .
[MyersJP90 ] =ESSAY logic formal . . .
[Naftalinetal94 ] =PROCEEDINGS FORMAL METHODS VDM REFINEMENT . . .
[Nagel56 ] =ESSAY FUNCTION SYSTEMS PURPOSES . . .
[NaikSarikaya92 ] =ADVERT TESTING LOTOS formal . . .
[NanardNanard95 ] =SURVEY WRITING HYPERTEXT TOOLS . . .
[NarayanaDharap90 ] =DEMO Z FORMAL SPECIFICATION GRAPHIC USER INTERFACE GUI . . .
[NetzerMiller92 ] =THEORY NONSEQUENTIAL RISKS . . .
[Neumann96 ] =EXPERIENCE RISKS vs MATHEMATICS . . .
[Nicholls90 ] =SURVEY FORMAL Z . . .
[NeilLaplante03 ] =POLL 194 GRADUATE ALUMNI REQUIREMENTS PRACTICES . . .
[NielsonNielson92 ] =TEXT LANGUAGE SEMANTICS FORMAL DENOTATIONAL AXIOMATIC OPERATIONAL . . .
[NielsonNielson07 ] =UNREAD =TEXT LANGUAGE SEMANTICS FORMAL DENOTATIONAL AXIOMATIC OPERATIONAL . . .
[Nissenbaum94 ] =ARTICLE PROCESS PEOPLE . . .
[NiuAtleeDay03 ] =FORMAL SEMANTICS DYNAMIC MODELS CSP CCS LOTOS BTS SDL88 RSML STATECHARTS SCR Petri TOOLS OPERATIONAL microstep macrostep . . .
[NottegarPriamDegano01 ] =FORMAL ALGEBRA MOBILE PERFORMANCE SEMANTICS HO_\pi calculus . . .
[NuseibehHaleyFoster09 ] =EXPERIENCE ITERATIVE FORMAL SECURITY REQUIREMENTS ANALYSIS ATC TOULMIN ARGUMENT PROOF RISKS SYSTEM ARCHITECTURE STAKEHOLDERS EXPERTS . . .
[Oakley90 ] =EXPERIENCE PROCESS OPENSOURCE . . .
[OlsenK06 ] =ESSAY AI RISKS Context REALITY . . .
[Oman94 ] =REPORT tools statistics quality Shuttle . . .
[Oquendo06 ] =PROPOSAL PROFILE UML2.0 FORMAL ARCHITECTURE pi-ADL . . .
[OwickiGries76 ] =TOOL FONT TYPOGRAPHY OPEN TYPE MATHEMATICS SCIENCE 8000 GLYPHS UNICODE IEEE AMS . . .
[Owreetal95 ] =ESSAY FORMAL LOGIC TOOL partial functions SPECIFICATION . . .
[OzcanMorrey95 ] =IDEA RESEARCH PROTOTYPE REVERSE ENGINEERING SPECIFICATIONS . . .
[PahlCasey03 ] =FORMAL WEB/NET LOGIC ALGEBRA LTS Kripke temporal description LANGUAGES . . .
[Palshikar01 ] =ADVICE FORMAL SPECIFICATION METHODS Z MATH . . .
[Parnas83 ] =IDEA sequential harmful . . .
[Parnas85 ] =WARNING SDI RISKS modules formal . . .
[Parnas90 ] =EDUCATION engineering formal. . . .
[Parnas93 ] =EXPERIENCE FORMAL SPECIFICATION LOGIC partial functions . . .
[Parnas96a ] =ESSAY MATHEMATICS ENGINEERING model description specification . . .
[Parnas10 ] =POLEMIC =HISTORY FORMAL METHODS ASSUMPTIONS RESEARCH vs PRACTICE MATHEMATICS ENGINEERING vs PHILOSOPHY . . .
[Parnasetal90 ] =EXPERIENCE RISKS SQA formal PURPOSE . . .
[Patton08a ] =ADVERT RAPID ITERATIVE TEST EVALUATION RITE vs FORMAL TESTING . . .
[Paulos98 ] =ESSAY LOGIC MATHEMATICS and story telling . . .
[Paulson89 ] =THESIS TOOLS LOGIC SELMA ANALYSIS . . .
[PaulsonWand92 ] =ADVERT THESIS SYSTEM Formal JSD SELMA parallel/sequential decomposition . . .
[PeledGriesSchneider02 ] =TEXT FORMAL V&V SQA LOGIC LTL Buchi Hoare algebra Milner Petri sequence charts . . .
[PerezBoado00 ] =ADVERT OBJECT-ORIENTED DESIGN METHOD . . .
[Pfleeger94 ] =THEORY EXPERIMENTS . . .
[PfleegerHatton97 ] =analysis PRAXIS CDIS system CDM CCS FSM effect on CODE quality: . . .
[PiccoRomanMcCann01 ] =THEORY FORMAL LOGIC UNITY MOBILE AGENT CODE . . .
[Pike06 ] =CORRECTION LOGIC ERRORS TIMING PVS . . .
[PodgurskiClarke90 ] =IDEA DEPENDENCIES TESTING DEBUGGING EVOLUTION MAINTENANCE . . .
[PodorozhnyOsterweil97 ] =Experience JSP vs BOOD . . .
[Polack01 ] =CASESTUDY V&V SPECIFICATION SAZ Z SSADM Ordnance Survey UK . . .
[PoonTangTseChen10 ] =ADVERT CHOC'LATE TESTING SPECIFICATION HIDDEN FORMALISM CTM CPM CTF . . .
[PoshyvanykGethersMarcus12 ] =EXPERIMENT THEORY LOCATE REUSE FORMAL CONCEPT ANALYSIS SINGULAR VALUE DECOMPOSITION . . .
[Potteretal91 ] =TEXT FORMAL SPECIFICATION Z . . .
[PottsNewstetter97 ] =ESSAY RESEARCH REQUIREMENTS POST-MODERN . . .
[Poulin99 ] =ESSAY REUSE . . .
[PrecheltUnger01 ] =EXPERIMENT 50 students PSP trained vs Java bean trained . . .
[PriamiEtAl09 ] =PROCEEDINGS FORMAL METHODS BIOLOGY PEPA CCS CSP PETRIE . . .
[RaghuRameshwhinston02 ] =SIDEBAR FORMAL MODEL ACTON GAME DIALECTIC nonmonotonic LOGIC causality dialectic . . .
[RameshCaoMohanXu06 ] =CASE STUDIES 3 DISTRIBUTED AGILE PROCESS ORGANIZATION REALITY . . .
[Ramsay88 ] =MONOGRAPH LOGIC AI FORMAL MODAL LPC TIMING NonMonotonic \lambda-calculus . . .
[RamseyFP60 ] =ESSAYS PHILOSOPHY LOGIC MATHEMATICS TYPES PROBABILITY . . .
[RaysideCampbell00 ] =SURVEY traditional LOGIC OBJECT-ORIENTED . . .
[Reiss10 ] =ESSAY SPECIFICATION REQUIREMENTS USER RESEARCH . . .
[RiceSeidman94 ] =THEORY MILs Z FORMAL Specification STYLE Conic . . .
[RollandSouveyetAchour98 ] =DEMO =THEORY =POLL TOOL PURPOSE+SCENARIOS to give Requirements via method "CREWS" . . .
[RomanGambleBall93 ] =DEMO Swarm NONSEQUENTIAL RULES . . .
[RomanWilcox94 ] =DEMO Swarm Formal Program vs specification concurrent . . .
[RombachEtAl08 ] =SURVEY =POLL HISTORY SQA RESEARCH PRACTICE . . .
[RossAshby56 ] =TEXT CYBERNETICS =CLASSIC DFD formal dynamic Reality . . .
[RothenbergerDooleyKulakarniNada03 ] =POLL 71 developers 20 questions REUSE PRACTICES FACTORS -> 5 STRATEGIES ONE-SIZE . . .
[RushbyHenke92 ] =EXPERIENCE PROOF CHECKER LOGIC EHDM Z . . .
[Saiedian93 ] =EDUCATION FORMAL . . .
[Saiedian95 ] =EDITORIAL MATHEMATICS . . .
[SaiedianHinchey95 ] =EXPERIENCE FORMAL . . .
[Sakakibara90 ] =THEORY LANGUAGES . . .
[SalomaaSoittola78 ] =TEXT theory topology . . .
[Sammet69 ] =CLASSIC =HISTORY THEORY PROGRAMMING LANGUAGES . . .
[Sankar89 ] =EXPERIENCE ANNOTATIONS Anna RISKS FORMAL Ada . . .
[SankarandMandal93 ] =DEMO Program proving ANNA Ada non-sequential . . .
[SarkarDeSarkar89 ] =THEORY V&V formal structures . . .
[Schaferetal94 ] =HISTORY REUSE FORMAL TOOLS . . .
[SchattkowskyForster07 ] =SURVEY PROBLEMS UML2.0 ACTIVITY SEMANTICS INFORMAL PETRI . . .
[SchiederBroy99 ] =THEORY LOGIC MATHEMATICS FORMAL . . .
[SchmidtDA97 ] =EXPERIENCE FORMAL DENOTATIONAL EBNF . . .
[SchneiderK04 ] =THEORY FORMAL V&V ALGORITHMS MODEL CHECKING Borel FIXPOINT AUTOMATA MODAL LOGIC . . .
[SchneiderS98 ] =THEORY V&V FORMAL . . .
[SchneiderSEtAl06 ] =ADVERT FORMAL METHOD PROBABILTIY pGSL B pAMN . . .
[Schock69 ] =THEORY FORMAL LOGIC . . .
[SeaterJacksonGheyi07 ] =DEMO REQUIREMENTS PROBLEM FRAMES TRAFFIC LIGHTS PROTON THERAPY BPTC BREADCRUMBS PUSHING ALLOY . . .
[SemmensBryant99 ] =DEMO EXPERIENCE METHODS Z SSADM TELSTAR BT( British telecom) FORMAL SQA STRUCTURE ANALYSIS DESIGN DFD ER DATA RRT . . .
[Semmensetal92 ] =THEORY FORMAL SPECIFICATION STRUCTURED ANALYSIS . . .
[SenguptaBhattacharya09 ] =DEMO FORMALIZATION USE CASES Z ERD . . .
[SenguptaCleaveland02 ] =DEMO TMSCs SCENARIOS FORMAL . . .
[ShankarAsa03 ] =THEORY SEMANTICS TIMING UML SEQUENCE STATECHARTS TEMPORAL LOGIC PTL . . .
[ShapiroHardy02 ] =EXPERIENCE QUALITY SECURITY TRUST KeyKOS TECHNICAL REQUIREMENTS ARCHITECTURE capabilities modules components . . .
[Sharon91 ] =OPINION ENGINEERING . . .
[SharpRobinsonWoodman00 ] =OBSERVATIONS CULTURE of SOFTWARE DEVELOPMENT ETHNOGRAPHY DISCOURSE UK OOPSLA . . .
[ShawB75 ] =PROCEEDINGS FORMAL . . .
[Sheppard95 ] =TEXT Z VDM SPECIFICATION . . .
[Shirky03 ] =TALK =HISTORY WWW/NET SOCIAL GROUP PEOPLE CULTURE WEB2.0 TEAM . . .
[Shustek08 ] =CLASSIC =HISTORY ART STRUCTURED LITERATE PROGRAMMING TeX . . .
[Siddiqi94 ] =HISTORY REQUIREMENTS NONSEQUENTIAL SOCIAL EMERGENT . . .
[SnookButler06 ] =EXPERIENCE MATHEMATICAL Z B SPECIFICATION GRAPHIC UML TOOLO U2B . . .
[SobelClarkson02 ] =EXPERIMENT FORMAL NONSEQUENTIAL LOGIC SPECIFICATION DERIVATION METRICS UML lift . . .
[Sorensonetal88 ] =ADVERT graphic software engineering formal metamodel metaview . . .
[SousaGarlan02 ] =IDEA FORMAL MODEL JAVABeans . . .
[SowaZachman92 ] =ADVERT METHOD ERDS MODELS . . .
[SPC93 ] =STANDARD METHOD OBJECT-ORIENTED FORMAL TABULAR graphics . . .
[Specsharp00 ] =ADVERT API SPECIFICATION CONTRACTS ASSERTION Eiffel . . .
[Spinellis03d ] =TOOLCHEST refactor CScout C C++ MACROS IDENTIFIERS WWW/NET . . .
[Spivey88 ] =THESIS Z SPECIFICATION SEMANTICS circular . . .
[Spivey89 ] =handbook formal logic . . .
[Spivey92 ] =handbook formal logic . . .
[Spivey01 ] =handbook formal logic Z SPECIFICATION . . .
[SrivasBickford90 ] =CASE-STUDY PROOF CPU HARDWARE NONSEQUENTIAL . . .
[Staskauskas93 ] =HISTORY NONSEQUENTIAL UNITY . . .
[Stein92 ] =ARTICLE refers to Z but no details . . .
[StepanovMcJones09 ] =TEXT THEORY C++ PROGRAMMING FORMAL LOGIC MATHEMATICS ALGORITHMIC CODE GENERIC ABSTRACTION ADT . . .
[Stevens95 ] =REVIEW REFINEMENT Z SQL . . .
[Stewart06 ] =ADVICE MATHEMATICS PROOFS . . .
[StubblebineWright02 ] =THEORY LOGIC TEMPORAL BELIEF DISTRIBUTED TIME PROTOCOLS BAN web certificates Kerberos5 . . .
[SullivanSochaMarchukov97 ] =EXPERIENCE Z MICROSOFT COM ARCHITECTURE SUCCESS . . .
[Swatman95 ] =HOWTO FORMAL OBJECT-ORIENTED METHOD FOOM . . .
[Terwilliger93a ] =ADVERT TOOLS Prolog FORMAL SWR cliches Process program ISLET . . .
[Terwilliger93b ] =CASE-STUDY V&V CORRECTNESS FORMAL LOGIC DESIGN PROOF . . .
[Thomas92 ] =ARTICLE FORMAL METHODS STANDARDS VDM Z REQUIREMENTS OUTSOURCED TECHNICAL . . .
[Thompson91 ] =THEORY TYPES FUNCTIONAL . . .
[TiwanaKeil04 ] =POLL PROJECT FAILURE . . .
[Toulmin58 ] =THEORY INFORMAL LOGIC ARGUMENT RATIONALE . . .
[ToulminRiekeJanik78 ] =TEXT INFORMAL LOGIC ARGUMENT RATIONALE GRAPHIC . . .
[Tracz95a ] . . .
[Tremblay99 ] =DEMO Spec . . .
[TretmensWijbransChaudron01 ] =EXPERIENCE FORMAL MYTHS ENGINEERING RWS CMG BOS . . .
[TreudeStorey12 ] =EMPIRICAL TAGS TOOLS WORK ITEMS JAZZ IBM INFORMAL KEYWORD . . .
[TsaiWiegertJang92 ] =SUVEY FRORL LOGIC FORMAL SPECIFICATION OBJECT-ORIENTED non-monotonic hierarchy . . .
[TsePong91 ] =EXPERIENCE AUTOMATIC TESTING =ADVERT THEORY TACCLE . . .
[TuckerNoonan02 ] =EXAMPLE FORMAL SPECIFICATION J . . .
[Turner93 ] =EXPERIENCE FORMAL SPECIFICATION . . .
[Turpin93 ] =THEORY DATA STRUCTURES PROOF POINTERS . . .
[Vazques94 ] =THEORY DFD V&V ALGEBRA FORMAL . . .
[VDMEurope91 ] =PROCEEDINGS FORMAL VDM . . .
[VenkatasubramanianTalcottAgha04 ] =EXAMPLE multimedia QUALITY NET MODEL QoS TLAM . . .
[Vissersetal91 ] =FORMAL SPECIFICATION DESIGN V&V LOTOS NONSEQUENTIAL . . .
[Voas99b ] =ESSAY QUALITY IMPROVEMENT . . .
[WalickiMeldal97 ] =SURVEY =THEORY FORMAL relations functions algebra . . .
[WandWeber90 ] =THEORY SYSTEM Formal Mathematics Systems decomposition . . .
[WangY95 ] =THESIS TOOL FORMAL DESIGN V&V . . .
[WardM96 ] =THEORY LOGIC SPECIFICATION DERIVATION ALGORITHM DATA . . .
[WardP86 ] =formal DFD dynamics . . .
[Wehrheim03 ] =THEORY OBJECT DYNAMIC INHERITANCE ALGEBRA CSP LTS . . .
[WeiSholl82 ] =formal DFD NONSEQUENTIAL . . .
[Wells95 ] =ESSAY MATHEMATICS . . .
[West97 ] =POLEMIC POST-MODERN SCIENCE REALITIES PEOPLE . . .
[West10 ] =WEBINAR =SURVEY CODE REVIEWS vs TOOLS WEB2.0 SOCIAL MEDIA DISTRIBUTED . . .
[WhiteheadRussell63 ] =CLASSIC logic RELATIONS SETS PREDICATES structures regular TYPES . . .
[WhiteheadRussell97 ] =FORMAL LOGIC TYPES PREDICATES CLASSES RELATIONS PROOFS MATHEMATICS . . .
[Whittle95 ] =SURVEY REUSE MODELS LANGUAGES METHODS COMPONENTS . . .
[Wiedijk08 ] =EXAMPLES Mizar Quadratic Residue =HOWTO FORMAL PROOFS MATHEMATICS TOOLS . . .
[Wiegers01 ] =INTRODUCTION SQA V&V . . .
[Wildetal95 ] =THEORY PROCESS NONSEQUENTIAL MANAGEMENT PEOPLE COLORS SPIRAL . . .
[Wile83 ] =ESSAY Reality Technical . . .
[Wilkinson95 ] =HOWTO OBJECT-ORIENTED DESIGN CRC CLASS-RESPONSIBILITY-COLLABORATION . . .
[Wilkinson95b ] =HOWTO OBJECT-ORIENTED DESIGN CRC CLASS-RESPONSIBILITY-COLLABORATION . . .
[WilliamsL94 ] =SURVEY FORMAL SPECIFICATION METHODS SCR VDM WLMS . . .
[WilsonAranda11 ] =ADVERT SURVEY EMPERICAL EXPERIMENTS POLLS METRICS PAIRING . . .
[WilsonF00 ] =FORMAL LOGIC SCIENCE HISTORY THEORY DATA . . .
[Wing90b ] =INTRODUCTION FORMAL SPECIFICATION . . .
[WingNixon89 ] =ADVERT formal specification . . .
[WingVaziri-Farahani95 ] =CASE-STUDY SQA FORMAL CASE-STUDY LOGIC . . .
[Winskel93 ] =TEXTBOOK FORMAL SEMANTICS LANGUAGES . . .
[Wirsing90 ] =ADVERT CRC OBJECT_ORIENTED DESIGN . . .
[Woodcock89a ] =REPORT FORMAL METHODS . . .
[Woodcock89b ] =DEMO MATHEMATICS Z formal logic structures . . .
[WoodcockLarson93 ] =EXPERIENCES FORMAL METHOD . . .
[WoodcockLoomes88 ] =HANDBOOK MATHEMATICS formal Z Reality . . .
[WoodK93 ] =DEMO Z REFINEMENT . . .
[Wordsworth93 ] =TEXTBOOK MATHEMATICAL SPECIFICATION Z . . .
[YaknisFarrellSchultz94 ] =DEMO GENERIC ARCHITECTURE FRAMEWORK PROOF ALGORITHMS . . .
[YooJeeCha09 ] =EXPERIENCE FORMAL TOOLS NuSCR nuSRS FTA FBD SMV Verilog . . .
[Zave91 ] =ADVERT PAISLEY Formal SPECIFICATION LANGUAGE . . .
[Zave93 ] =DEMO FORMAL REQUIREMENTS . . .
[Zave96 ] =ESSAY FORMAL METHODS . . .
[ZaveJackson93 ] =DEMO FORMAL REQUIREMENTS SPECIFICATION . . .
[ZaveJackson97a ] =CASE-STUDY TABULAR FSM/STD FORMAL REQUIREMENTS . . .
[Zelkowitz90 ] =DEMO Formal Functional Education Trace Tables . . .
[ZhangXu04 ] =HISTORY FORMAL LANGUAGE SEMANTICS . . .

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]