diff --git a/mybib.bib b/mybib.bib index 4171406..ccb8d6f 100644 --- a/mybib.bib +++ b/mybib.bib @@ -1,6 +1,4 @@ -Model-driven automated software FMEA Proceedings - Annual -Snooke, N. -Comput. Sci. Dept., Aberystwyth Univ., Aberystwyth, UK + @ARTICLE{embedsfmea, AUTHOR = "Peter L. Goddard", @@ -82,6 +80,9 @@ Database YEAR = "2010" } + +% my bib file. + @ARTICLE{fmd91, AUTHOR = "Reliability Analysis Center", TITLE = "Failure Mode/Mechanisms Distributions 1991", @@ -112,6 +113,15 @@ Database keywords = "single-fault", keywords = "fault-tolerance" } + +@ARTICLE{ontfmea, + AUTHOR = "Lars Dittman et all", + TITLE = "FMEA using Ontologies", + JOURNAL = "18th International workshop on Qualitative Reasoning", + YEAR = "2004" +} + + @ARTICLE{bubba, AUTHOR = "Ron Mancini", TITLE = "Design of OP-Amp sine wave oscillators", @@ -158,12 +168,6 @@ Database YEAR = "2003" } -@BOOK{dbcbe, - AUTHOR = "R. Mitchell", - TITLE = "Design by contract, by Example", - PUBLISHER = "Addison-Wesley ISBN 0-201-63460-0", - YEAR = "2002" -} @ARTICLE{crcembedd, AUTHOR = "Philip Koopman, Tridib Chakravarty", @@ -186,29 +190,6 @@ Database YEAR = "2002" } -@BOOK{easw, - AUTHOR = "Nancy Leveson", - TITLE = "Engineering a safer world ISBN: 978-0262016629", - PUBLISHER = "MIT Press", - YEAR = "2012" -} - -@ARTICLE{syssafe2011, - AUTHOR = "R.Clark A.Fish J.Howse C.Garrett", - TITLE = "Developing a rigorous bottom-up modular static failure modelling -methodology", - JOURNAL = "IET System Safety 2011", - YEAR = "2011" -} - - -@MISC{en61511, - author = "E N Standard", - title = "EN61511: Functional safety. Safety instrumented systems for the process industry sector. ", - howpublished = "British standards Institution http://www.bsigroup.com/", - year = "2004" -} - @BOOK{embupsys, TITLE = "Embedded Microprocessor Systems 3rd Edition ISBN 0-7506-75434-9", AUTHOR = "Stuart R Ball", @@ -237,9 +218,18 @@ methodology", YEAR = "1992" } +@BOOK{opmanage, + AUTHOR = "Roger Schroeder", + TITLE = "Operations Management: Contemporary Concepts and Cases ISBN: 978-0073403380", + PUBLISHER = "McGraw-Hill", + YEAR = "2010" +} + +% Safeware: System safety and Computers + @BOOK{safeware, AUTHOR = "Nancy Leveson", - TITLE = "Safeware: System safety and Computers ISBN: 0-201-11972-2", + TITLE = " Safeware: System safety and Computers ISBN: 0-201-11972-2", PUBLISHER = "Addison-Wesley", YEAR = "2005" } @@ -282,8 +272,29 @@ methodology", } +@book{electronicssysapproach, + added-at = {2011-03-24T00:00:00.000+0100}, + author = {Storey, Neil}, + biburl = {http://www.bibsonomy.org/bibtex/2b735c0730d88e197a34a649611f025c9/dblp}, + interhash = {db538f6c4e7c703ae5b1bda8764e626a}, + intrahash = {b735c0730d88e197a34a649611f025c9}, + isbn = {978-0-13-129396-0}, + keywords = {dblp}, + pages = {I-XII, 1-645}, + publisher = {Pearson / Prentice Hall}, + timestamp = {2011-03-24T00:00:00.000+0100}, + title = {Electronics - a systems approach (4. ed.).}, + year = 2009 +} +@PHDTHESIS{garrett, + AUTHOR = "Chris Garrett", + TITLE = "Functional diagnosis strategies for analog systems using heuristic programming techniques", + SCHOOL = "Brighton University, School of Electrical Engineering", + YEAR = "1989" +} + @PHDTHESIS{maikowski, AUTHOR = "Leo M Maikowski", TITLE = "Tolreranced Multiple Fault Diagnosis of Analog Circuits", @@ -299,6 +310,15 @@ methodology", } +@book{DBLP:books/ph/KernighanR88, + author = {Brian W. Kernighan and + Dennis Ritchie}, + title = {The C Programming Language, Second Edition}, + publisher = {Prentice-Hall}, + year = {1988}, + isbn = {0-13-110370-9}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} @BOOK{allfour, @@ -487,13 +507,6 @@ OPTissn = {}, OPTabstract = {}, } -@BOOK{kandr, - AUTHOR = "Kernighan,Ritchie", - TITLE = "The C programming Language 2nd edition ISBN 0-13-110362-8", - PUBLISHER = "Prentise Hall", - YEAR = "1988" -} - @Book{wt, title = {Water Treatment Essentials for Boiler Plant Operation}, diff --git a/submission_thesis/mybib.bib b/submission_thesis/mybib.bib deleted file mode 100644 index 5319644..0000000 --- a/submission_thesis/mybib.bib +++ /dev/null @@ -1,663 +0,0 @@ - - -% my bib file. - -@ARTICLE{fmd91, - AUTHOR = "Reliability Analysis Center", - TITLE = "Failure Mode/Mechanisms Distributions 1991", - JOURNAL = "United States Department of Commerce", - YEAR = "1991" -} - -% $Id: mybib.bib,v 1.3 2009/11/28 20:05:52 robin Exp $ -@article{Clark200519, - title = "Failure Mode Modular De-Composition Using Spider Diagrams", - journal = "Electronic Notes in Theoretical Computer Science", - volume = "134", - number = "", - pages = "19 - 31", - year = "2005", - note = "Proceedings of the First International Workshop on Euler Diagrams (Euler 2004)", - issn = "1571-0661", - doi = "DOI: 10.1016/j.entcs.2005.02.018", - url = "http://www.sciencedirect.com/science/article/B75H1-4G6XT71-3/2/0e3a47df2ec15bfba9f85feae81786e3", - author = "R.P. Clark", - keywords = "Failsafe", - keywords = "EN298", - keywords = "gas-safety", - keywords = "burner", - keywords = "control", - keywords = "fault", - keywords = "double-fault", - keywords = "single-fault", - keywords = "fault-tolerance" -} - -@ARTICLE{ontfmea, - AUTHOR = "Lars Dittman et all", - TITLE = "FMEA using Ontologies", - JOURNAL = "18th International workshop on Qualitative Reasoning", - YEAR = "2004" -} - - -@ARTICLE{bubba, - AUTHOR = "Ron Mancini", - TITLE = "Design of OP-Amp sine wave oscillators", - JOURNAL = "Analog Applications Journal: Texas Instruments: August", - YEAR = "2000" -} -@ARTICLE{ftahistory, - AUTHOR = "Clifton Ericsson", - TITLE = "Fault Tree Analysis a History", - JOURNAL = "Proceedings of the 17th international safety conference", - YEAR = "1999" -} - -@ARTICLE{fafmea, - AUTHOR = "Zigmund Bluvband, Pavel Grabov", - TITLE = "Failure Analysis of FMEA", - JOURNAL = "IEEE 1-4244-2509-9/09/", - YEAR = "2009" -} -@ARTICLE{fmeda, - AUTHOR = "John C. Grebe Dr. William M. Goble", - TITLE = "FMEDA – Accurate Product Failure Metrics", - JOURNAL = "EXIDA publication. www.exida.com/articles/FMEDA\%20Development.pdf", - YEAR = "2007" -} -@ARTICLE{canspec, - AUTHOR = "Bosch.", - TITLE = "CAN Specification 2.0", - JOURNAL = "Bosch Technical Standard", - YEAR = "1991" -} - -@ARTICLE{caninauto, - AUTHOR = "H. Zeltwanger", - TITLE = "Single Processor implementation of the CANopen Safety Protocol", - JOURNAL = "CAN in Automation (CiA)", - YEAR = "2008" -} - -@ARTICLE{valueoflife, - AUTHOR = "W.K. Viscusi", - TITLE = "The value of life: Estimates with risks by occupation and industry", - JOURNAL = "Harvard John M. Olin Canter for Law ISSN 1045-6333", - YEAR = "2003" -} - - -@ARTICLE{crcembedd, - AUTHOR = "Philip Koopman, Tridib Chakravarty", - TITLE = "Cyclic Redundancy Code (CRC) Polynomial Selection for Embedded Networks", - JOURNAL = "The International Conference on dependable systems and networks DSN-2004", - YEAR = "2004" -} - -@ARTICLE{nucfta, - AUTHOR = "US Nuclear reg commission", - TITLE = "Fault Tree Handbook", - JOURNAL = "Nuclear Safety Analysis Handbook", - YEAR = "1981" -} - -@ARTICLE{nasafta, - AUTHOR = "NASA", - TITLE = "Fault Tree Handbook with Aerospace Applications", - JOURNAL = "NASA Handbook", - YEAR = "2002" -} - -@BOOK{embupsys, - TITLE = "Embedded Microprocessor Systems 3rd Edition ISBN 0-7506-75434-9", - AUTHOR = "Stuart R Ball", - PUBLISHER = "Newnes", - YEAR = "2002" -} - -@BOOK{alggraph, - AUTHOR = "Alan Gibbons", - TITLE = "Algorithmic Graph Theory ISBN:978-0521288811 ", - PUBLISHER = "Cambridge University PressCambridge University Press", - YEAR = "1985" -} - -@BOOK{git, - AUTHOR = "Jon Loeliger", - TITLE = "Version Control with Git ISBN:978-0-596-52012-0", - PUBLISHER = "O'Reilly Media", - YEAR = "2009" -} - -@BOOK{ince, - AUTHOR = "D. C. Ince", - TITLE = "In Introduction to discrete Mathematics, Formal System specification and Z", - PUBLISHER = "Oxford University Press", - YEAR = "1992" -} - -@BOOK{opmanage, - AUTHOR = "Roger Schroeder", - TITLE = "Operations Management: Contemporary Concepts and Cases ISBN: 978-0073403380", - PUBLISHER = "McGraw-Hill", - YEAR = "2010" -} - -% Safeware: System safety and Computers - -@BOOK{safeware, - AUTHOR = "Nancy Leveson", - TITLE = " Safeware: System safety and Computers ISBN: 0-201-11972-2", - PUBLISHER = "Addison-Wesley", - YEAR = "2005" -} - -@BOOK{scse, - AUTHOR = "Fortescue, Swinerd, Stark", - TITLE = "Spacecraft Systems Engineering ISBN:978-0-470-75012-4", - PUBLISHER = "Wiley", - YEAR = "2011" -} - -@BOOK{bfmea, - AUTHOR = "Robin E McDermot et all", - TITLE = "The Basics of FMEA ISBN: 0-527-76320-9", - PUBLISHER = "Productivity", - YEAR = "1996" -} - -@BOOK{mil1991, - AUTHOR = "United~States~DOD", - TITLE = "Reliability Prediction of Electronic Equipment", - PUBLISHER = "DOD", - YEAR = "1991" -} - - -@BOOK{faa, - AUTHOR = "Federal Aviation Administration", - TITLE = "System Safety Handbook", - PUBLISHER = "http://www.faa.gov/library/manuals/aviation/risk\_management/ss\_handbook/", - YEAR = "2008" -} - - -@BOOK{sccs, - AUTHOR = "Neil~Storey", - TITLE = "Safety-Critical Computer Systems ISBN 0-201-42787-7", - PUBLISHER = "Prentice Hall", - YEAR = "1996" -} - - -@book{electronicssysapproach, - added-at = {2011-03-24T00:00:00.000+0100}, - author = {Storey, Neil}, - biburl = {http://www.bibsonomy.org/bibtex/2b735c0730d88e197a34a649611f025c9/dblp}, - interhash = {db538f6c4e7c703ae5b1bda8764e626a}, - intrahash = {b735c0730d88e197a34a649611f025c9}, - isbn = {978-0-13-129396-0}, - keywords = {dblp}, - pages = {I-XII, 1-645}, - publisher = {Pearson / Prentice Hall}, - timestamp = {2011-03-24T00:00:00.000+0100}, - title = {Electronics - a systems approach (4. ed.).}, - year = 2009 -} - - -@PHDTHESIS{garrett, - AUTHOR = "Chris Garrett", - TITLE = "Functional diagnosis strategies for analog systems using heuristic programming techniques", - SCHOOL = "Brighton University, School of Electrical Engineering", - YEAR = "1989" -} - -@PHDTHESIS{maikowski, - AUTHOR = "Leo M Maikowski", - TITLE = "Tolreranced Multiple Fault Diagnosis of Analog Circuits", - SCHOOL = " Brighton University, School of Electrical Engineering", - YEAR = "1995" -} - -@BOOK{sem, - AUTHOR = "J.~Woodcock,~Martin~Loomes", - TITLE = "Software Engineering Mathematics ISBN 0-273-02673-9", - PUBLISHER = "Pitman", - YEAR = "1988" -} - - -@book{DBLP:books/ph/KernighanR88, - author = {Brian W. Kernighan and - Dennis Ritchie}, - title = {The C Programming Language, Second Edition}, - publisher = {Prentice-Hall}, - year = {1988}, - isbn = {0-13-110370-9}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} - - -@BOOK{allfour, - AUTHOR = "Betty Tootell", - TITLE = "All Four Engines Have Failed ISBN 0-233-97758-9", - PUBLISHER = "Andre deutsch", - YEAR = "1985" -} - - -@BOOK{f77, - AUTHOR = "A.~Balfour D.H.~Marwick", - TITLE = "Programming in Standard Fortran 77 ISBN 0-435-77486-7", - PUBLISHER = "Heinemann Educational Books", - YEAR = "1979" -} - -@BOOK{ctw, - AUTHOR = "Gregory~J.E.~Rawlins", - TITLE = "Compared to What ? An introduction to the analysis of algorithms ISBN 0-7167-8243-x", - PUBLISHER = "Computer Science Press", - YEAR = "1991" -} - - - -@BOOK{alg, - AUTHOR = "Alan~Gibbons", - TITLE = "Algorithmic Graph Theory ISBN 0-521-28881-9", - PUBLISHER = "Cambridge University Press", - YEAR = "1985" -} - -@BOOK{found, - AUTHOR = "Ian~Stewart, David~Tall", - TITLE = "The Foundations of Mathematics : ISBN 0-19-853165-6", - PUBLISHER = "Oxford University Press", - YEAR = "1977" -} - -@BOOK{shin, - AUTHOR = "Sun-Joo~Shin", - TITLE = "The Iconic Logic of Peirces Graphs", - PUBLISHER = "Bradford", - YEAR = "2002" -} - - -@BOOK{probstat, - AUTHOR = " M~R~Spiegel", - TITLE = "Probability and Statistics Second edition : SHCAUM'S : ISBN 0-07-135004-7", - PUBLISHER = "Oxford University Press", - YEAR = "1988" -} - -@BOOK{idmfssz, - AUTHOR = " D~C~Ince", - TITLE = " An Introduction to Discrete Mathematics, Formal System Specification and Z : Oxford : ISBN 0-19-853836-7", - PUBLISHER = "Oxford University Press", - YEAR = "1988" -} - - -@BOOK{wdycwopt, - AUTHOR = " Richard~P~Feynman", - TITLE = " What do you care what other people think: Harper Collins : ISBN 0-586-21855-6", - PUBLISHER = " harpercollins", - YEAR = "1988" -} - -@BOOK{joyofsets, - AUTHOR = " Keith~devlin", - TITLE = " The Joy of Sets: 2nd edition: ISBN 978-0-387-94094-6", - PUBLISHER = " Springer", - YEAR = "1993" -} - - -@MISC{microchip, - author = "Microchip", - title = "Microchip technology Inc. Home Page", - howpublished = "Available from http://www.microchip.com/", - year = "2009" -} - -@MISC{gnuplot, - author = "Various Open~source~Project", - title = "", - howpublished = "Available from http://www.gnuplot.info/", - year = "2005" -} - -@MISC{eulerviz, - author = "Peter~Rodgers, John~Howse, Andrew~Fish", - title = "Visualization of Euler Diagrams", - howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/EulerViz.pdf", - year = "2005" -} - -@MISC{eulerprop, - author = "Peter~Rodgers, John~Howse, Gem~Stapleton", - title = "Properties of Euler Diagrams", - howpublished = "http://www.cmis.bton.ac.uk/research/vmg/papers/", - year = "2007" -} - -@MISC{en161, - author = "E N Standard", - title = "EN161:2007 Automatic shutoff valves for gas burners and gas appliances", - howpublished = "British standards Institution http://www.bsigroup.com/", - year = "2003" -} - -@MISC{en298, - author = "E N Standard", - title = "EN298:2003 Gas Burner Controllers with forced draft", - howpublished = "British standards Institution http://www.bsigroup.com/", - year = "2003" -} - -@MISC{en60730, - author = "E N Standard", - title = "EN60730: Automatic Electrical controls for household and similar use", - howpublished = "British standards Institution http://www.bsigroup.com/", - year = "1994" -} - -@MISC{challenger, - author = "U.S. Presidential Commission", - title = "Report of the SpaceShuttle Challanger Accident", - howpublished = "Available from http://science.ksc.nasa.gov/shuttle/missions/51-l/docs/rogers-commission/table-of-contents.html", - year = "1986" -} - -@MISC{en61508, - author = "E N Standard", - title = "EN61508:2002 Functional safety of electrical/electronic/programmable electronic safety related systems", - howpublished = "British standards Institution http://www.bsigroup.com/", - year = "2002" -} - -@MISC{javaarea, - author = "Sun~Micro~Systems", - title = "Java Area Operations", - howpublished = "Available from http://java.sun.com/j2se/1.3/docs/api/java/awt/geom/Area.html", - year = "2000" -} - - -@Manual{tlp181, - title = {TLP 181 Datasheet}, - key = {TOSHIBA Photocoupler GaAs Ired and Photo−Transistor}, - author = {Toshiba inc.}, - OPTorganization = {}, - address = {http://www.toshiba.com/taec/components2/Datasheet\_Sync//206/4191.pdf}, - OPTedition = {}, - OPTmonth = {}, - year = {2009}, -OPTnote = {}, - OPTannote = {}, - OPTurl = {}, - OPTdoi = {}, -OPTissn = {}, - OPTlocalfile = {}, - OPTabstract = {}, -} - - - - -@Manual{pic18f2523, - title = {PIC18F2523 Datasheet}, - OPTkey = {}, - author = {Microchip inc}, - OPTorganization = {}, - address = {http://ww1.microchip.com/downloads/en/DeviceDoc/39755c.pdf}, - OPTedition = {}, - OPTmonth = {}, - year = {2009}, - OPTnote = {}, - OPTannote = {}, - OPTurl = {}, - OPTdoi = {}, - OPTissn = {}, - OPTlocalfile = {}, - OPTabstract = {}, -} - - -@Book{wt, - title = {Water Treatment Essentials for Boiler Plant Operation}, - publisher = {Mc Graw Hill ISBN 0-07-048291-5}, - year = {1997}, - author = {Robert G Nunn}, - ALTALTeditor = {}, - OPTkey = {}, - OPTvolume = {}, - OPTnumber = {}, - OPTseries = {}, - OPTaddress = {}, - OPTedition = {}, - OPTmonth = {}, - OPTnote = {}, - OPTannote = {}, - OPTurl = {}, - OPTdoi = {}, - OPTissn = {ISBN 0-07-048291-5}, - OPTlocalfile = {}, - OPTabstracts = {}, -} - - -@TechReport{spiraxsarco, - author = {Spirax Sarco}, - title = {http://www.spiraxsarco.com/resources/steam-engineering-tutorials.asp}, - institution = {Spirax Sarco}, - year = {2010}, - OPTkey = {}, - OPTtype = {}, - OPTnumber = {}, - OPTaddress = {}, - OPTmonth = {}, - OPTnote = {}, - OPTannote = {}, - OPTurl = {}, - OPTdoi = {}, - OPTissn = {}, - OPTlocalfile = {}, - OPTabstract = {}, -} - -@Book{aoe, - title = {The Art of Electronics}, - publisher = {Cambridge}, - year = {1989}, - author = {Paul Horowitz, Winfield Hill}, - OPTkey = {}, - OPTvolume = {}, - OPTnumber = {}, - OPTseries = {}, - OPTaddress = {}, - OPTedition = {2nd}, - OPTmonth = {}, - OPTnote = {}, - OPTannote = {}, - OPTurl = {}, - OPTdoi = {}, - OPTissn = {ISBN 0-521-37095-7}, - OPTlocalfile = {}, - OPTabstracts = {}, -} - - -@TechReport{eurothermtables, - author = {Eurotherm Ltd.}, - title = {Thermocouple Emf TABLES and PLATINUM 100 RESISTANCE THERMOMETER TABLES}, - institution = {Eurotherm, UK}, - year = {1973}, - OPTkey = {}, - OPTtype = {}, - OPTnumber = {}, - OPTaddress = {}, - OPTmonth = {June}, - OPTnote = {Bulletin TT-1}, - OPTannote = {}, - OPTurl = {}, - OPTdoi = {}, - OPTissn = {}, - OPTlocalfile = {}, - OPTabstract = {}, -} - - -@Book{ldd, -author = {Jonathon Corbet}, -ALTeditor = {Alessandro Rubini}, -ALTeditor = {Greg Kroah-Hartman}, -title = {Linux Device Drivers}, -publisher = {O'Reilly ISBN 0-596-00590-3}, -year = {1998}, -OPTkey = {ISBN 0-596-00590-3}, -OPTvolume = {}, -OPTnumber = {}, -OPTseries = {linux}, -OPTaddress = {}, -OPTedition = {3rd}, -OPTmonth = {}, -OPTnote = {}, -OPTannote = {}, -OPTurl = {www.oreilly.com}, -OPTdoi = {}, -OPTissn = {}, -OPTlocalfile = {}, -OPTabstract = {} -}; - - -@Book{bash, -author = {Carl Albing}, -title = {Bash Cookbook}, -publisher = {O'Reilly ISBN 0-596-52678-4}, -year = {2007}, -OPTkey = {ISBN 0-596-52678-4}, -OPTvolume = {}, -OPTnumber = {}, -OPTseries = {unix/linux}, -OPTaddress = {}, -OPTedition = {}, -OPTmonth = {}, -OPTnote = {}, -OPTannote = {}, -OPTurl = {www.oreilly.com}, -OPTdoi = {}, -OPTissn = {}, -OPTlocalfile = {}, -OPTabstract = {} -}; - -@Book{sedawk, -author = {Dale Dougherty, Arnold Robbins}, -title = {Sed and Awk}, -publisher = {O'Reilly ISBN 1-56592-225-5}, -year = {1997}, -OPTkey = {ISBN 1-56592-225-5}, -OPTvolume = {}, -OPTnumber = {}, -OPTseries = {unix/linux}, -OPTaddress = {}, -OPTedition = {}, -OPTmonth = {}, -OPTnote = {}, -OPTannote = {}, -OPTurl = {www.oreilly.com}, -OPTdoi = {}, -OPTissn = {}, -OPTlocalfile = {}, -OPTabstract = {} -}; - -@Book{bels, -author = {Karim Yaghmour}, -title = {Building Embedded LINUX systems}, -publisher = {O'Reilly ISBN ISBN 0-596-00222-X}, -year = {2003}, -OPTkey = {ISBN 0-596-00222-X}, -OPTvolume = {}, -OPTnumber = {}, -OPTseries = {linux}, -OPTaddress = {}, -OPTedition = {3rd}, -OPTmonth = {}, -OPTnote = {}, -OPTannote = {}, -OPTurl = {www.oreilly.com}, -OPTdoi = {}, -OPTissn = {}, -OPTlocalfile = {}, -OPTabstract = {} -}; - -@Book{can, -author = {Olaf Pfeiffer}, -ALTeditor = {Andrew Ayre}, -ALTeditor = {Christian Keydel}, -title = {Embedded networking with CAN and CANopen}, -publisher = {RTC ISBN 0-929392-78-7}, -year = {2003}, -OPTkey = { }, -OPTvolume = {}, -OPTnumber = {}, -OPTseries = {Embedded Systems}, -OPTaddress = {}, -OPTedition = {1st}, -OPTmonth = {}, -OPTnote = {}, -OPTannote = {}, -OPTurl = {www.rtcbooks.com}, -OPTdoi = {}, -OPTissn = {}, -OPTlocalfile = {}, -OPTabstract = {} -}; - -@Article{article, -author = {dd}, -title = {dd}, -journal = {dd}, -year = {2008}, -OPTkey = {}, -OPTvolume = {}, -OPTnumber = {}, -OPTpages = {1,2}, -OPTmonth = {JAN}, -OPTnote = {}, -OPTannote = {}, -OPTurl = {}, -OPTdoi = {}, -OPTissn = {}, -OPTlocalfile = {}, -OPTabstract = {} -}; - -@Book{sqlite, -author = {Micheal Owens}, -title = {The definitive guide to SQLite}, -publisher = {Apres ISBN 1-59059-673-0}, -year = {2006}, -OPTkey = {}, -OPTvolume = {}, -OPTnumber = {}, -OPTseries = {Databases/SQLite}, -OPTaddress = {}, -OPTedition = {}, -OPTmonth = {}, -OPTnote = {}, -OPTannote = {}, -OPTurl = {}, -OPTdoi = {}, -OPTissn = {}, -OPTlocalfile = {}, -OPTabstract = {} -}; - diff --git a/submission_thesis/vmgbibliography.bib b/submission_thesis/vmgbibliography.bib deleted file mode 100644 index 9067b84..0000000 --- a/submission_thesis/vmgbibliography.bib +++ /dev/null @@ -1,1762 +0,0 @@ -% $Id: vmgbibliography.bib,v 1.1 2008/08/29 16:26:03 robin Exp $ - -% bib file from vmg group -% emailed from Andrew Fish late May 2007 - - -@CONFERENCE{stapleton:inivlacsued, - author = {G.~Stapleton and J.~Masthoff}, - title = {Incorporating Negation into Visual Logics: A Case Study Using {E}uler Diagrams}, - booktitle = {Submitted to Visual Languages and Computing 2007}, - year = {2007} -} - -@MISC{Clark_fastzone, - author = {Robin Clark}, - title = {Fast Zone Discrimination}, - year = {2007}, - booktitle = {Submitted to Visual Languages and Computing 2007}, -} - - -@ARTICLE{stapleton:atpieds, - AUTHOR = "G.~Stapleton and J.~Masthoff and J.~Flower and A.~Fish and J.~Southern", - TITLE = "Automated Theorem Proving in {E}uler Diagrams Systems", - JOURNAL = "Accepted for Journal of Automated Reasoning", - YEAR = "to appear 2007" -} - -@ARTICLE{stapleton:teacosdawc, - AUTHOR = "G. Stapleton and J. Taylor and J. Howse and S. Thompson", - TITLE = "The Expressiveness and Completeness of Spider Diagrams Augmented with Constants", - JOURNAL = "Submitted to Formal Aspects of Computing", - YEAR = "2005" -} - -@ARTICLE{stapleton:vfol, - AUTHOR = "G.~Stapleton and A.~Fish and S.~Thompson and J.~Howse and S.~Thompson", - TITLE = "Visual First Order Logic", - JOURNAL = "Submitted to Journal of Symbolic Logic", - YEAR = "2006", -} - - - -%%%%%%%%%%%%%%%%%%%%%%% WEB SITES ONLY %%%%%%%%%%%%%%%%%%%% - -@MISC{dau:website, - author = {{F.~Dau}}, - howpublished = "{http://www.dr-dau.net/eg\_readings.shtml}", - year = "2006" -} - -@MISC{diagrams:website, - author = "S.J.~Shin \and O.~Lemon", - title = "Stanford Enyclopedia of Philosophy: Diagrams", - howpublished = "http://plato.stanford.edu/entries/diagrams/", - year = "2001" -} - -@MISC{puml, - author = {{The Precise UML Group}}, - howpublished = {http://www.cs.york.ac.uk/puml/index.html}, - year = {1997} -} - -@MISC{rwd, - author = {{Reasoning with Diagrams}}, - howpublished = "http://www.cs.kent.ac.uk/projects/rwd/", - year = "2006" -} - -@MISC{uml, - author = {{Unified Modelling Language}}, - howpublished = "http://www.uml.org/", - year = "2006" -} - - -@MISC{visualocl, - author = {{VisualOCL: Editor plugin for Eclipse}}, - howpublished = "http://tfs.cs.tu-berlin.de/vocl/", - year = "2004" -} - -@MISC{vmg:website, - author = {{Visual Modelling Group}}, - howpublished = "http://www.cmis.bton.ac.uk/research/vmg", - year = "2006" - -} - - - -@ARTICLE{akehurst:aratdattim, - AUTHOR = "D.~Akehurst and S.~Kent and O.~Patrascoiu", - TITLE = "A Relational Approach to Defining and Implementing Transformations in Metamodels", - JOURNAL = "Journal of Software and Systems Modeling", - volume = "2", - number = "4", - pages = "215-239", - month = "December", - YEAR = "2003" -} - - -@ARTICLE{howse:spider, - AUTHOR = "John Howse, Gem Stapleton and John Taylor", - TITLE = "Spider Diagrams", - JOURNAL = "London Mathematical Society", - volume = "8", - number = "0", - pages = "145-194", - month = "December", - YEAR = "2005" -} - -@conference{akehurst:o2.0its, - author = "D.~Akehurst and P.~Linington and O.~Patrascoiu", - booktitle = "Technical Report", - title = "OCL 2.0: Implementing the Standard", - year = 2003 -} - -@conference{akehurst:oits, - author = "D.~Akehurst and O.~Patrascoiu", - title = "{OCL}: Implementing the Standard", - pages = "19", - booktitle = "OCL2.0-Industry standard or scientific playground?, Proceedings of the UML'03 workshop", - series = "ENTCS", - year = "2003" -} - -@conference{akehurst:tmwpao, - author = "D.~Akehurst and O.~Patrascoiu", - booktitle = "Proceedings of the Metamodelling for MDA Workshop", - title = "Tooling Metamodels with Patterns and {OCL}", - year = "2003" -} - - - - -@BOOK{armstrong:bt, - AUTHOR = "M.~Armstrong", - TITLE = "Basic Topology", - PUBLISHER = "Springer-Verlag", - YEAR = "1979" -} - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BBBBB %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - -@BOOK{barwise:h, - AUTHOR = "J.~Barwise and J.~Etchemendy", - TITLE = "Hyperproof", - PUBLISHER = "CSLI Press", - YEAR = "1994" -} - - -@INCOLLECTION{barwise:hlrwd, - AUTHOR = "J.~Barwise and J.~Etchemendy", - booktitle = "Reasoning with Diagrammatic Representations", - editor= "B.~Chandrasekaran and H.~Simon ", - title = "Hyperproof: Logical Reasoning with Diagrams", - pages = "80-84", - PUBLISHER = "AAAI press", - YEAR = "1992" -} - - -@incollection{barwise:datcols, - author = "J.~Barwise and E.~Hammer ", - publisher = "Oxford University Press", - title = "Diagrams and the Concept of Logical System", - booktitle = "Logical Reasoning with Diagrams", - editor = "G.~Allwein and J.~Barwise", - year = 1996 -} - -@INCOLLECTION{barwise:vivr, - AUTHOR = "J.~Barwise and J.~Etchemendy", - TITLE = "Visual Information and Valid Reasoning", - BOOKTITLE = "Logical Reasoning with Diagrams", - PUBLISHER = "Oxford University Press", - YEAR = "1996", - editor = "G.~Allwein and J.~Barwise", - pages = "3-25" -} - - -@BOOK{battista:gdaftvog, - AUTHOR = "G.~Di~Battista and P.~Eades and R.~Tamassia and I.~G.~Tollis", - TITLE = "Graph Drawing: Algorithms for the visualization of graphs", - PUBLISHER = "Prentice Hall", - YEAR = "1999", - isbn = "0-13-301615-3" -} - - -@CONFERENCE{benoy:etcoed, - author = {F.~Benoy and P.~Rodgers}, - title = {Evaluating the Comprehension of {E}uler Diagrams}, - booktitle = {Euler Diagrams 2005}, - year = {2006} -} - - -@CONFERENCE{bertault:dhitss, - author = {F.~Bertault and P.~Eades.}, - title = {Drawing hypergraphs in the subset standard}, - booktitle = {Proceedings of the 8th International Symposium on Graph Drawing}, - year = {2000}, - volume = {1984}, - series = {LNCS}, - pages = {164 - 169}, - publisher = {Springer Verlag} -} - - -@BOOK{biggs:gt17361936, - AUTHOR = "N.~Biggs and E.~Lloyd and R.~Wilson.", - TITLE = "Graph Theory 1736-1936", - PUBLISHER = "Oxford University Press", - YEAR = "1976" -} - -@BOOK{blackett:et, - AUTHOR = "D.~Blackett", - TITLE = "Elementary Topology", - PUBLISHER = "Academic Press", - YEAR = "1983" -} - -@conference{blackwell:acdqofu, - author = "A.~Blackwell and T.~Green", - booktitle = "Proceedings of 12th Workshop on the Psychology of Programming Interest Group", - publisher = "", - pages = "137--154", - title = "A Cognitive Dimensions Questionnaire Optimised for Users", - year = 2000 -} - -@BOOK{borger:tcdp, - AUTHOR = "E.~Borger and E.~Gradel and E.~Gurevich", - TITLE = "The Classical Decision Problem", - PUBLISHER = "Springer-Verlag", - YEAR = "1997" -} - -@CONFERENCE{bosworth:taapsfs, - author = {P.~Bosworth}, - title = {Towards an Automatic Proof System for Scalecharts}, - booktitle = {Proceedings of Diagrams 2004, Cambridge, UK}, - year = {2004}, - series = {LNAI}, - pages = {227-229}, - month = {March}, - publisher = {Springer-Verlag} -} - -@conference{bottoni:avoouc, - author = {P.~Bottoni and M.~Koch and F.~Parisi-Presicce and G.~Taentzer}, - title = {A Visualization of {OCL} using Collaborations}, - booktitle = {UML 2001 -- The Unified Modeling Language}, - editor = {Gogolla, M. and Kobryn, C.}, - publisher = {Springer}, - series = {LNCS 2185}, - pages = {257 -- 271}, - year = 2001 -} - -@CONFERENCE{bovey:maaatug, - author = {J.~Bovey and P.~Rodgers and F.~Benoy}, - title = {Movment as an Aid to Understanding Graphs}, - booktitle = {Seventh International Conference on Information Visualization}, - year = {2003}, - pages = {472-478}, - month = {July}, - publisher = {IEEE} -} - - - -@ARTICLE{bultena:vdwfv, - AUTHOR = "B.~Bultena and F.~Ruskey", - TITLE = "{V}enn Diagrams with Few Vertices", - JOURNAL = "Electronic Journal of Combinatorics", - YEAR = "1998", - pages = "1--21", - volume = "5" -} - -@ARTICLE{bundy:avmd, - AUTHOR = "A.~Bundy", - TITLE = "A Very Mathematical Dilemma", - JOURNAL = "The Computer Journal", - YEAR = "2006", - volume = "49", - number = "4", - pages = "480--486" -} - - -@BOOK{burris:lfmacs, - AUTHOR = "S.~Burris", - TITLE = "Logic for Mathematics and Computer Science", - PUBLISHER = "Prentice Hall", - YEAR = "1998" -} - - - - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% CCCCCCCCC %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -@article{cheng:csatudr, - author ="P.~Cheng and R.~Lowe and M.~Scaife", - title ="Cognitive Science Approaches To Understanding Diagrammatic Representations", - journal ="Artificial Intelligence Review", - volume ="15", - number ="16", - pages ="79--94", - year ="2001" -} - -@conference{cheng:csatudr:2, - author ="P. Cheng and R. Lowe and M. Scaife", - booktitle ="Proceedings of 1st International Conference, Diagrams 2000", - pages ="", - year = "2000", - series = "LNAI", - title = "Cognitive Science Approaches To Understanding Diagrammatic Representations", - publisher = "Springer-Verlag" -} - - -@CONFERENCE{chiara:asfvdued, - author = {R.~DeChiara and U.~Erra and V.~Scarano.}, - title = {A System for Virtual Directories Using {E}uler Diagrams}, - booktitle = {Proceedings of Euler Diagrams 04}, - year = {2005}, - volume = {134}, - series = {Electronic Notes in Theoretical Computer Science}, - pages = {33–-53} -} - -@CONFERENCE{chiara:vavdfm, - author = {R.~DeChiara and U.~Erra and V.~Scarano.}, - title = {Venn{FS}: A {V}enn Diagram file manager}, - booktitle = {Proceedings of Information Visualisation}, - year = {2003}, - pages = {120-–126}, - publisher = {IEEE Computer Society} -} - -@CONFERENCE{choudhury:oevdbanoi, - author = {L.~Choudhury and M.~K.~Chakraborty}, - title = {On Extending {V}enn Diagrams by Augmenting Names of Individuals}, - booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, - year = {2004}, - series = {LNAI}, - volume = {2980}, - pages = {142-146}, - month = {March}, - publisher = {Springer-Verlag} -} - -@CONFERENCE{chow:capvaedwtc, - author = {S.~Chow and P.~Rodgers}, - title = {Constructing Area-Proportional {V}enn and {E}uler Diagrams with Three Circles}, - booktitle = {Proceedings of {E}uler Diagrams 2005}, - year = {2005} -} - -@CONFERENCE{chow:dapvaed, - author = {S.~Chow and F.~Ruskey}, - title = {Drawing Area-Proportional {V}enn and {E}uler Diagrams}, - booktitle = {Proceedings of Graph Drawing 2003, Perugia, Italy}, - year = {2003}, - series= {LNCS}, - volume = {2912}, - pages = {466-477}, - month = {September}, - publisher = {Springer-Verlag} -} - -@CONFERENCE{chow:tagstdaped, - author = {S.~Chow and F.~Ruskey}, - title = {Towards a General Solution to Drawing Area-Proportional {E}uler Diagrams}, - booktitle = {Proceedings of {E}uler Diagrams}, - year = {2005}, - volume = {134}, - pages = {3--18}, - series = {ENTCS} -} - - - - -@CONFERENCE{clark:fmmdcusd, - author = {R.~Clark}, - title = {Failure Mode Modular De-Composition Using Spider Diagrams}, - booktitle = {Proceedings of Euler Diagrams 2004}, - year = {2005}, - volume = {134}, - series = {Electronic Notes in Theoretical Computer Science}, - pages = {19–-31} -} - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%% DDDDDDD %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - -@ARTICLE{dechter:gbfssatooa, - AUTHOR = "R.~Dechter and J.~Pearl", - TITLE = "Generalized Best-First Search Strategies and the Optimality of A*", - JOURNAL = "Journal of the Association for Computing Machinery, 32(3):505–536", - volume = "32", - number = "3", - pages = "505-536", - YEAR = "1985" -} - -@BOOK{dreben:tdpscoqf, - AUTHOR = "B.~Dreben and D.~Goldforb", - TITLE = "The Decision Problem. Solvable Classes of Quantificational Formulas", - PUBLISHER = "Addison Wesley Publishing Company Inc.", - YEAR = "1979" -} - -@CONFERENCE{dunndavies:psfaip, - author = {H.~Dunn-Davies and R.~Cunningham}, - title = {Propostional Statecharts for Agent Interaction Protocols}, - booktitle = {Proceedings of Euler Diagrams 2004, Brighton, UK}, - series = {ENTCS}, - year = {2005}, - volume = {134}, - pages = {55-75} -} - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%% EEEEEEE %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -@BOOK{ebbinghaus:fmt, - AUTHOR = "H.-D.~Ebbinghaus and J.~Flum.", - TITLE = "Finite Model Theory", - PUBLISHER = "Springer-Verlag", - YEAR = "1991" -} - -@misc{eloff:icadvd, - author = "J.~Eloff and L.~van Zijl", - title = "Incremental Construction and Drawing of {V}enn Diagrams", - note = "citeseer.ist.psu.edu/eloff00incremental.html", - year = 2000 -} - -@ARTICLE{euler:laupdsdsdpedp, - AUTHOR = "L.~Euler.", - TITLE = "Lettres a une Princesse d’Allemagne sur divers sujets de physique et de philosophie", - JOURNAL = "Letters", - YEAR = "1775", - volume = "2", - pages = "102--108", - note = "Berne, Socit Typographique" -} - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%% FFFFFFF %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - -@CONFERENCE{fish:aesitdrocd, - author = {A.~Fish and J.~Masthoff}, - title = {An Experimental Study into the Default Reading of Constraint Diagrams}, - booktitle = {Visual Languages and Human Centric Computing}, - year = {2005}, - pages = {287--289}, - address = {Dallas}, - month = {September}, - publisher = {IEEE} -} - -@CONFERENCE{fish:aoed, - author = {A.~Fish and J.~Flower}, - title = {Abstractions of {E}uler Diagrams}, - booktitle = {Proceedings of Euler Diagrams 2004, Brighton, UK}, - year = {2005}, - series = {ENTCS}, - volume = {134}, - pages = {77-101}, -} - -@conference{fish:arafcd, - author ="A.~Fish and J.~Flower, and J.~Howse", - title ="A Reading Algorithm for Constraint Diagrams", - booktitle ="IEEE Symposium on Human Centric Computing Languages and Environments, Auckland, New Zealand", - publisher ="IEEE", - month = "September", - pages = "161-168", - year =2003 -} - -@conference{fish:crtfcd, - author ="A.~Fish and J.~Howse", - title ="Computing Reading Trees for Constraint Diagrams", - booktitle ="AGTIVE '03, Applications of Graph Transformations with Industrial Relevance, Charlottesville, Virginia, September", - publisher ="Springer-Verlag", - pages ="260-274", - year =2003 -} - - -@TECHREPORT{fish:dmleodelmaesitdrocd, - AUTHOR = "A.~Fish and J.~Mashtoff", - TITLE = "Do Monkeys Like Elephants or Do Elephants like Monkeys? An Empirical Study into the Default Reading of Constraint Diagrams", - INSTITUTION = "University of Brighton", - YEAR = "2005", - address = "\texttt{http://cmis.mis.brighton.ac.uk/research/vmg/publications}" -} - -@conference{fish:dedsow, - author = "A.~Fish and G.~Stapleton", - booktitle = "Proceedings of 4th International Conference on the Theory and Application of Diagrams", - address ="Stanford, USA", - pages = "109-111", - title = "Defining {E}uler Diagrams: Simple or What?", - publisher ="Springer", - year = 2006 -} - -@conference{fish:fiilbocc, - author = "A.~Fish and G.~Stapleton", - booktitle = "Proceedings of Distributed Multimedia Systems, International Workshop - on Visual Languages and Computings", - address ="Grand Canyon, USA", - pages = "161-167", - title = "Formal Issues in Languages Based on Closed Curves", - publisher ="Knowledge Systems Institute", - year = 2006 -} - -@CONFERENCE{fish:hntded, - author = {A.~Fish and G.~Stapleton}, - title = {How Not to Define {E}uler Diagrams}, - booktitle = {Euler diagrams 2005}, - year = {2005} -} - -@CONFERENCE{fish:irwcd, - author = {A.~Fish and J.~Flower}, - title = {Investigating Reasoning with Constraint Diagrams}, - booktitle = {Visual Language and Formal Methods 2004}, - year = {2005}, - series = {ENTCS}, - volume = {127}, - publisher = {Elsevier}, - pages = {53-69}, - address = {Rome, Italy} -} - -@CONFERENCE{fish:tadrfcd, - author = {A.~Fish and J.~Howse}, - title = {Towards a Default Reading for Constraint Diagrams}, - booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, - address = {Cambridge, UK}, - series= {LNAI}, - volume= {2980}, - pages = {51-65}, - month = {March}, - publisher = {Springer-Verlag} -} - - -@ARTICLE{fish:tsoacd, - AUTHOR = "A.~Fish and J.~Flower and J.~Howse", - TITLE = "The Semantics of Augmented Constraint Diagrams", - JOURNAL = "Journal of Visual Languages and Computing", - YEAR = "2005", - volume = "16", - issue = "6", - pages = "541-573" -} - -@conference{flower:atpwsd, - author ="J.~Flower and G.~Stapleton", - booktitle ="Proceedings of Computing: The Australasian Theory Symposium", - address ="Dunedin, New Zealand", - volume ="91", - series ="ENTCS", - publisher ="Science Direct", - title ="Automated Theorem Proving with Spider Diagrams", - pages ="116-132", - month ="January", - year = 2004 -} - -@conference{flower:avffmwhn, - author ="J.~Flower and J.~Howse and J.~Taylor and S.~Kent", - booktitle ="Proceedings of Human Centric Computing Languages and Environments", - publisher ="IEEE", - title ="A Visual Framework for Modelling with Heterogeneous Notations", - pages ="71-73", - year = 2002 -} - -@mastersthesis{flower:gcd, - author ="J.~Flower", - title ="Generating Constraint Diagrams", - year =2000, - school ="University of Brighton" -} - -@conference{flower:ged, - author = "J.~Flower and J.~Howse", - booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", - address ="Georgia, USA", - publisher = "Springer-Verlag", - title = "Generating {E}uler Diagrams", - pages ="61-75", - month ="April", - year = 2002 -} - -@conference{flower:gpwsduh, - author = "J.~Flower and J.~Masthoff and G.~Stapleton", - booktitle = "Proceedings of Distributed Multimedia Systems, International Workshop - on Visual Languages and Computing", - publisher = "Knowledge Systems Institute", - pages ="279-285", - title = "Generating Proofs with Spider Diagrams Using Heuristics", - year = 2004 -} - - - -@conference{flower:grpahattpwsd, -author = {J.~Flower and J.~Masthoff and G.~Stapleton}, -booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, -address = {Cambridge, UK}, -series= {LNAI}, -volume= {2980}, -publisher = {Springer}, -title = {Generating Readable Proofs: A Heuristic Approach to Theorem Proving with Spider Diagrams}, -pages = {166-181}, -year = 2004 -} - -@conference{flower:lmfed, - author ="J.~Flower and P.~Rodgers and P.~Mutton", - booktitle ="7th International Conference on Information Visualisation", - publisher ="IEEE Computer Society Press", - title ="Layout metrics for {E}uler Diagrams", - pages ="272-280", - year =2003 -} - - -@conference{flower:nied, - author ="J.~Flower and J.~Howse and J.~Taylor", - booktitle ="International Workshop on Graph Transformation and Visual Modeling Techniques", - publisher ="", - title ="Nesting in {E}uler Diagrams", - pages ="99-108", - year = 2002 -} - -@ARTICLE{flower:niedssac, - AUTHOR = "J.~Flower and J.~Howse and J.~Taylor", - TITLE = "Nesting in {E}uler diagrams: syntax, semantics and construction", - JOURNAL = "Software and Systems Modelling", - YEAR = "2004", - volume = "3", - pages = "55-67", - month = "March", - publisher= "Springer" - } - - - -%%%%%%%%%%%%%%%%%%%%%%%%%% GGGG %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -@conference{gil:cdasbu, - author = "J.~Gil and J.~Howse and S.~Kent", - booktitle = "Proceedings of TOOLS USA 1999, Santa Barbara, California, USA", - publisher = "IEEE Computer Science Press", - title = "Constraint Diagrams: A step beyond {UML}", - pages = "453-463", - month = "August", - year = 1999 -} - -@conference{gil:fsd, - author = "J.~Gil and J.~Howse and S.~Kent", - booktitle = "Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo", - publisher = "IEEE Computer Society Press", - title = "Formalising Spider Diagrams", - pages = "130-137", - month ="September", - year = 1999 -} - -@conference{gil:pived, - author ="J.~Gil and J.~Howse and S.~Kent and J.~Taylor", - title ="Projections in {V}enn-{E}uler Diagrams", - booktitle ="Proc. IEEE Symposium on Visual Languages", - month ="September", - publisher ="IEEE Computer Society Press", - pages ="119--126", - year =2000 -} - - -@ARTICLE{gil:psop, - AUTHOR = "J.~Gil and J.~Howse and E.~Tulchinsky", - TITLE = "Positive semantics of projections", - JOURNAL = "Journal of Visual Languages and Computing", - YEAR = "2001", - volume = "13", - number = "2", - pages = "197-227", - month = "April" -} - - -@conference{gil:tafocd, - author ="J. Gil and J. Howse and S. Kent", - title ="Towards a formalization of constraint diagrams", - booktitle ="Proc IEEE Symposia on Human-Centric Computing (HCC '01), Stresa, Italy", - publisher ="IEEE Computer Society Press", - month ="September", - pages ="72-79", - year =2001 -} - - -@misc{gil:tcde, - author ="J. Gil and Y. Sorkin", - title ="The Constraint Diagrams Editor", - note ="Available at www.cs.technion.ac.il/Labs/ssdl/research/cdeditor/" -} - - -@conference{gil:tdsm, - AUTHOR = "J.~Gil and S.~Kent", - TITLE = "Three dimensional software modeling", - YEAR = "1998", - booktitle = "ICSE 98", - pages = "105--114", - publisher = "IEEE" -} - -@CONFERENCE{good:vplsanpchddlc, - author = {J.~Good}, - title = {{VPL}s and Novice Program Comprehension: How do Different Languages Compare?}, - booktitle = {15th IEEE Symposium on Visual Languages}, - year = {1999}, - pages = {262--269}, - publisher = {IEEE Computer Society Press} -} - -@BOOK{greaves:tpsod, - AUTHOR = "M.~Greaves", - TITLE = "The Philosophical Status of Diagrams", - PUBLISHER = "CSLI Publications", - YEAR = "2002" -} - -@misc{gurr:todrdcp, - author ="C. Gurr and J. Lee and K. Stenning", - title ="Theories of diagrammatic reasoning: Distinguishing component problems", - howpublished="Minds and Machines", - pages ="533--557", - year =1998 -} - -@CONFERENCE{gurr:ttpdosed, - author = {C.~Gurr and K.~Tourlas}, - title = {Towards the Principled Design of Software Engineering Diagrams}, - booktitle = {Proceedings of 22nd International Conference on Software Engineering}, - year = {2000}, - pages = {509--518}, - publisher = {ACM Press} -} - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%% HHHHH %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - - -@ARTICLE{hammer:evl, - AUTHOR = "E.~Hammer and S.~J.~Shin", - TITLE = "Euler's Visual Logic", - JOURNAL = "History and Philosophy of Logic", - YEAR = "1998", - pages = "1-29" -} - -@book{hammer:lavi, - author = "E. Hammer", - publisher = "CSLI Publications", - title = "Logic and Visual Information", - year = 1995 -} - - -@INCOLLECTION{hammer:tamtofd, - AUTHOR = "E. Hammer and N. Danner", - TITLE = "Towards a model theory of {V}enn diagrams", - BOOKTITLE = "Logical Reasoning with Diagrams", - PUBLISHER = "Oxford University Press", - YEAR = "1996", - editor = "G.~Allwein and J.~Barwise", - pages = "109-127" -} - -@ARTICLE{hammer:tamtovd:02, - AUTHOR = "E.~Hammer and N.~Danner", - TITLE = "Towards a model theory of {V}enn diagrams", - JOURNAL = "Journal of Philosophical Logic", - YEAR = "1996", - volume = "25", - number = "4", - pages = "463-482" -} - - - - -@conference{harel:ovf, - author ="D. Harel", - title ="On visual formalisms", - booktitle ="Diagrammatic Reasoning", - editor ="J. Glasgow and N. H. Narayan and B. Chandrasekaran", - publisher ="MIT Press", - pages ="235--271", - year =1998 -} - -@CONFERENCE{hayes:ckcio, - author = {P.~Hayes and T.~Eskridge and R.~Saavedra and T.~Reichherzer and M.~Mehrotra and D.~Bobrovnikoff}, - title = {Collaborative Knowledge Capture in Ontologies}, - booktitle = {Proceedings of the 3rd International Conference on Knowledge Capture}, - year = {2005}, - pages = {99-106} -} - - - -@conference{hegarty:ditmaitwrbiaev, - author = {M. Hegarty}, - booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, - address = {Cambridge, UK}, - series= {LNAI}, - volume= {2980}, - publisher = {Springer}, - title = {Diagrams in the Mind and in the World: Relations between Internal and External Visualizations}, - pages = {1--13}, - year = 2004 -} - -@conference{howse:asacdrs, - author ="J. Howse and F. Molina and J. Taylor", - title ="A sound and complete diagrammatic reasoning system", - booktitle ="Proceedings. ASC 2000: 3rd IASTED International Conference on Artificial Intelligence and Soft Computing", - address ="Banff", - publisher ="IASTED/ACTA Press", - pages ="402-408", - year =2000 -} - -@conference{howse:cried, - author = "J. Howse and G. Stapleton and J. Flower and J. Taylor", - booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", - publisher = "Springer", - address = "Georgia, USA", - title = "Corresponding Regions in {E}uler Diagrams", - pages ="76-90", - month ="April", - year = 2002 -} - -@conference{howse:odtat, - author = "J. Howse and F. Molina and S-J. Shin and J. Taylor", - booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", - publisher = "Springer", - address = "Georgia, USA", - publisher = "Springer", - title = "On Diagram Tokens and Types", - pages ="146-160", - month ="April", - year = 2002 -} - -@conference{howse:otcaeosds, - author = "J. Howse and F. Molina and J. Taylor", - booktitle = "Proceedings of 1st International Conference on the Theory and Application of Diagrams", - publisher = "Springer", - address = "Edinburgh, UK", - title = "On the completeness and expressiveness of spider diagram systems", - pages = "26-41", - month = "September", - year = 2000 -} - -@ARTICLE{howse:pvm, - AUTHOR = "J.~Howse and S.~Schuman", - TITLE = "Precise Visual Modelling", - JOURNAL = "Journal of Software and Systems Modeling", - volume = "4", - issue = "3", - pages = "310-325", - YEAR = "2005" -} - -@conference{howse:rwsd, - author = "J. Howse and F. Molina and J. Taylor and S. Kent", - booktitle = "Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo", - publisher = "IEEE Computer Society Press", - title = "Reasoning with Spider Diagrams", - pages = "138-147", - month = "September", - year` = 1999 -} - -@conference{howse:sasacdrs, - author = "J. Howse and F. Molina and J. Taylor", - booktitle = "Proceedings VL 2000: IEEE Symposium on Visual Languages, Seattle, USA", - publisher = "IEEE Computer Society Press", - title = "{SD2}: A sound and complete diagrammatic reasoning system", - pages = "127-136", - year = 2000 -} - -@ARTICLE{howse:sd, - author = {J.~Howse and G.~Stapleton and J.~Taylor.}, - title = {Spider Diagrams}, - JOURNAL = {LMS Journal of Computation and Mathematics}, - volume = {8}, - pages = {145--194}, - year = {2005} -} - -@article{howse:sdadrs, - author ="J. Howse and F. Molina and J. Taylor and S. Kent and J. Gil", - title ="Spider Diagrams: A Diagrammatic Reasoning System", - journal ="Journal of Visual Languages and Computing", - volume ="12", - number ="3", - month ="June", - pages ="299--324", - year =2001 -} - -@conference{howse:tsatsids, - author ="J. Howse and F. Molina and S-J. Shin and J. Taylor", - booktitle ="Proceedings FOIS-2001: 2nd International Conference on - Formal Ontology in Information Systems, Maine, USA", - publisher ="ACM Press", - title ="Type-syntax and Token-syntax in Diagrammatic Systems", - pages ="174--185", - year = 2001 -} - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JJJJJJJJJJ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -@BOOK{jamnik:mrwd, - AUTHOR = "M.~Jamnik", - TITLE = "Mathematical Reasoning with Diagrams", - PUBLISHER = "CSLI", - YEAR = "2001", -} - -@CONFERENCE{jamnik:aodr, - author = {M.~Jamnik and A.~Bundy and I.~Green}, - title = {Automation of Diagrammatic Reasoning}, - booktitle = {Proceedings of the 15th International Joint Conference on Artificial Intelligence}, - year = {1997}, - volume = {1}, -pages = {528--533}, - publisher = {Morgan Kaufmann Publishers}, -} - - - -@conference{john:etnocied, - author = "Chris John and Andrew Fish and John Howse and John Taylor", - booktitle = "Accepted for the 4th International Conference on the Theory and Application of Diagrams", - pages = "267-282", - address ="Stanford, USA", - title = "Exploring the notion of Clutter in {E}uler diagrams", - publisher ="Springer", - year = 2006 -} - -@conference{john:pcied, - author ="C.~John", - booktitle ="{E}uler Diagrams 2004", - volume = "134", - series = "ENTCS", - title ="Projected Contours in {E}uler Diagrams", - pages ="103--126", - year =2005 -} - -@conference{john:rwpc, - author ="C.~John", - booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, - address = {Cambridge, UK}, - series= {LNAI}, - volume= {2980}, - publisher ="Springer", - title ="Reasoning with Projected Contours", - pages ="147-150", - year =2004 -} - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%% KKKKKKK %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - -@conference{kent:cdviioom, -author = "S. Kent", -title = "Constraint Diagrams: Visualizing Invariants in Object Oriented Modelling", -month = "October", -year = "1997", -pages = "327-341", -booktitle = "Proceedings of OOPSLA97", -publisher = "ACM Press" -} - -@incollection{kent:ctiaiomwo, - author = "S. Kent and J. Howse", - title = "Constraint trees. In Advances in object modelling with {OCL}", - Editors = "A Clark and J Warmer", - publisher = "Springer Verlag", - year = "2002" -} - -@conference{kent:mvatcl, - author ="S. Kent and J. Howse", - title ="Mixing Visual and Textual Constraint Languages", - booktitle ="Proceedings of UML99", - year ="1999" -} - -@CONFERENCE{kestler:edfvaged, - author = {H.~Kestler and A.~Muller and H.~Liu and D.~Kane and B.~Zeeberg and J.~Weinstein}, - title = {{E}uler diagrams for visualizing annotated gene expression data}, - booktitle = {Proceedings of {E}uler Diagrams 2005}, - year = {2005}, - address = {Paris}, - month = {September} -} - -@ARTICLE{kestler:gvdanmfvcgsr, - AUTHOR = "H.~Kestler and A.~Muller and T.~Gress and M.~Buchholz", - TITLE = "Generalized {V}enn Diagrams: A New Method for Visualizing Complex Genetic Set Relations", - JOURNAL = "Journal of Bioinformatics", - YEAR = "2005", - volume = "21", - number = "8", - pages = "1592-1595" -} - - - -@TECHREPORT{kiesner:voavnofocl, - AUTHOR = "C. Kiesner and G. Taentzer and J. Winkelmann", - TITLE = "{V}isual {O}{C}{L}: A {V}isual {N}otation of the {O}bject {C}onstraint {L}anguage", - INSTITUTION = "Technical University of Berlin", - YEAR = "2002", - number = "2002/23" -} - -@CONFERENCE{kim:vofs, - author = {S.-K.~Kim and D.~Carrington}, - title = {Visualization of Formal Specifications}, - booktitle = {6th Aisa Pacific Software Engineering Conference}, - pages = {102--109}, - address = {Los Alamitos, CA, USA}, - publisher = {IEEE Computer Society Press}, - year = {1999} -} - -@conference{kuljis:acoesacdaiteoud, - author = "J. Kuljis and L. Baldwin and R. Scoble", - booktitle = "Proceedings of 14th Workshop on the Psychology of Programming Interest Group", - publisher = "", - pages = "1--14", - title = "A Comparison of Empirical Study and Cognitive Dimensions Analysis in the Evaluation of UML Diagrams", - year = 2002 -} - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LLLLL %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - -@article{larkin:wadiswttw, - author ="J. Larkin and H. Simon", - title ="Why a Diagram is (Sometimes) Worth Ten Thousand Words", - journal ="Journal of Cognitive Science", - volume ="11", - pages ="65--99", - year =1987 -} - - -@incollection{lemon:cteovl, - AUTHOR = "O.~Lemon", - editor = "D.~Barker-Plummer and D.~I.~Beaver and J.~van~Benthem and P.~Scotto\hspace{2pt}di\hspace{2pt}Luzio", - TITLE = "Comparing the Efficacy of Visual Languages", - booktitle ="Words, Proofs and Diagrams", - pages = "47-69", - PUBLISHER = "CSLI Publications", - YEAR = "2002" -} - -@ARTICLE{lemon:slatcodr, - AUTHOR = "O.~Lemon and I.~Pratt", - TITLE = "Spatial Logic and the Complexity of Diagrammatic Reasoning", - JOURNAL = "Machine GRAPHICS and VISION", - YEAR = "1997", - volume = "6", - number = "1", - pages = "89-108", -} - -@phdthesis{lovdahl:taveeftlotsw, - AUTHOR = "J.~Lovdahl", - TITLE = "Towards a Visual Editing Environment for the Languages of the Semantic Web", - SCHOOL = "Linkoping University", - YEAR = "2002" -} - - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%% MMMMMMMM %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%5 - -@INBOOK{mclaughlin:ce, - AUTHOR = "J.~McLaughlin and S>~Gallinger", - TITLE = "The Basic Science of Oncology", - CHAPTER = "Cancer Epidemiology", - PUBLISHER = "McGraw-Hill", - YEAR = "2004", -} - - -@CONFERENCE{meyer:fovmn, - author = {B.~Meyer}, - title = {Formalization of Visual Mathematical Notations}, - booktitle = {AAAI Symposium on Diagrammatic Reasoning}, - year = {1997}, - address = {Boston, USA}, - month = {November} -} - -@MISC{mod:tposcside, - author = {{UK Ministry of Defence}}, - title = {The Procurement of Saftey Critical Software in Defence Equipment}, - year = {1993}, - note = {MOD Interim Standard 00-55} -} - -@phdthesis{molina:rwevpds, - author = "F. Molina", - school = "University of Brighton", - address = "", - title = "Reasoning with extended {V}enn-{P}eirce diagrammatic systems", - year = 2001 -} - -@article{more:otcovd, - author ="T. More", - title ="On the construction of {V}enn diagrams", - journal ="Journal of Symbolic Logic", - volume ="23", - pages ="303--304", - year =1959 -} - - -@CONFERENCE{mutton:dgied, - author = {P. Mutton and P. Rodgers and J. Flower}, - title = {Drawing Graphs in {E}uler Diagrams}, - booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, - address = {Cambridge, UK}, - series= {LNAI}, - volume= {2980}, - pages = {66-81}, - month = {March}, - publisher = {Springer} -} - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% OOOO %%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - -@CONFERENCE{oberlander:htmm, - author = {J.~Oberlander and K.~Stenning and R.~Cox}, - title = {Hyperproof: The Multimodal Moral}, - booktitle = {Second Conference on Information-Theoretic Approaches to Logic, Language and Computation}, - year = {1996} -} - - - -@MISC{omg:o2.0sr1.6, - author = "O{M}{G}", - title = "{OCL} 2.0 Specification, revision 1.6", - howpublished = "Available from http://www.omg.org", - year = "2003" -} - -@MISC{omg:u2.0s, - author = "O{M}{G}", - title = "U{M}{L} 2.0 Specification", - howpublished = "Available from http://www.omg.org", - year = "2004" -} - -@misc{omg:usv1.3, - author ="O{M}{G}", - howpublished="Available from www.omg.org.", - title ="U{M}{L} Specification, Version 1.3.", - note ="" -} - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPPPPPP %%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - - -@CONFERENCE{patrascoiu:eoeiy, - author = {O.~Patrascoiu and P.~Rodgers}, - title = {Embedding {OCL} Expressions in {YATL}}, - booktitle = {Proceedings of the {OCL} and Model Driven Engineering Workshop}, - year = {2004}, - month = {October} -} - -@CONFERENCE{patrascoiu:metwsuy, - author = {O.~Patrascoiu}, - title = {Mapping {EDOC} to Web Services using {YATL}}, - booktitle = {Proceedings of the 8th International IEEE Enterprise Distributed -Object Computing Conference (EDOC 2004)}, - year = {2004}, - pages = {12}, - month = {September} -} - - -@conference{patrascoiu:mtiysae, - author = "Octavian Patrascoiu", - booktitle = "Technical Report", - pages ="", - title = "Model Transformations in {YATL}. Studies and Experiments", - year = 2004 -} - - -@CONFERENCE{patrascoiu:tfdr, - author = {O.~Patrascoiu and S.~Thompson and P.~Rodgers}, - title = {Tableaux for Diagrammatic Reasoning}, - booktitle = {Proceedings of the Eleventh International Conference on Distributed -Multimedia Systems, International Workshop on Visual Languages and -Computing}, - year = {2005}, - pages = {279-286}, - month = {September}, - publisher = {Knowledge Systems Institute} -} - -@conference{patrascoiu:ttatlrmv1.0, - author = "Octavian Patrascoiu", - booktitle = "Technical Report", - title = "{YATL}: Yet Another Transformation Language - Reference Manual Version 1.0", - year = 2004 -} - -@conference{patrascoiu:yyatl, - author = "Octavian Patrascoiu", - booktitle = "Proceedings of the 1st European {MDA} Workshop, {MDA-IA}", - pages = "83-90", - title = "{YATL}: Yet Another Transformation Language", - month = "January 2004", - year = 2004 -} - -@book{peirce:cp, - author ="C. Peirce.", - title ="Collected Papers", - volume ="4", - publisher ="Harvard University Press", - year =1933 -} - -@book{polya:htsi, - AUTHOR = "G. ~Polya", - TITLE = "How to Solve It", - PUBLISHER = "Princeton University Press", - YEAR = "1957" -} - - -@CONFERENCE{puigsegur:vlpbmodt, - author = {J.~Puigsegur and J.~Agusti}, - title = {Visual Logic Programming by Means of Diagram Transformations}, - booktitle = {joint Conference on Declarative Programming}, - year = {1998} -} - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% RRRRRRR %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - - -@MISC{rector:sviowl, - author = "A.~Rector", - title = "Specifying Values in OWL: Value Partitions -and Value Sets", - howpublished = "W3C Editors Draft 02", - year = "2005" -} - - -@BOOK{roberts:tegocsp, - AUTHOR = "D.~D.~Roberts", - TITLE = "The Existential Graphs of Charles S. Peirce", - PUBLISHER = "Mouton", - YEAR = "1973" -} - - - - -@CONFERENCE{rodgers:dedd, - author = {P. Rodgers and P. Mutton and J. Flower }, - title = {Dynamic {E}uler Diagram Drawing}, - year = {2004}, - booktitle= {Visual Languages and Human Centric Computing, Rome, Italy}, - pages ="147-156", - month = {September}, - publisher = {IEEE Computer Society Press}, -} - -@ARTICLE{ruskey:asovd, - AUTHOR = "F.~Ruskey", - TITLE = "A Survey of {V}enn Diagrams", - JOURNAL = "Electronic Journal of Combinatorics", - note = "www.combinatorics.org/Surveys/ds5/VennEJC.html", - YEAR = "1997" -} - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SSSSSSS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - -@CONFERENCE{sawamura:javrswdas, - author = {H.~Sawamura and K.~Kiyozuka}, - title = {{JV}enn: A Visual Reasoning System with Diagrams and Sentences}, - booktitle = {Proceedings of 1st International Conference on the Theory and Application of Diagrams}, - publisher = {Springer-Verlag}, - address = {Edinburgh, UK}, - series = {LNAI}, - volume = {1889}, - pages = {271-285}, - year = {2000} -} - -@conference{scotto:pualovd, - author ="P. Scotto~di~Luzio", - title ="Patching up a logic of {V}enn diagrams", - booktitle ="Proceedings 6th CSLI Workshop on Logic, Language and Computation", - publisher ="CSLI Publications", - year = "2000" -} - -@conference{shimojima:iaecogrsasg, - author ="A. Shimojima", - booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, - address = {Cambridge, UK}, - series= {LNAI}, - volume= {2980}, - publisher ="Springer", - title ="Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations", - pages ="18--21", - year = 2004 -} - - -@incollection{shimojima:lrwd, - author ="A. Shimojima", - publisher ="Oxford University Press", - title ="Operational constraints in diagrammatic reasoning", - booktitle ="Logical Reasoning with Diagrams", - note ="Edited by Gerard Allwein and Jon Barwise", - pages ="27-48", - year =1996 -} - - -@incollection{shin:staovrwvd, - author ="S.-J.~Shin", - publisher ="Oxford University Press", - title ="Situation-Theoretic Account of Valid Reasoning with {V}enn Diagrams", - booktitle ="Logical Reasoning with Diagrams", - editor ="G.~Allwein and J.~Barwise", - pages ="81-108", - year =1996 -} - -@BOOK{shin:tilopg, - AUTHOR = "S.-J.~Shin", - TITLE = "The Iconic Logic of Peirce's Graphs", - PUBLISHER = "Bradford Book", - YEAR = "2002" -} - - -@book{shin:tlsod, - author = "S.-J. Shin", - publisher = "Cambridge University Press", - title = "The Logical Status of Diagrams", - year = 1994 -} - -@article{stenning:ialihrasi, - author = {K.~Stenning and P.~Yule}, - title = {Image and Language in Human Reasoning: A Syllogistic Illustration}, - journal = {Cognitive Psychology}, - year = {1997}, - pages = {109--159}, -} - - -@TECHREPORT{stapleton:afatpieds, - AUTHOR = "G.~Stapleton and J.~Masthoff and J.~Flower and A.~Fish and J.~Southern", - TITLE = "Appendices for Automated Theorem Proving in Euler Diagram Systems", - INSTITUTION = "University of Brighton", - YEAR = "2006", - number = "Technical Report VMG06.2" -} - - -@conference{stapleton:acdrs, - author = "G. Stapleton and J. Howse and J. Taylor", - booktitle = "Proceedings of International Conference on Visual Languages and Computing", - publisher = "Knowledge Systems Insitute", - title = "A Constraint Diagram Reasoning System", - pages ="263-270", - year = 2003 -} - - -@ARTICLE{stapleton:adcdrs, - AUTHOR = "G.~Stapleton and J.~Howse and J.~Taylor", - TITLE = "A Decidable Constraint Diagram Reasoning System", - JOURNAL = "Journal of Logic and Computation", - YEAR = "2005", - volume = "15", - number = "6", - pages = "975-1008", - month = "December" -} - -@CONFERENCE{stapleton:anlftvolar, - author = {G.~Stapleton and S.~Thompson and A.~Fish and J.~Howse and J.~Taylor}, - title = {A New Language for the Visualisation of Logic and Reasoning}, - booktitle = {11th International Conference on Distributed Multimedia Systems, International Workshop on - Visual Languages and Computing}, - year = {2005}, - month = {September}, - publisher = {Knowledge Systems Institute} -} - -@CONFERENCE{stapleton:asf, - author = {G.~Stapleton and J.~Howse and K.~Toller}, - title = {On Spiders' Feet}, - booktitle = {{E}uler Diagrams 2005}, - year = {2005} -} - -@CONFERENCE{stapleton:asorsboed, - author = {G.~Stapleton}, - title = {A Survey of Reasoning Systems Based on {E}uler Diagrams}, - booktitle = {Proceedings of Euler Diagrams 2004, Brighton, UK}, - year = {2005}, - pages = {127-151}, - volume = {134}, - series = {ENTCS} -} - -@conference{stapleton:eteosds, - author = "G.~Stapleton and J.~Howse", - booktitle = "Proceedings of Distributed Multimedia Systems, International Workshop - on Visual Languages and Computings", - address ="Grand Canyon, USA", - pages = "129--138", - title = "Enhancing the Expressiveness of Spider Diagram Systems", - publisher ="Knowledge Systems Institute", - year = 2006 -} - - -@conference{stapleton:gs, - author = "G.~Stapleton and J.~Howse and K.~Toller", - booktitle = "4th International Conference on the Theory and Application of Diagrams", - address ="Stanford, USA", - pages = "148-150", - title = "Generalizing Spiders", - publisher ="Springer", - year = 2006 -} - -@PHDTHESIS{stapleton:rwcd, - AUTHOR = "G.~Stapleton", - TITLE = "Reasoning with Constraint Diagrams", - SCHOOL = "University of Brighton", - publisher = "British Computer Society", - YEAR = "2004", - source = "http://www.bcs.org/server.php?show=conWebDoc.2842", - month = "August" -} - - - -@ARTICLE{stapleton:teosd, - AUTHOR = "G.~Stapleton and S.~Thompson and J.~Howse and J.~Taylor", - TITLE = "The Expressiveness of Spider Diagrams", - JOURNAL = "Journal of Logic and Computation", - YEAR = "2004", - volume = "14", - number = "6", - pages = "857-880", - month = "December" -} - -@CONFERENCE{stapleton:teosdawc, - author = {G.~Stapleton and J.~Howse and J.~Taylor and S.~Thompson}, - title = {The Expressiveness of Spider Diagrams Augmented with Constants}, - year = {2004}, - booktitle= {Visual Languages and Human Centric Computing, Rome, Italy}, - pages = {91-98}, - month = {September}, - publisher = {IEEE Computer Society Press}, -} - -@conference{stapleton:wcsds, - author ="G. Stapleton and J. Howse and J. Taylor and S. Thompson", - booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, - address = {Cambridge, UK}, - series= {LNAI}, - volume= {2980}, - publisher ="Springer", - title ="What Can Spider Diagrams Say?", - pages ="112-127", - year = 2004 -} - -@incollection{swoboda:acsotdaiohrs, - author = "N. Swoboda and G. Allwein", - booktitle = "Logical and Computational Aspects of Model-Based Reasoning", - publisher = "Kluwer Academic Publishers", - title = "A case study of the design and implementation of heterogeneous reasoning systems", - editor ="L.~Magnani and N.~J.~Neressian and C.~Pizzi", - pages ="1--18", - year = 2002 -} - -@conference{swoboda:hrwevdcncaf, - author = "N. Swoboda and G. Allwein", - booktitle = "Proceedings of Euler Diagrams 2004", - publisher = "Elsevier Science", - series = "ENTCS", - volume = "134", - title = "Heterogeneous Reasoning with {E}uler/{V}enn Diagrams Containing Named Constants and {FOL}", - year = 2005 -} - -@incollection{swoboda:ievrs, - author = "N. Swoboda", - booktitle = "Diagrammatic Representation and Reasoning", - publisher = "Springer-Verlag", - title = "Implementing {E}uler/{V}enn Reasoning Systems", - editor = "M.~Anderson and B.~Meyer and P.~Olivier", - pages = "371--386", - year = 2001 -} - -@conference{swoboda:mhs, - author = "N. Swoboda and G. Allwein", - booktitle = "Proceedings of 2nd International Conference on the Theory and Application of Diagrams", - address = "Gardens, Georgia, USA", - publisher = "Springer-Verlag", - title = "Modeling Heterogeneous Systems", - series = "LNAI", - volume = "2317", - pages = "131-145", - year = 2002 -} - -@conference{swoboda:ticoevd, - author = "N.~Swoboda and J.~Barwise", - booktitle = "Proceedings LICS workshop on Logic and Diagrammatic Information", - title = "The Information Content of {E}uler/{V}enn Diagrams", - year = 1998 -} - - - -@conference{swoboda:udttvevhaevfhroi, - author = "N. Swoboda and G. Allwein", - booktitle = "Proceedings of GT-VMT", - publisher = "Elsevier Science", - series = "ENTCS", - title = "Using {DAG} transformations to Verify {E}uler/{V}enn Homogeneous and {E}uler/{V}enn {FOL} Heterogeneous Rules of Interence", - year = 2002 -} - -@article{swoboda:udttvevhaevfhroi:02, - author = {N.~Swoboda and G.~Allwein}, - title = {Using {DAG} Transformations to Verify {E}uler/{V}enn Homogeneous and {E}uler/{V}enn {FOL} Heterogeneous Rules of Inference}, - journal = {Journal on Software and System Modeling}, - year = {2004}, - volume = {3}, - number = {2}, - pages = {136--149} -} - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TTTTTT %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - -@CONFERENCE{thievre:ueditle, - author = {J.~Thi`evre and M.~Viaud and A.~ Verroust-Blondet}, - title = {Using Euler Diagrams in Traditional Library Environments}, - booktitle = {Euler Diagrams 2004}, - year = {2005}, - volume = {134}, - series = {ENTCS}, - pages = {189-202}, - publisher = {ENTCS} -} - - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% UUUUUUUUUU %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% VVVV %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - - - -@article{venn:otdamropar, - author ="J. Venn", - title ="On the diagrammatic and mechanical representation of propositions and reasonings", - journal ="Phil.Mag", - year =1880 -} - - -@CONFERENCE{verroust:etdoedfutes, - author = {A.~Verroust and M.-L.~Viaud}, - title = {Ensuring the Drawability of {E}uler Diagrams for up to Eight Sets}, - booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, - address = {Cambridge, UK}, - series= {LNAI}, - volume= {2980}, - pages = {128--141}, - publisher = {Springer}, - year = {2004} -} - - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WWWWWWW %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -@book{warmer:toclpmwu, - author ="J. Warmer and A. Kleppe", - title ="The Object Constraint Language: Precise Modeling with UML", - publisher ="Addison-Wesley", - year =1998 -} - - - -@MASTERSTHESIS{winkelmann:sovavotocl, - AUTHOR = "Jessica Winkelmann", - TITLE = "Specification of {V}isual{O}{C}{L}: {A} {V}isualisation of the - {O}bject {C}onstraint {L}anguage", - SCHOOL = "TU Berlin", - YEAR = "2005", - note = "(in German)" -} - - -@CONFERENCE{winterstein:ddadtp, - author = {D.~Winterstein and A.~Bundy and C.~Gurr}, - title = {Dr {D}oodle: A Diagrammatic Theorem Prover}, - booktitle = {Proceedings of The International Joint Conference on Automated Reasoning}, - year = {2004}, - series = {LNCS}, - publisher = {Springer-Verlag} -} - -@CONFERENCE{winterstein:odbtrapp, - author = {D.~Winterstein and A.~Bundy and M.~Jamnik}, - title = {On Differences Between the Real and Physical Plane}, - booktitle = {Proceedings of 3rd International Conference on the Theory and Application of Diagrams}, - year = {2004}, - series = {LNAI}, - volume = {2980}, - pages = {29-31}, - month = {March}, - publisher = {Springer-Verlag} -} - -@BOOK{wos:afcitwocygtar, - AUTHOR = "L.~Wos and G.~Pieper", - TITLE = "A Fascinating Country in the World of Computing Your Guide to Automated Reasoning", - PUBLISHER = "World Scientific", - YEAR = "1999" -} - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ZZZZZZZ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -@ARTICLE{zhang:ridct, - AUTHOR = {J.~Zhang and D.~Norman}, - TITLE = {Representations in Distributed Cognitive Tasks}, - JOURNAL = {Cognitive Science}, - YEAR = {1994}, - pages = {87--122}, - vol = {18} -} - -@CONFERENCE{zhao:arbmodtofep, - author = {Y.~Zhao and J.~L\"{o}vdahl}, - title = {A Reuse Based Method of Developing the Ontology for E-Procurement}, - booktitle = {Proceedings of the Nordic Confernce on Web Services}, - year = {2003}, - pages = {101-112} -} - - - - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%