Quelle dsb.bib Sprache: Latech

@techreport{rapport,
        title = "Modelling Railway Interlocking Systems",
        author = "K.M. Hansen",
        institution = "Institute of Computer Science,
                       Technichal University of Denmark,
                       Building 344, DK-2800 Lyngby, Denmark",
        year = "To be published, avaible on request"}

@inproceedings{nsdcs94,
        title = "Formalising Railway Interlocking Systems",
        author = "K.M. Hansen",
        booktitle = "Proceedings, Nordic Seminar on Dependable
                     Computing Systems, Institute of Computer
                     Science, Technical University of Denmark,
                     DK-2800 Lyngby, Denmark",
        year = "1994"}

@inproceedings{fme94,
        title = "Validation of a Railway Interlocking Model",
        author = "K.M. Hansen",
        booktitle = "Lecture Notes in Computer Science",
        volume = "873",
        publisher = "Springer Verlag",
        year = "1994"}

@techreport{jones,
        TITLE="Specifications are not (necessarily) executable",
        author = "I.J. Hayes and C.B. Jones",
        institution="Department of Computer Science, University of Manchester",
        adress = "Msnchester M13 9PL, Englanad",
        NUMBER="UMCS-89-12-1",
        year = "1989"
       }

@techreport{toolbox,
        TITLE="Users Manual for the {IFAD VDM-SL} tools",
        author = "The VDM-SL Tool Group",
        institution="The Institute of Applied Computer Science",
        adress = "Forskerparken 10, 5230 Odense M, Denmark",
        NUMBER="IFAD-VDM-4",
        year = "1994"
       }

@techreport{vdmsl,
        TITLE="The {IFAD VDM-SL} Language",
        author = "The VDM-SL Tool Group",
        institution="The Institute of Applied Computer Science",
        adress = "Forskerparken 10, 5230 Odense M, Denmark",
        NUMBER="IFAD-VDM-1",
        year = "1994"
       }

@Proceedings{hans,
  author =       "H. Rischel",
  title =   "Requirements specifications for real-time systems",
  year =   "1994",
  booktitle=   "2.\ Beckmannkolloquium, Beckmann Akademic, Baumweg
    3, 23970 Wismar, Germany",
  month =   "June",
  }

@article{gasburner,
    author = "K. M. Hansen and A.P. Ravn and H. Rischel",
    title = "Specifying and Verifying Requirements of Real-Time Systems",
    journal   = "IEEE Transactions on Software Engineering",
    volume    = 19,
    number    = 1,
    pages     = "41--55",
    month = "Jan.",
    year = 1993,
    loca = "Own originals" }

@book{pressman,
      author = "R.S. Pressman",
      title = "Software Engineering. A Practitioner's Approach",
      publisher = "McGraw-Hill",
      year = "1987"
     }

@inproceedings{lehman,
        author = "M.M. Lehman",
        title = "Approach to Disiplined Development Process -
                 The ISTAR Integrated Project Support Environment",
        booktitle = "Proceedings, International Workshop on the
                     Software Process and Software Environments",
        year = "1985"
        }

@book{spu,
      author = "S. Biering-S{\o}rensen and
                F.O. Hansen and S. Klim and
                P.T. Madsen",
      title = "Struktureret Programudvikling",
      publisher = "Teknisk Forlag A/S",
      year = "1990"
     }

@article{cohen1,
        author = "B. Cohen",
        title = "Justification of Formal Methods for System Specification",
        journal = "Software and Microsystems",
        year = "1982",
        volume = "1",
        number = "5",
        month = "August",
        pages = "119-127"
        }

@book{cohen2,
      author = "B. Cohen and W.T. Harwood and M.I. Jackson",
      title = "The Specification of Complex Systems",
      publisher = "Addison-Wesley Publishing Company",
      year = "1986"
     }

@book{graphtheory,
      author = "F. Nielsen",
      title = "Grafer og Netv\ae rk",
      publisher = "Matematisk Institut, Danmarks Tekniske H\o jskole",
      year = "1989"
     }

@article{boehm0,
        author = "B.W. Boehm",
        title = "Software Engineering",
        journal = "IEEE Transactions on Computers",
        year = "1976",
        volume = "C-25",
        number = "12",
        month = "December"
        }

@article{boehm1,
        author = "B.W. Boehm",
        title = "A Spiral Model of Software Development and Enhancement",
        journal = "IEEE Computer",
        year = "1988",
        month = "May"
        }

@inproceedings{benington,
        author = "H.D. Benington",
        title = "Production of Large Computer Programs",
        booktitle = "Proceedings, 9'th International Conference on
                     Software Engineering",
        year = "1987"
        }

@inproceedings{hosier,
        author = "W.A. Hosier",
        title = "Pitfalls and Safeguards in Real-Time Digital Systems
                 with Emphasis on Programming",
        booktitle = "Proceedings, 9'th International Conference on
                     Software Engineering",
        year = "1987"
        }

@inproceedings{royce,
        author = "W.W. Royce",
        title = "Managing the Development of Large Software Systems",
        booktitle = "Proceedings, 9'th International Conference on
                     Software Engineering",
        year = "1987"
        }

