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

Bibliography Retrieval Engine(Beta)

Items in bibliography identified by a string matching VD[ML]

[Abrial89 ] =ADVERT LOGIC TOOL Z VDM B . . .
[AichernigKainhofer04 ] =DEMO VALIDATION VDM-SL Mathematica Hybrid SAFER graphic animation . . .
[Bekic70 ] =CASE-STUDY VDL/VDM PL/I formal . . .
[BicarreguiRitchie95 ] =CASE-STUDY FORMAL LANGUAGES SPECIFICATION . . .
[BjornerJones82 ] =ADVERT VDM formal language Technical . . .
[BloomfieldFroome86 ] =CASE-STUDY Prolog VDL QUALITY . . .
[Blum94 ] =ADVERT DATA METHOD TEDIUM . . .
[BowenHinchey94 ] =REPORT UK TEACHING MATHEMATICAL LOGICAL SPECIFICATION REFINEMENT TOOLS ZTC ZANS . . .
[BowenHinchey95b ] . . .
[CohenHarwoodJackson86 ] =theory nonsequential specification VDM . . .
[Craigenetal93 ] =SURVEY FORMAL METHODS EXPERIENCE . . .
[Endres93 ] =THEORY MODEL LOGIC FLEA TOOL DOORS DXL STANDARDS in PROCESS . . .
[Feijs93 ] =EXPERIENCE NASA DATABASE LISP . . .
[FieldsElvang-Goranson92 ] =EXPERIENCE PEOPLE PROCESS . . .
[FitzgeraldEtal05 ] =UNREAD =MANUAL VDM++ . . .
[Fraseretal91 ] =ESSAY MODELING MDD UML2.0 meta-models semantics . . .
[Fraseretal94 ] . . .
[Gannonetal93 ] =THEORY MODULES PURPOSE . . .
[GerhartCraigenRalston94 ] =EXPERIENCE FORMAL . . .
[Hall96a ] =EXPERIENCE FORMAL ER DFD VDM VVSL CSP FSM CCS . . .
[HarrisonSnook02 ] =POLL EMPIRICAL UML Z B VDM CSP CCS in Marconi Prasix IBM Phillips . . .
[HayesJonesNichols94 ] =HISTORY FORMAL METHODS Z vs VDM . . .
[HoerrlAichernig00 ] =CASESTUDY INDUSTRY Frequentis VDM++ -> UML Rational Rose 98 TOOL for ATC PABX PSTN VCS3020s . . .
[HoustonKing91 ] =EXPERIENCE Formal maintenance Z IBM CICS . . .
[ISO/IEC13817-1 ] =STANDARD VDM FORMAL SPECIFICATION . . .
[ISO/IEC13817-1 ] . . .
[Jackson91 ] =ESSAY Reality . . .
[JacksonDShlyakhterSridharan01 ] =IDEA MODULAR SPECIFICATIONS RELATIONS FORMAL NOTATION LOGIC EXTENSION TOOL? cf Z Alloy . . .
[LafontaneLedruSchobbens91 ] =EXPERIMENT FORMAL VDM LOGIC . . .
[LanoHaughton94 ] =DEMOS FORMAL MooZ OOZE/FOOPS VDM++ Z++ Object-Z Fresco OOSD OMT SSADM . . .
[LarsenFitzgeraldBrookes96 ] =EXPERIMENT VDM-SL . . .
[Maiden08a ] =HISTORY 1983-2008 REQUIREMENTS . . .
[McDermid89 ] =WORKSHOP FORMAL TOP-DOWN Z VDM REQUIREMENTS . . .
[Monin03 ] =SURVEY FORMAL CTL Z B VDM LP HOL CCS CSP LCF LTL PVS TLA . . .
[Naftalinetal94 ] =PROCEEDINGS FORMAL METHODS VDM REFINEMENT . . .
[RomanWilcox94 ] =DEMO Swarm Formal Program vs specification concurrent . . .
[Rumbaughetal90 ] =HOWTO DFDs OBJECT-ORIENTED OMT? Dynamic Harel STATECHART . . .
[Sheppard95 ] =TEXT Z VDM SPECIFICATION . . .
[Simonyi00 ] =IDEA SYNTAX HARMFUL TREE enzyme xmethod IP . . .
[Staskauskas93 ] =HISTORY NONSEQUENTIAL UNITY . . .
[Thomas92 ] =ARTICLE FORMAL METHODS STANDARDS VDM Z REQUIREMENTS OUTSOURCED TECHNICAL . . .
[Tunnicliffe91 ] =TEXT VDM like Discrete Maths with data types and pseudocode . . .
[VDMEurope91 ] =PROCEEDINGS FORMAL VDM . . .
[WilliamsL94 ] =SURVEY FORMAL SPECIFICATION METHODS SCR VDM WLMS . . .

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]