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

Bibliography Retrieval Engine(Beta)

Items in bibliography identified by a string matching LOGIC

[AbadiLamport90 ] =MATHEMATICAL SPECIFICATION LOGIC . . .
[AbadiLamport92 ] =MATHEMATICAL TIMING LOGIC . . .
[AbadiLamport93 ] =MATHEMATICAL SPECIFICATION LOGIC . . .
[AbadiLamport94 ] =MATHEMATICAL TIMING LOGIC . . .
[AbadiLamport95 ] =MATHEMATICAL SPECIFICATION LOGIC TLA . . .
[Abiteboul00 ] =MONOGRAPH DATA NET/WWW LOGIC XML XSL-QL DTD ACeDB OEM Lore Strudel . . .
[AbramsonDahl89 ] =HOWTO GRAMMAR DDD PROLOG REALITY . . .
[Abrial89 ] =ADVERT LOGIC TOOL Z VDM B . . .
[AgarwalLago95 ] =ADVERT METHOD OBJECT-ORIENTED . . .
[AielloEtAl07 ] =UNREAD =REFERENCE FORMAL MODAL LOGIC SPACE . . .
[AikenMuntzRichards94 ] =EXPERIENCE REVERSE ENGINEERING DATA . . .
[AlagarVenkatesan01 ] =THEORY LOGIC MODEL CHECKING . . .
[AlencarCowanLucena02 ] =THEORY FORMAL LOGIC CATEGORY OBJECTS INTERFACES ADV ADO . . .
[AlexanderCoplien99 ] =SPEECH OOPSLA'96 PATTERN THEORY . . .
[AmblerS97a ] =DEMO DATA OBJECT-ORIENTED . . .
[AmbriolaNotkin88 ] =THEORY LOGIC PROOF formal non-sequential . . .
[Ananthaswamy11 ] =ADVERT =HISTORY AI LOGIC NEURAL NETS MARKOV BAYES PROBABILISTIC PROGRAMMING INFERENCE ENGINE LEARNING LANGUAGES BLOG Church . . .
[Anderson99 ] =EXPERIENCE LOGIC BAN VERIFYING PROTOCOL BANKING PAYMENT SMARTCARD . . .
[Andrews93 ] =THEORY LANGUAGES . . .
[AndrewsP03 ] =THEORY LOGIC TYPES LAMBDA PEANO . . .
[AntoniolGueheneuc06 ] =DEMO MAINTENANCE TECHNICALREVERSE ENGINEERING TOOL CODE MODULE ANALYSIS . . .
[Antoniou99 ] =TUTORIAL FORMAL LOGIC DEFAULT INFERENCE EXCEPTIONS . . .
[AntoyHanus10 ] =ADVERT CURRY LANGUAGE FUNCTIONAL LOGIC PROGRAMMING . . .
[Aptetal80 ] =THEORY LOGIC CSP formal . . .
[Asaravala03 ] =HISTORY AGENTS AI Clippy metadata semantic web XML RDF ontology DAML+OIL LOGIC . . .
[Astrachan91 ] =DEMO LOGIC TECHNICAL GRAPHIC . . .
[AtleeBuckley96 ] =IDEA LOGIC SCR REQUIREMENTS TABULAR . . .
[Bach95 ] =POLL 235 ENTERPRISES SQA ARCHITECTURE MODELS INSPECTION WALKTHROUGH . . .
[BaclawskiIndurkhya94 ] =theory structures Reality . . .
[BaierHaverkortHermansKatoen03 ] =THEORY MATHEMATICS MODEL CHECKING CTMC CSL RELIABILITY CTL . . .
[BaierEtAl07 ] =THEORY MODEL CHECKING REAL TIME MARKOV CHAINS PROBABILITY LOGIC asCSL . . .
[BaierKatoen08 ] =TEXT =THEORY MODEL CHECKING MODAL LOGICS FSM LTL CTL CTL* TCTL BISIMULAION OBDT MARKOV PCTL PCTL* . . .
[BaierHaverkortHermansKatoen10 ] =HISTORY MODEL CHECKING PERFORMANCE MODAL PROBABILLITY LOGIC CTL LTL PCTL DTMC ADVERT TOOLS PRISM EXAMPLES . . .
[Ballanceetal90 ] =DEMO TECHNICAL JAVA RISK . . .
[BarbierEtal03 ] =PROPOSAL Object-Oriented MODEL STANDARD aggregation composition whole-part bibliography UML OCL MetaModel OML OPEN Diamonds . . .
[Barjis08 ] =ADVERT METHOD THEORY MODEL DEMO LANGUAGE-ACTION PETRI GRAPHIC ANALYSIS REQUIREMENTS SCENARIOS . . .
[Barnhart99 ] =EXPERIENCE TECHNICAL COBOL JAVA GUI LEGACY . . .
[Barrett87 ] =EXPERIENCE PROOF Floating-point operations STANDARD . . .
[BaudryEtal05 ] =IDEA C# PARSER BUILDER VISITOR TESTING MUTATION EVOLUTION FITNESS . . .
[Beck01 ] =DEMO TESTING first is ANALYSIS DESIGN SPECIFICATION . . .
[Beeson81 ] =THEORY FORMAL LOGIC . . .
[BelliniMattoliniNesi00 ] =SURVEY LOGIC TIMING RTL RTIL RTTL . . .
[Ben-Ari10 ] =ADVERT =EXAMPLES MODEL CHECKING EDUCATION Spin VN Erigone NDFA . . .
[BergmanMoorNelson90 ] =TEXT FORMAL LOGIC NATURAL DEDUCTION TREES SEMANTIC TABLEAUX . . .
[BerryKamsties05 ] =IDEA AMBIGUITY LOGIC LANGUAGE SPECIFICATION CS565 . . .
[BeyerNoackLewerentz05 ] =TOOL RELATIONAL LOGIC RML BDD TECHNICAL PATTERN JAVA CrocoPat . . .
[BiZhao04 ] =UNREAD =THEORY WORKFLOW VERIFICATION LOGIC . . .
[Blikle77 ] =THEORY LOGIC SEMANTICS REGULAR-EXPRESSIONS . . .
[Bliss42 ] =ADVERT GRAPHIC SYMBOLIC LANGUAGE GENERAL SEMANTICS RATIONALITY LOGIC . . .
[BloomEsik93 ] =MATHEMATICAL LOGIC ALGEBRA SEMANTICS . . .
[BojicVelasevic00 ] =IDEA VisualC++ TEST profiling LOGIC DA-C . . .
[BoralvStalmarck99 ] =EXPERIENCE RISKS SPECIFICATION STD/FSM LOGIC TPA vs DESIGN V&V TOOL Prover Delphi for ADtranz CVT Swedish Sternol . . .
[BorgerSchulte00 ] =CASESTUDY LOGIC SPECIFICATION SEMANTICS JAVA COMPILER JVM PROOF . . .
[Borgidaetal95 ] =CRITIQUE LOGIC Set Theory SPECIFICATION METHODS circumscription . . .
[BorgidaJarke92 ] =HISTORY RML MODEL REALITY PURPOSE Object-Oriented ONTOLOGY GIST KAOS . . .
[Botting78a ] =ADVERT Loglan Mathematics Logic ITL UNIVERSAL LANGUAGES . . .
[Botting86a ] =THEORY DAD graphic logic Reality . . .
[Botting87b ] =THEORY DDD JSP theory languages logic formal . . .
[Boute00 ] =IDEA FORMAL LOGIC FUNCTIONAL MATHEMATICS calculational . . .
[BowdigeGriswold98 ] =ESSAY RISKS METHODS Aristotle LOGIC . . .
[Bowen01 ] =REPORT UK TEACHING MATHEMATICAL LOGICAL SPECIFICATION REFINEMENT TOOLS ZTC ZANS . . .
[BowenHinchey94 ] . . .
[BrewkaEiterTruszczynski11 ] =ADVERT DEFEASIBLE LOGIC DECLARATIVE PROGRAMMING ASP GROUNDERS SATISFY SAT SEMANTICS TOOLS APPLICATIONS ABBREVIATIONS . . .
[Britcher96 ] =ESSAY JAVA TECHNICAL NON_SEQUENTIAL RISKS . . .
[BrockHunt99 ] =EXPERIENCE HARDWARE DESIGN V&V VERIFICATION FORMAL LOGIC TOOL ACL2 . . .
[BrownP91 ] =TOOL TECHNICAL . . .
[Broy11 ] =ESSAY GAP THEORY ENGINEERING . . .
[Buchi02 ] =THEORY AUTOMATA omega-automata Buchi-automata . . .
[Burge91 ] =THEORY FORMAL LOGIC . . .
[BurrowsAbadiNeedham89 ] =THEORY FORMAL LOGIC . . .
[BurrowsAbadiNeedham90 ] =THEORY =DEMO LOGIC PROTOCOL PROOF V&V BAN KERBEROS CRYPTO . . .
[CalcagnoOHearnBornat03 ] =THEORY FORMAL LOGIC HOARE Garbage Collection (D.4.2) VERIFICATION . . .
[CalinescoGhezziKwiatowskaMirandola12 ] =THEORY ADAPTIVE PERFORMANCE MONITOR ADJUST DTMC PCTL SERVICE . . .
[Camilleri90 ] =ADVERT WPD PROCESS PRODUCT DESCRIPTION META IBM EXPERIENCE . . .
[Campbell-Kelly10b ] =HISTORY DATA PROCESSING LOGICAL vs PHYSICAL BABBAGE CLEARING CHECKS USA CHEQUES UK . . .
[Canforaetal92 ] =DEMO TOOL performance PETRI ALGEBRA PEPA UML2 . . .
[CaplanHarandi95 ] =THEORY DEMO PROOF REUSE . . .
[Carroll94 ] =EXPERIENCE USER scenario use-case . . .
[CarrollL77 ] =MONOGRAPH LOGIC syllogisms SORITES EXAMPLES . . .
[CerroGasquet02 ] =THEORY PROVING MODAL LOGIC SEMANTIC TABLEAUX RELATIONS . . .
[Cervanto00 ] =ESSAY LOGIC LAMBDA cf Z SCHEMA . . .
[Chalin10 ] =TYPE USER V&V SQA FORMAL METHOD TOOL VC VERIFICATION COMPILER . . .
[Champeaux02 ] =ESSAY ENGINEERING SCIENCE LOGIC PRACTICE C++UML VALIDATION . . .
[ChanEtal01 ] =EXPERIMENTS FORMAL VERIFICATION REQUIREMENTS STATECHARTS GRAPHIC LOGIC OPTIMIZATION RSML TCAS II BDD . . .
[ChariSeshadri04 ] =TAXONOMY STANDARDS BUSINESS . . .
[ChechikDevereuxEasterbrookGurfinkel04 ] =IDEA TOOL MODEL CHECKING CTL FSM Kripke Multi-valued LOGIC Quasi-Boolean Lattice \Chi\_CTL \Chi\_Check \Chi\_Kripke . . .
[Cheek95 ] =REPORT FEAST EVOLUTION PEOPLE SYSTEMS . . .
[ChesnevarMaguitmanLoui00 ] =HISTORY 1950-99 FORMAL DIALECTIC DEFEASIBLE CONSISTENCY REASON ARGUMENT PLAUSIBLE AGENTS AI LAW NONMONOTONIC . . .
[Christy09 ] =CASE STUDY REVIEW TECHNOLOGY REQUIREMENTS RIA FITNESS PERFORMANCE USER . . .
[ChungNixonYuMylopoulos99 ] =THEORY+CASESTUDYs FORMAL NFR SOFTGOALS SIGs GRAPHICS TABLES LOGIC QUALITIES REALITIES SYSTEMS TECHNIQUES . . .
[Church56 ] =TEXT LOGIC . . .
[CimattiRoveriSusiTonetta12 ] =CASE STUDY UML OTHELLO ETCS LTL LINEAR TIME LOGIC TRAINS TOOLS ROSE SMT WORD Requisite Pro . . .
[ClarkeEmersonSifakis09 ] =HISTORY MODEL CHECKING LTL CTL CTL* MODAL LOGICS PROOF TOOLS . . .
[ClarkeGrumbergPeled99 ] =MONOGRAPH FORMAL LOGIC CTL MODEL CHECKING SMV SPIN OBDDS KRIPKE SYMMETRY GROUPS . . .
[ClarkeRosenblum06 ] =HISTORY ASSERTIONS LOGIC PROVING DEBUGGING Ada Eiffel Anna C++ Euclid . . .
[Cockburn96 ] =EXPERIMENT TOOL AUTOMATED VERIFICATION NONSEQUENTIAL Ada Code FLAVERS LTSA . . .
[Cockburn02b ] =HISTORY =HOWTO USE CASES FORMALLITY Brief Casual Fully dressed STAKEHOLDERS GOALS Theory . . .
[CODASYL71 ] =STANDARD data logic ENTITIES SETS(FUNCTIONS) . . .
[Coen-Porisinietal91 ] =DEMO logic symbolic execution re-engineering specialization . . .
[Cohen90 ] =DEMO CLP non-sequential AI . . .
[CohenCampbell93 ] =INTERVIEWS 10 TESTERS PEOPLE MANAGEMENT PROCESS . . .
[Colmerauer90 ] =LRM logic-programming non-sequential AI . . .
[Conallen99 ] =ESSAY WWW/NET DESIGN UML stereotypes vs . . .
[ContedeLeonAlves-Foss06 ] =CASE STUDY FORMAL HA&CCS ARTIFACTS RELATIONS LOGIC PROLOG GRAPHIC IMPLEMENTATION ABSTRACTION GUAM DO-178B . . .
[Cooke06 ] =INTRODUCTION MATHEMATICS LOGIC PROOF CORRECTNESS PROGRAMMING TECHNICAL . . .
[CookPodelskiRybalchenko11 ] =DEMO MATHEMATICS TERMINATION LOGIC DISJUNCTIVE . . .
[Cousot90 ] =THEORY Operational and relational semantics . . .
[Cowanetal95 ] =DEMO ADO ADV OBJECT-ORIENTED REUSE ARCHITECTURE . . .
[CrowVito98 ] =ANALYSIS EXPERIENCE . . .
[DalaKamathKolarikSivaraman04 ] =ADVERT BUSINESS PROCESS MODELLING IMPROVEMENT ERP EPML XML Petri Analysis TED . . .
[DanforthTomlinson88 ] =THEORY object-oriented logic Reality . . .
[Date00 ] =ADVERT RULES SQL LOGIC LPC TABLES . . .
[DeBakker75 ] =THEORY regular logic . . .
[DeganoEtAl08 ] =FESTSHRIFT MATHEMATICS GRAPH THEORY CONCURRENCY NON-SEQUENTIAL CATEGORIES SEMIRINGS TOOLS HISTORY . . .
[Delgrande98 ] =THEORY defeasible LOGIC possible worlds Kripke . . .
[DeLine01 ] =DEMO MODULE ARCHITECTURE ware+packager NONSEQUENTIAL . . .
[DeMilloLiptonPerlis79 ] =ESSAY EXAMPLES MATHEMATICS PROOF LOGIC . . .
[DeMouraBjorner11 ] =ADVERT LOGIC FORMAL MATHEMATICS PROBLEM SOLVING TOOLS SMT SAT . . .
[DeneckerBruynooghe02 ] =THEORY LOGIC Prolog INDUCTION . . .
[Denning94 ] =IDEA REALITY ONTOLOGY . . .
[DenningHorning0202 ] =ESSAY USER vs TECHNIQUE . . .
[DesaiEtal05 ] =THEORY MODEL BUSINESS PROCESS COMMITMENTS SCENARIOS OWL-P AGENTS ROLES \pi-CALCULUS . . .
[DesaiChopraSingh09 ] =ADVERT 2 CASE STUDIES Amoeba REQUIREMENTS METHOD LOGIC COMMITMENTS SCENARIOS SEQUENCE CHARTS AXIOMS EVOLUTION AGENTS SERVICES ORCHESTRATION CHOREOGRAPHY . . .
[Deville90 ] =TEXT LOGIC PROGRAMMING . . .
[Dijkstra76 ] =TEXT guarded-commands sequential non-sequential formal logic structures . . .
[Dijkstra89 ] =TALK formal logic education . . .
[DilligDilligAiken10 ] =DEMO LOGIC MATHEMATICS MODEL CHECKING C Linux may/must SOUNDNESS . . .
[Dillonetal94 ] =ADVERT NOTATION MODAL TEMPORAL LOGIC FORMAL GIL TOOL GILED . . .
[DjuricDevedzic10 ] =ADVERT JAVA LISP JVM Modeling Spaces XML RDF/OWL DSL DOMAIN MODEL LOGIC ONTOLOGY UML MDA . . .
[Doernhoefer06a ] =SURVEY NET REQUIREMENTS . . .
[Doernhoefer09c ] =SURVEY SWEBOK SigACT ALGORITHMS CALGO NUMERICAL NIST GAMS DATA STRUCTURES THEORY HARDWARE TM OS IMBOK FUZZY LOGIC PROGRAMMING LANGUAGES . . .
[Douglass99 ] =ADVERT OBJECT-ORIENTED METHOD UML ROPES COMPONENTS . . .
[DutertreStavidou97 ] =DEMO V&V REQUIREMENTS LOGIC TOOLS TIMING RISKS REALITY PVS . . .
[DuvalHodgins06 ] =STANDARD EDUCATIONAL OBJECTS METADATA LOM IEEE1484 LTSC XML . . .
[EdwardsJacksonTorlak04 ] =IDEA LOGIC RELATIONAL TYPES Alloy 2.0 . . .
[Eisenstadt97 ] =POLL RISKS QUALITIES DEBUGGING . . .
[EmmerichEtal99 ] =THEORY MODEL LOGIC FLEA TOOL DOORS DXL STANDARDS in PROCESS . . .
[Engelsetal92 ] . . .
[Epstein94 ] =CASESTUDY Net DISTRIBUTE PERFORMANCE LBF . . .
[Epstein01a ] =TEXT =REFERENCE LOGIC PC MODAL . . .
[Epstein01b ] =TEXT =REFERENCE LOGIC PC MODAL . . .
[Epstein06 ] =UNREAD =TEXT =REFERENCE LOGIC . . .
[Farmer03 ] =IDEA LOGIC TYPES . . .
[FarmerMohrenschildt00 ] =IDEA LOGIC DEDUCTION COMPUTATION TERM TRANSFORMERS . . .
[Felderetal94a ] =FORMAL TIMING Temporal TRIO . . .
[Felderetal94b ] =EXPERIENCE TIMING TRIO LOGIC SPECIFICATION PROOF . . .
[FeltyNamjoshi03 ] =CASESTUDY telecommunications SPECIFICATION FEATURES LOGIC LTL FSM Buchi MODEL Checking TOOL FIX COSPAN . . .
[FerrariGnesiMontanariPistore03 ] =DEMO TOOL MODEL CHECKING MOBILE \pi-calculus FSM HD-Automata HAL \pi-logic ACTL . . .
[FeysFitch69 ] =DICTIONARY LOGIC SYMBOLISM LANGUAGE . . .
[FilipenkoMorris92 ] =EXPERIENCE PEOPLE PROCESS . . .
[Finkelsteinetal94 ] =IDEA REQUIREMENTS LOGIC SPECIFICATION See Nuseibehetal94 . . .
[Firesmith93 ] =ANALYSIS EXPERIENCE METRICS ESTIMATE MAINTENANCE Object-Oriented EVOLUTION MUSIC . . .
[FittingMendelsohn98 ] =TEXT FORMAL LOGIC MODAL THEORY . . .
[Floyd67a ] =EXPERIENCE SQA/V&V PROCESS SPC SEPG . . .
[Fowler01c ] =ESSAY MODULES USER REALITY XML SQL HTML . . .
[Fox66 ] =SURVEY formal logic . . .
[Francez86 ] =EXPERIENCE REUSE DOMAIN ARCHITECTURE DSSA pagers . . .
[Fraseretal94 ] =ESSAY MODELING MDD UML2.0 meta-models semantics . . .
[Freedman83 ] =IDEAS PEOPLE PATTERNS . . .
[FreydScedrov89 ] =DEMO SPECIFICATION DESIGN VERIFICATION SIMULATIONS PVS . . .
[FriasEtal05 ] =THEORY EQUATION RELATIONAL LOGIC HOARE TRIPLES FORK ALGEBRA FRL . . .
[GanterWille99 ] =THEORY MATHEMATICAL FORMAL LOGIC LATTICE CONCEPT . . .
[GaoHayesCai05 ] =DEMO WEB SERVICES BIOINFORMATICS Drug discovery . . .
[Garfinkel05 ] =REPORT MS MODEL CHECKING DEVICE DRIVERS TOOL SLAM . . .
[GargantiniMorzenti01 ] =DEMO FORMAL REQUIREMENTS ANALYSIS SRA LOGIC . . .
[GeethaSubramanian90 ] =ADVERT DDD LOGIC PROLOG LANGUAGE NLP . . .
[GervasiNuseibeh02 ] =CASESTUDY LITE FORMAL V&V REQUIREMENTS LOGIC NASA . . .
[GiannakopoulouMagee03 ] =THEORY TOOL TEMPORAL LOGIC V&V LTS LTL FLUENT FLTL LTSA Buchi . . .
[Gilb96 ] =ADVERT QUALITY evolutionary delivery engineering Softcrafters . . .
[GilmoreTsiknis93 ] =DEMO TOOL performance PETRI ALGEBRA PEPA . . .
[GortonLiuBrebner03 ] =DEMO QUALITIES WEB/NET Java J2EE servers MTE WebSphere WebLogic ... . . .
[Gries91 ] =ESSAY FORMAL LOGIC MATH EDUCATION . . .
[Gries96 ] . . .
[GriesSchneider95 ] = . . .
[Grossman11 ] =REPORT EXPERIMENT SIGNERS NUMBERS COUNTING ARITHMETIC PEOPLE PSYCHOLOGY . . .
[Grunske08 ] =THEORY =DEMO PROBABILISTIC VERIFICATION QUALITIES PCTL* CSL TEMPORAL LOGIC ProProST PATTERN LANGUAGE STRUCTURED ENGLISH GRAMMAR . . .
[Guerevich87 ] =DEMO TECHNICAL IDL ASP . . .
[Gumb89 ] =EXPERIMENT PSYCHOLOGY PEOPLE USER . . .
[Gurevich88 ] =THEORY FORMAL LOGIC COMPUTING . . .
[GurfinkelDevereuxChechik02 ] =DEMO TOOL MODEL CHECKING CTL QUERIES . . .
[GurfinkelChechikDevereux03 ] =IDEA MODAL TEMPORAL LOGIC CTL Placeholders DeMorgan Algebra TLQSolver \chi\_Chek Cruise control SCR CSCI656 . . .
[Guzdial95 ] =EDUCATION PEOPLE OBJECT-ORIENTED vs FUNCTIONAL . . .
[HaleyLaneyMoffettNuseibeh08 ] =CASESTUDY SECURITY REQUIREMENTS METHOD . . .
[HalleVillemaireCherkoui09 ] =THEORY TOOL LANGUAGE TEMPORAL LOGIC DATA WEB SERVICES CTL-FO+ PSPACE-complete PROOF . . .
[HalleVillemaireCherkoui09 ] . . .
[HalpernZuck92 ] =THEORY PROVING REFINEMENT PROTOCOLS KNOWLEDGE MODAL LOGIC . . .
[Hamilton01 ] =IDEA GRAPHIC LOGIC MODEL RKF USER vs FORMAL . . .
[HanEtal00a ] =PATTERN FORMAL UML LOGIC . . .
[HannaM93 ] =POLL ENGINEERING TOOLS REQUIREMENTS . . .
[HansenRavnRischel91 ] =DEMO TIMING REALITY Requirements SYSTEM LOGIC . . .
[Harel79 ] =THESIS regular logic structure . . .
[HarelKozenTiuryn00 ] =TEXT LOGIC TEMPORAL . . .
[Hares90 ] =TEXT SSADM . . .
[Hart95 ] =DEMO EXPERIENCE PROOF . . .
[HawkinsEtAl12 ] =TOOL RelC COMPILES RELATIONAL DATA to STRUCTURES HASH LIST VECTOR PERFORMANCE . . .
[HavelunddLowryPenix01 ] =CASESTUDY FORMAL MODEL CHECKING TOOL SPIN LISP LTLMODAL LOGIC ESL PROMELA . . .
[HayAtlee00 ] =CASESTUDY FORMAL EVOLUTION CVF LOGIC Relations POTS . . .
[HayesB05 ] =ARTICLE CODING DATA . . .
[Hayes09 ] =ARTICLE HTML \TeX TeX MathML JsMath FONTS techexplorer . . .
[HazzanDubinsky08 ] =MANUAL PEOPLE AGILE TEAMS TESTS REFLECTION HUMAN ORGANIZATIONAL TECHNOLOGY . . .
[Hehner84a ] =DEMO dynamic logic regular . . .
[Hehner84b ] =DEMO dynamic logic regular non-sequential . . .
[Heitmeyer02 ] =HISTORY PARNAS NRL SCR IDEAS NOTATIONS TOOLS TABULAR LOGIC NAT IN OUT REQ A-7E TAME REQUIREMENTS DESIGN MODULES . . .
[Heitmeyer02a ] =UNREAD =HISTORY PARNAS NRL SCR IDEAS NOTATIONS TOOLS TABULAR LOGIC NAT IN OUT REQ A-7E TAME REQUIREMENTS DESIGN MODULES . . .
[Hennessy88 ] =TEXT ALGEBRA MATH NONSEQUENTIAL logic . . .
[HenryFaller95 ] =EXPERIENCE C++ TECHNICAL REUSE COST PROCESS . . .
[HermenegildoEtAl08 ] =ADVERT LANGUAGE Ciao TOOL THEORY FUNCTIONAL OO LOGIC CONSTRAINT . . .
[Hersh95 ] =HISTORY MATHEMATICAL LOGIC . . .
[HincheyEtAl08 ] =SURVEY FORMAL MATHEMATICAL LOGICAL METHODS TOOLS QUALITIES RELIABLE COST . . .
[Hoare69 ] =THEORY logic formal structures . . .
[Hoare78 ] =THEORY non-sequential logic CSP . . .
[Hoare85 ] =IDEA CSP non-sequential formal logic structures . . .
[Hoare09 ] =HISTORY VERIFICATION PROGRAMMING LOGIC PROOFS TESTS HACKERS SPECIFICATIONS COSTS . . .
[Hoareetal87 ] =IDEA formal sequential logic . . .
[HoareBroySteinbruggen01 ] =WORKSHOP ENGINEERING MATH LOGIC MODELING PROBLEM-FRAMES REALITY REACTIVE Petri . . .
[Hodges77 ] =TEXT FORMAL LOGIC Semantic Tableaux TREEs . . .
[Hodges05 ] =TEXT FORMAL LOGIC Semantic Tableaux TREEs . . .
[Hoffman08b ] =INTERVIEW HISTORY MODEL CHECKING VERIFICATION FSM TEMPORAL LOGIC . . .
[HoffmanWeiss01 ] =COLLECTION REQUIREMENTS MODULES DESIGN LOGIC TECHNICAL SCR TABULAR LANGUAGES METHODS SDI A7 ENGINEERING . . .
[Holloway95 ] =SURVEY LOGIC FALACIES PROCESS IMPROVEMENT . . .
[HollowayButler96 ] =EXPERIENCE FORMAL METHODS . . .
[Holzmann02 ] =Keynote BUGS V&V SQA MODEL CHECKING TOOLS NOTATIONS LOGIC GRAPHIC LTL SPIN TimeLineEditor . . .
[Honidenetal94 ] =DEMO LOGIC NONDECLARATIVE OBJECT-ORIENTED PROLOG MENDEL . . .
[Horrocks08 ] =POPULARIZATION WEB ONTOLOGIES SEMANTICS LOGIC RULES RDF OWL . . .
[HouHoover06 ] =CASESTUDY TOOL V&V SQA STATIC CHECK TECHNICAL CODE Java C++ MVC . . .
[Humby73 ] =HANDBOOK Tables SQA REQUIREMENTS QUALITY COMPLETENESS AMBIGUITY implementation COBOL . . .
[Humphrey95a ] =TEXT PSP IMPROVEMENT ESTIMATION METRICS . . .
[HuntbachRingwood95 ] =PAPER TECHNICAL NONSEQUENTIAL vs NONDETERMINISM BACKTRACKING PERFORMANCE . . .
[HunterNuseibeh97 ] =FORMAL REQUIREMENTS LOGIC . . .
[HunterNuseibeh99 ] =IDEA labelled QC Quine FORMAL LOGIC SPECIFICATION . . .
[HuthRyan00 ] =TEXT FORMAL MODEL LPC MODAL LOGIC CTL OBDDs AGENTS VERIFICATION SMV CSUSB.CSCI556/656 . . .
[JacksonD00 ] =THEORY LOGIC RELATIONS PREDICATE Z OCL =DEMO TOOL 50KLOC Java SAT Alloy Analyzer Nitpick UML COM . . .
[JacksonD02 ] =IDEA GRAPHIC FORMAL Object-Oriented NOTATION Alloy Z SEMANTICS LOGIC SETS RELATIONS FUNCTIONS . . .
[JacksonD06a ] =TEXT Alloy LIGHT FORMAL MODEL CHECKING METHODS TOOLS . . .
[JacksonDShlyakhterSridharan01 ] =IDEA MODULAR SPECIFICATIONS RELATIONS FORMAL NOTATION LOGIC EXTENSION TOOL? cf Z Alloy . . .
[JacksonVaziri00 ] =DEMO LOGIC Alloy disproving . . .
[Jacquet93 ] =UNREAD =TEXT =HANDBOOK SEMAT . . .
[JaspanEtAl09 ] =REPORT DISCUSSION EXPERIENCE MYTHS FORMAL METHODS AGILE FSM LOGIC MATHEMATICS . . .
[Jeffrey67 ] =TEXT FORMAL LOGIC semantic Tableaus TREES . . .
[Jeffrey91 ] =TEXT FORMAL LOGIC semantic Tableaus TREES . . .
[JonesCB95 ] =THEORY FORMAL LOGIC . . .
[JonesJones91 ] =theory logic incomprehensible . . .
[JuristoMorenoLopez00 ] =DEMO METHOD OOA/D LANGUAGES BNF OMT . . .
[Kahn92 ] =EXPERIENCE OBJECT-ORIENTED GRAPHIC DESIGN . . .
[KalishMontague64 ] =TEXT LOGIC . . .
[Katz90 ] =ADVERT MODEL DATA PROCESS . . .
[KauffmannMoore97 ] =EXPERIENCES PROOF LOGIC LISP ACL2 hardware CLI Nqthm . . .
[Kaye07 ] =UNREAD THEORY LOGIC MATHEMATICS SEMANTICS Zorn AC Posets TARSKI P=NP . . .
[KazmanChen90 ] =ESSAY WEB/NET COMMONS F/OSS ONION SERVICES CROWDSOURCE JAD CBSS LIFECYCLE ANALYST DESIGN ECONOMICS ITERATION. DISTRIBUTED EVOLUTION PEOPLE COMMONS . . .
[KennedyEberhart02 ] =IDEA NON-ALGORITHMIC NONSEQUENTIAL OPTIMIZATION . . .
[Khanna91 ] =DEMO LOGIC V&V TESTING . . .
[Kiniry02 ] =ADVERT THEORY MODULES CORRECTNESS CONTRACT REUSE COMPONENTS SEMANTICS Kind-theory LOGIC QUALITIES BON Jiki . . .
[Kleinberg08 ] =EMPIRICAL 6DEGREES SMALL WORLDS GRAPHS WEB/NET Milgram SOCIOLOGY CONTAGION MIMETICS IDEAS . . .
[KoMyersCoblenzAung06 ] =EXPERIMENT SIMULATED MAINTENANCE INTERUPTIONS TECHNICAL Eclipse Java Swing Paint . . .
[Kobryn02 ] =HISTORY UML 1.* =ESSAY on UML 2.0 . . .
[Kowalski79 ] =DEMO logic-programming non-sequential prolog optimization . . .
[Kowalski79b ] =TEXT LOGIC FORMAL PROLOG THINKING . . .
[Krakovsky11 ] =ARTICLE PROOF ONTOLOGICAL EXISTENCE GOD PROVER9 LOGIC PROVER9 . . .
[KrishnamurthiFisler07 ] =THEORY ASPECT MODULES EVOLUTION FSM CTL MODAL LOGIC . . .
[Krug00 ] =GUIDE USER HCI WWW/NET PEOPLE TEAMS . . .
[Kruchten95 ] =ADVERT SCENARIOS METHOD . . .
[Kruchten08 ] =SURVEY IDEAS 1988..2008 . . .
[Kung89 ] =DEMO data ERD DFDs logic Petrie nets System . . .
[KuperVardi93 ] =THEORY DATA . . .
[Kurki-Suonio94 ] =ESSAY REAL TIME . . .
[KwonAgha11 ] =THEORY DEMO TOOL MODAL LOGIC MODEL CHECKING iLTL MARKOV DISCRETE TIME BUCHI . . .
[LafontaneLedruSchobbens91 ] =EXPERIMENT FORMAL VDM LOGIC . . .
[Lakatos76 ] =PHILOSOPHY MATHEMATICS PROOFS SOCIAL PROCESS . . .
[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 . . .
[LamsweerdeDarimontLetier98 ] =THEORY PURPOSE KAOS LIGHTWEIGHT FORMAL temporal LOGIC views Some EXPERIENCE . . .
[LamsweerdeLetier00 ] =CASESTUDY REQUIREMENTS REFINEMENT EXCEPTIONS TEMPORAL LOGIC KAOS . . .
[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 . . .
[LemosSauudAnderson92 ] =CASE-STUDY REQUIREMENTS Reality . . .
[Lenat95 ] =EXPERIENCE CYC LOGIC ONTOLOGY . . .
[Lenatetal90 ] =EXPERIENCE CYC LOGIC ONTOLOGY . . .
[LetierLamsweerde02 ] =DEMO SYSTEM REQUIREMENTS GOAL REFINEMENT PATTERNS LOGIC AND/OR TEMPORAL RT-LTL REALITY ENTITY RELATIONSHIP OPERATION SPECIFICATION . . .
[Lev-AmiEtal00 ] =DEMO TOOL PROOF POINTERS 3-valued LOGIC GRAPH . . .
[LewisT94d ] =ESSAY predictions DESIGN REUSE . . .
[Li91 ] =DEMO LOGIC PROGRAMMING AI Technical Maintenance Reliability . . .
[LichtensteinPnueli00 ] =HISTORY 20 years . . .
[Lifschitz95 ] =SURVEY AI Logic defaults inertia . . .
[LocascioDarpel93 ] =EXPERIENCE LEGACY COBOL JCL RENGINEERING Ada DFD REQUIREMENTS . . .
[Long78 ] =LETTER ENGLISH LOGIC ITL UNIVERSAL LANGUAGES . . .
[Lover08 ] =UNREAD =TEXT LOGIC . . .
[LupuSloman99 ] =THEORY TOOL SYSADMIN MODAL LOGIC . . .
[MacLennan79 ] =DEMO logic languages graphic . . .
[Maddux96 ] =SURVEY LOGIC SEMANTICS REGULAR-EXPRESSIONS . . .
[Maiden08a ] =HISTORY 1983-2008 REQUIREMENTS . . .
[MaidenGizikisRobertson04 ] =EXPERIENCE REQUIREMENTS WORKSHOP CREATIVITY CORA RESCUE Pre-USE CASE . . .
[Makinson08 ] =UNREAD DISCRETE MATHEMATICS . . .
[Malik11 ] =EXPERIENCE F/OSS OPEN SOURCE TOOL FORMAL Z Requirements specification verification tools LOGIC Set Theory UNICODE XML Circus . . .
[MannaPnueli91 ] =THEORY LOGIC SPECIFICATION MODAL TEMPORAL ASSERTIONAL . . .
[MannaPnueli92 ] =THEORY MODAL TEMPORAL LOGIC . . .
[MannaWaldinger85 ] =TEXT logic . . .
[Mankin78 ] =LETTER Esperanto vs Loglan Volapuk LOGIC ITL UNIVERSAL LANGUAGES . . .
[Markus83 ] =EXPERIENCE PEOPLE SYSTEMS RESISTANCE POLITICS ORGANIZATION MANAGEMENT FIS . . .
[MassonetLamsweerde97 ] =ADVERT KAOS SPECIFICATION LANGUAGE ontology temporal logic graphic tool . . .
[MathewsMcGee90 ] =DEMO Conceptual vs Logical vs Physical . . .
[MattoliniNesi01 ] =THEORY MATHEMATICAL LOGIC TEMPORAL SPECIFICATION LANGUAGE TILCO . . .
[MayhewMGouHaaseHartemink12 ] =ARTICLE ANALYSIS DESIGN ITERATION BIOLOGY YEAST DOMAIN LANGUAGE . . .
[McCamantErnst03 ] =DEMO MODULE TESTING LOGIC CONTRACT V&V EVOLUTION Daikon Simplify PERL . . .
[McCannRoman98 ] =ADVERT non-sequential Net/Web LANGUAGES(UNITY) LOGIC PROOF . . .
[McCannRoman99 ] =CASESTUDY MOBILE UNITY LOGIC PROOF Protocol . . .
[McCarthy87 ] =ESSAY AI LOGIC LPC not PROLOG situation calculus frame problem nonmonotonicity. . . .
[McClintock97 ] =DEMO DATA REALITY LOGIC CORBA IDL . . .
[McRae02 ] =EXPERIENCE EMBEDDED DEBUGGING TPU AUTOMOTIVE microcode ashware . . .
[Mercurioetal90 ] =ADVERT METHODS AD/Cycle IBM . . .
[MetayerEtAl11 ] =DEMO MASS MARKET SOFTWARE CONTRACTS LOGIC TOOLS CHECKING EULA . . .
[Meyer85 ] =DEMO formal logic non-sequential PURPOSE Reality . . .
[Mills75 ] =THEORY MATH LOGIC structured CLEANROOM . . .
[MorrisBunkenburgTyrrell09 ] =IDEA TERM TRANSFORMERS PREDICATE wp LANGUAGES SEMANTICS LOGIC PROOF Lambda axiomatic denotation Dijkstra . . .
[MorzentiSanPietro ] =THEORY OBJECT_ORIENTED LOGIC SPECIFICATION TIMING . . .
[MoserEtal97 ] =THEORY GRAPHIC LOGIC SPECIFICATION TIMING . . .
[MunakataJani94 ] =SURVEY =ADVERT FUZZY LOGIC MATHEMATICS . . .
[MyersJP90 ] =ESSAY logic formal . . .
[Nagel56 ] =ESSAY FUNCTION SYSTEMS PURPOSES . . .
[Naur07 ] =HISTORY REJECTING MODERN PSYCHOLOGY LOGIC TURING AI vs plastic neural nets $CR 0801-0095 . . .
[NaumovichClarke00 ] =IDEA TEMPORAL LOGIC SPECIFICATION ANALYSIS SAFETY LIVENESS . . .
[Nicollinetal92 ] =THEORY timeout watchdog gnerates event driven FSM from logical specification . . .
[NentwichEtAl03 ] =DEMO WEB/NET DOCUMENTATION XML xlinkit webservice LOGIC CONSISTENCY MANAGEMENT DIFFERENCING TOOL UML Java EJB . . .
[Nishidaetal91 ] =THEORY re-use logic natural PURPOSE MAPS \equiv MATHS . . .
[Nissanke99 ] =TEXT Z LOGIC DISCRETE MATH . . .
[OConnell02 ] =REPORT SOFTWARE QUALITY . . .
[Okrent09 ] =SURVEY =HISTORY 900 ARTIFICIAL LANGUAGES Blissymbolics MATHEMATICS LOGIC Elvish Esperanto Gestuno Wilkins thesaurus Dalgarno Zamenhoff ONTOLOGY . . .
[OrtinEtal04 ] =DEMO TOOL SEPARATE PERSISTENCE DATA vs BUSINESS LOGIC Nitr0 Java REFLECTION . . .
[Owreetal95 ] =ESSAY FORMAL LOGIC TOOL partial functions SPECIFICATION . . .
[PahlCasey03 ] =FORMAL WEB/NET LOGIC ALGEBRA LTS Kripke temporal description LANGUAGES . . .
[Pappas92 ] =Review TOOL WRITING MATHEMATICS LOOK_AND_FELL vs SEMANTIC STRUCTURE TAG . . .
[Parnas77 ] =IDEA MATHEMATICAL TOP-DOWN SPECIFICATION LOGIC DESIGN . . .
[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 . . .
[Parnas10a ] =ESSAY ENGINEERING DISCIPLINE vs SLOPPY PROGRAMMING SOFTWARE BUGS . . .
[Parnasetal94 ] =EXPERIENCE RISKS TABULAR RELATION DOCUMENTATION V&V . . .
[PascalF04 ] =INTERVIEW HARMFUL XML SQL . . .
[Paulos98 ] =ESSAY LOGIC MATHEMATICS and story telling . . .
[Paulson89 ] =THESIS TOOLS LOGIC SELMA ANALYSIS . . .
[Pawlaketal95 ] =Theory AI LOGIC SETS . . .
[PeledGriesSchneider02 ] =TEXT FORMAL V&V SQA LOGIC LTL Buchi Hoare algebra Milner Petri sequence charts . . .
[PetersParnas00 ] =THEORY REQUIREMENTS LOGIC TEST TIMING ERRORS . . .
[Petre95 ] =EXPERIMENT GRAPHIC LOGIC READABILITY . . .
[PettorossiProietti96 ] =Theory PERFORMANCE FUNCTIONAL LOGIC PROGRAMMING . . .
[PeytonJones86 ] =DEMO DDD logic . . .
[PiccoRomanMcCann01 ] =THEORY FORMAL LOGIC UNITY MOBILE AGENT CODE . . .
[Pike06 ] =CORRECTION LOGIC ERRORS TIMING PVS . . .
[Pittman93 ] =EXPERIENCE MANAGEMENT OBJECT-ORIENTED FSM ELH . . .
[PlatzerClarke08 ] =MATHEMATICS MODEL LOGIC ODEs DIFERENTIAL EQUATIONS SAFETY HYBRID PROGRAMS . . .
[Popper59 ] =THEORY SCIENCE POSITIVITISM . . .
[Quaglia08 ] =IDEA MODEL BIOLOGICAL CELLULAR SYSTEMS CCS NON-SEQUENTIAL . . .
[Racko95d ] =ESSAY adoption OBJECT-ORIENTED PROCESS STANDARDS IMPROVEMENT . . .
[RaghuRameshwhinston02 ] =SIDEBAR FORMAL MODEL ACTON GAME DIALECTIC nonmonotonic LOGIC causality dialectic . . .
[Ramsay88 ] =MONOGRAPH LOGIC AI FORMAL MODAL LPC TIMING NonMonotonic \lambda-calculus . . .
[RamseyFP60 ] =ESSAYS PHILOSOPHY LOGIC MATHEMATICS TYPES PROBABILITY . . .
[RaysideCampbell00 ] =SURVEY traditional LOGIC OBJECT-ORIENTED . . .
[Reichenbach47 ] =THEORY LOGIC LANGUAGE PHILOSOPHY . . .
[Ressler93 ] =TEXT WWW/NET DOCUMENTS . . .
[Roberts73 ] =ADVERT GRAPHIC LOGIC . . .
[RobertsonAgusti99 ] =MONOGRAPH LOGIC Prolog MODELS ANALYSIS DESIGN PROOFS BSDM SIMULATION SKELETONS Argumentation Temporal SYNTAX SEMANTICS . . .
[RobinsonjPurao09 ] =IDEA SERVICE BUSINESS PROCESS MODEL UML SEQUENCE DIAGRAMS OCL TEMPORAL LOGIC REQUIREMENTS MONITORING . . .
[RobinsonWN10 ] =IDEAS MONITORING REQUIREMENTS COMPLEX SYSTEMS BAM FEEDBACK OCL TEMPORAL LOGIC . . .
[Roetzheim00 ] =TUTORIAL COCOMO COSTS KSLOC . . .
[Rosen00 ] =REFERENCE LOGIC DISCRETE MATHEMATICS ALGORITHMS GRAPHS . . .
[Rushby97a ] =EXPERIECE LOGIC PREDICATES TYPES . . .
[RushbyHenke92 ] =EXPERIENCE PROOF CHECKER LOGIC EHDM Z . . .
[RushbyOwreShankar98 ] =THEORY LOGIC partial . . .
[SaariluomaIsomki08 ] =THEORY =EXPERIMENT =SURVEY PHILOSPHY USER HCI SOCIOLOGY GERONTECHNOLOGY ANTHROPOLOGY . . .
[Sain92 ] =Theory Logic Concurrent . . .
[Schaefer06 ] =ESSAY LARGE SYSTEMS FAILURE DILBERT =SURVEY SOCIOTECHNICAL PEOPLE POWER PLANS PROGRAMS PROCESSES POLITICS BUREAUCRACY . . .
[Schaefer07 ] =JOKE? THEORY FAILURE tGToE . . .
[SchiederBroy99 ] =THEORY LOGIC MATHEMATICS FORMAL . . .
[SchneiderK04 ] =THEORY FORMAL V&V ALGORITHMS MODEL CHECKING Borel FIXPOINT AUTOMATA MODAL LOGIC . . .
[SchnuppBernhard87 ] =HOWTO PROLOG logic-programming DDD JSP Reality . . .
[Schock69 ] =THEORY FORMAL LOGIC . . .
[Scott76 ] =AUTOBIOGRAPHY =MATHEMATICS INTRODUCTION SCOTT FUNCTION SPACES LATTICES POSETS SEMANTICS . . .
[Selic00 ] =MODEL QoS OMG UML PERFORMANCE MODEL . . .
[Shanahan97 ] =THESIS AI LOGIC FRAMES INERTIA . . .
[Shankar93 ] =Tutorial concurrency fairness safety non-sequential temporal logic . . .
[ShankarAsa03 ] =THEORY SEMANTICS TIMING UML SEQUENCE STATECHARTS TEMPORAL LOGIC PTL . . .
[Shao10 ] =IDEAS DEPENDABLE CORRECT PROOF CHECKER ASSEMBLER MACHINE CODE TOOLS EXAMPLES Coq METALOGIC FUNCTIONAL NONSEQUENTIAL . . .
[Shin95 ] =THEORY GRAPHIC LOGICS . . .
[SiddiqiShekaran96 ] =EDITORIAL REQUIREMENTS ENGINEERING . . .
[SiffReps99 ] =THEORY =DEMO EVOLUTION MODULES C to C++ LOGIC TOOL . . .
[SmithA90 ] =DEMO SPECIFICATION Z Mathematics vs Logic . . .
[SobelClarkson02 ] =EXPERIMENT FORMAL NONSEQUENTIAL LOGIC SPECIFICATION DERIVATION METRICS UML lift . . .
[SotirovskiKruchten95 ] =DEMO MODULES ARCHITECTURE PATTERNS HCI USER HIDE LOGIC . . .
[SowmyaRamash98 ] =DEMO DYNAMICS STATECHARTS TEMPOAL MODAL LOGIC . . .
[Spivey89 ] =handbook formal logic . . .
[Spivey92 ] =handbook formal logic . . .
[Spivey01 ] =handbook formal logic Z SPECIFICATION . . .
[SpohrerRiecken06 ] =SURVEY =ADVERT RESEARCH CONSULTANCY SERVICE INDUSTRY ECONOMICS SSME 3S WEB2.0 CRM . . .
[StepanovMcJones09 ] =TEXT THEORY C++ PROGRAMMING FORMAL LOGIC MATHEMATICS ALGORITHMIC CODE GENERIC ABSTRACTION ADT . . .
[Stephenson07 ] =REVIEW TOOL Fault trees LOGIC SECURITY REQUIREMENTS RISK ANALYSIS Amenaza SecuriTree . . .
[Stevens95 ] =REVIEW REFINEMENT Z SQL . . .
[StrawsonOderberg05 ] =UNREAD Aristotle Syllogism TERMS TLP vs MPL PREDICATE . . .
[StubblebineWright02 ] =THEORY LOGIC TEMPORAL BELIEF DISTRIBUTED TIME PROTOCOLS BAN web certificates Kerberos5 . . .
[Sutton00 ] =ESSAY EXPERIENCE ECCubed ORGANIZATION PROCESS . . .
[Tayloretal96 ] =DEMO Chiron2/C2 decomposition ARCHITECTURE COMPONENT MESSAGE NONSEQUENTIAL MODULES . . .
[Terwilliger93b ] =CASE-STUDY V&V CORRECTNESS FORMAL LOGIC DESIGN PROOF . . .
[ThimblebyLadkin96 ] =DEMO TOOL LOGIC LANGUAGE TABULAR DOCUMENTATION WWW Manuals . . .
[ThimblebyLadkin97 ] =DEMO LOGIC DOCUMENTATION TLA FSM/STD HCI . . .
[Thomas90 ] =THEORY MODEL MODAL LOGIC TEMPORAL Buchi AUTOMATA FSM/STD . . .
[Tillman93 ] =MANUAL USER INTERACTION DESIGN 94 PATTERNS . . .
[Toulmin58 ] =THEORY INFORMAL LOGIC ARGUMENT RATIONALE . . .
[ToulminRiekeJanik78 ] =TEXT INFORMAL LOGIC ARGUMENT RATIONALE GRAPHIC . . .
[Tremblay99 ] =DEMO Spec . . .
[TsaiWiegertJang92 ] =SUVEY FRORL LOGIC FORMAL SPECIFICATION OBJECT-ORIENTED non-monotonic hierarchy . . .
[TuckerNoonan02 ] =EXAMPLE FORMAL SPECIFICATION J . . .
[Turpin93 ] =THEORY DATA STRUCTURES PROOF POINTERS . . .
[TyszberowiczYehudai92 ] =THEORY RAD GRAPHIC OBJECTS CONCURRENCY LOGIC PROGRAMMING STDs/FSMs . . .
[Vadaparty06 ] =DEMO LOGIC PROOF TOOL TREE CASES LPC Java . . .
[vanBenthem97 ] =MATHEMATICS LOGIC RELATIONS DYNAMICS . . .
[Venture78 ] =LETTER Esperanto vs Loglan Volapuk LOGIC ITL UNIVERSAL LANGUAGES . . .
[VesseyWeber86 ] =EMPIRICAL STRUCTURED SEQUENTAL SP LOGIC GRAPHICS . . .
[WangBastaniYen05 ] =IDEA MATHEMATICS MODAL LOGIC TLA ASPECTS COMPONENTS NONDETERMINISTIC FSM RHSM IDEAL BART . . .
[WandWeber90 ] =THEORY SYSTEM Formal Mathematics Systems decomposition . . .
[WangBastaniYen05 ] =IDEA MATHEMATICS MODAL LOGIC TLA ASPECTS COMPONENTS NONDETERMINISTIC FSM RHSM IDEAL BART . . .
[WardM96 ] =THEORY LOGIC SPECIFICATION DERIVATION ALGORITHM DATA . . .
[Warnier76 ] =HANDBOOK =CLASSIC TECHNICAL DESIGN LCP DDD . . .
[Warnier81 ] =SURVEY LCS data . . .
[WeberWeisbrod03 ] =EXPERIENCE REQUIREMENTS TOOLS PROCESS DaimlerChrysler . . .
[Weideetal94b ] =ESSAY ALGORITHMS REUSE MACHINES . . .
[Weidenbach95 ] =THEORY LOGIC SEMANTIC TABLEAUX TREES TYPES . . .
[Weidenback94 ] =THEORY LOGIC SEMANTIC TABLEAUX TREES TYPES . . .
[Wells95 ] =ESSAY MATHEMATICS . . .
[Whangetal92 ] =ADVERT GRAPHIC DATA LOGIC . . .
[WhiteheadRussell63 ] =CLASSIC logic RELATIONS SETS PREDICATES structures regular TYPES . . .
[WhiteheadRussell97 ] =FORMAL LOGIC TYPES PREDICATES CLASSES RELATIONS PROOFS MATHEMATICS . . .
[WidomGriesSchneider92 ] =THEORY CONCURRENT SNL=Simple Network Logic . . .
[WilsonF00 ] =FORMAL LOGIC SCIENCE HISTORY THEORY DATA . . .
[WingNixon89 ] =ADVERT formal specification . . .
[WingVaziri-Farahani95 ] =CASE-STUDY SQA FORMAL CASE-STUDY LOGIC . . .
[Woodcock89b ] =DEMO MATHEMATICS Z formal logic structures . . .
[Wordsworth96 ] =TEXTBOOK undergraduate TOOLs B MATHEMATICAL LOGIC . . .
[Wos98 ] =ADVERT LOGIC TOOL not AI but rules and algebra . . .
[XiaLee0 ] =POLL COST TIME USER FUNCTION NONTECHNICAL . . .
[Yamazakietal93 ] =EXPERIEMENT OBJECT-ORIENETD ROOD Real-time vs FD . . .
[YangHawblitzel11 ] =ADVERT LOGIC PROOF TOOLS SAFETY MEMORY OSs Kernel Nucleus Typed Assembly Language TAL Verve Hoare C# . . .
[Young97 ] =DEMO PROOF LOGIC LISP . . .
[Young07 ] =ADVERT LOGIC TOOL . . .
[Yourdon07 ] =HISTORY PEOPLE =REPORT PANEL Boehm Brooks Rising Lister DeMarco . . .
[Zadeh94 ] =ADVERT FUzzY LOGIC . . .
[ZaveJackson93 ] =DEMO FORMAL REQUIREMENTS SPECIFICATION . . .
[ZaveJackson96 ] =DEMO specification methods logic std Z . . .
[ZaveJackson9X ] =DEMO Multiparadigm specification GRAPHIC Z STDs Jackson diagrams predicate LOGIC . . .
[ZellerSnelting97 ] =THEORY =TOOLS SCM . . .
[Zelkowitz94 ] =CRITIQUE HOARE LOGIC PROGRAM . . .
[Zhang91 ] =THEORY Semantics SFSS SFP. . . .
[ZowghiOffen97 ] =THEORY REQUIREMENTS EVOLUTION AGM . . .

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]