@techreport{kneuper,
        TITLE="Symbolic Execution as a Tool for
               Validation of Specifications",
        author = "R. Kneuper",
        institution="Department of Computer Science,
                     University of Manchester",
        adress = "Manchester M13 9PL, England",
        NUMBER="UMCS-89-7-1",
        year = "1989"
       }

@techreport{sorenprehn,
        TITLE="Formal Domain Models",
        author = "S. Prehn",
        institution="The United Nations University, International
                     Institute for Software Technology, P.O. Box 3058, Macau",
        NUMBER="PRaCoSy/SP/5/3",
        year = "1994"
       }

@book{bjorner,
      author = "D. Bj{\o}rner and C.B. Jones",
      title = "Formal Specification and Software Development",
      publisher = "Prentice-Hall International",
      year = "1982"
     }

@book{jones86,
      author = "C.B. Jones",
      title = "Systematic Software Development using VDM",
      publisher = "Prentice-Hall International",
      year = "1986"
     }

@book{raise,
      author = "The Raise Language Group",
      title = "The Raise Specification Language",
      publisher = "Prentice-Hall International",
      year = "1992"
     }

@BOOK {paulson,
       AUTHOR="L.C. Paulson",
       TITLE="ML for the Working Programmer",
       PUBLISHER="Cambridge University Press",
       YEAR="1991"
      }

@unpublished{kravspec,
        TITLE="Kravspecifikation for sikringsanl\ae g",
        author = "{ABB Signal A/S}",
        institution="ABB Signal A/S",
        year = "1993",
        note = "Internal report, unpublished"
       }

@MANUAL{sr,
        TITLE="Sikkerhedsreglement af 1975 (SR)",
        ORGANIZATION="DSB",
        NOTE = "Written in danish",
       }

@book{latex,
        AUTHOR = "L. Lamport",
        TITLE="A document preparation system LATEX, user's guide and
               reference manual",
        PUBLISHER = "Addison-Wesley Publishing Company",
        YEAR = "1985"
       }

@article{validate,
        author = " B.W. Boehm",
        title = "Verifying and Validating Software Requirement
                 and Design Specifications",
        journal = "IEEE Software",
        month = "January",
        year = "1984"
        }

@inproceedings{markus1,
        author = "M. Monigel",
        title = "Formal Representation of Track Topologies by Double Vertex
                 Graphs",
        booktitle = "Proccedings of Railcomp 92 held in Washington DC, Computers in Railways
                     3",
        volume = "2: Technology",
        publisher = "Computational Mechanics Publications",
        year = "1992",
        }

@techreport{markus2,
        author = "M. Monigel",
        title = "Elemente eines computergest{\"{u}}tzten {Werkzeugs} zur {Entwicklung}
                 von {Eisenbahnsicherungsanlagen} mit {Petri-Netzen}",
        institution = "IVT: Institut f{\"{u}}r Verkerhrsplanung, Transporttechnik,
                       Strassen- und Eisenbahnbau, ETH, Z{\"{u}}rich",
        year = "1992",
        number = "Schriftenreihe des IVT Nr.\ 92",
        month = "Dezember"
        }

@article{wai,
        author = "J. Cullyer and W. Wong",
        title = "Application of formal methods to railway signalling - a case
                 study",
        journal = "Computing and control engineering journal",
        month = "February",
        year = "1993"
        }

@inproceedings{jus,
        author = "J.U. Skakkeb{\ae}k and A.P. Ravn and Z. Chaochen",
        title = "Specification of Embedded Real-Time Systems",
        booktitle = "Proc. 4th Euromicro Workshop on Real-Time Systems",
        publisher = "IEEE Press",
        pages = "116-121",
        month = "June",
        year = "1992"
        }

@techreport{broy,
        author = "M. Broy",
        title = "Specification of a Railway System",
        institution = {Fakult\"{a}t f\"{u}r Mathematik und
                       Informatik, Universit\"{a}t Passau},
        year = "1987",
        number = "MIP-8715",
        adress = "Postfach 2540, D-8390 Passau, Germany"
        }

@book{prototyping,
        author = "S. Hekmatpour and D. Ince",
        title = "Software Prototyping, Formal methods
                 and VDM",
        publisher = "Addison-Wesley",
        year = "1988"
      }

@book{king,
        author = "D. King",
        title = "Current practices in software development",
        publisher = "Yourdon Press, Prentice-Hall",
        year = "1984"
      }

@book{mills,
        author = "R.C. Linger and H.D. Mills and B.I. Witt",
        title = "Structured Programming, Theory and Practice",
        publisher = "Addison-Wesley",
        year = "1979"
      }

@inproceedings{morley3,
        author = "M.J. Morley",
        title = "Safety in Railway Signalling Data: A Behavioural
                 Analysis",
        booktitle = "Proc. 6th annual workshop on higher order logic
                     and its applications, Vancouver, 4-6 August",
        year = "1993"
        }

@techreport{morley2,
        author = "M.J. Morley",
        title = "Modelling British Rail's Interlocking Logic:
                 Geographic Data Correctness",
        institution = "University of Edinburg",
        number = "Technical report ECS-LFCS-91-186",
        year = "1991"
        }

quality100%

¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.