Entry Elmstrom:1994:IVS from sigplan1990.bib

Last update: Thu Apr 12 03:37:15 MDT 2012                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Elmstrom:1994:IVS,
  author =       "Ren{\'{e}} Elmstr{\o}m and Peter Gorm Larsen and Poul
                 B{\o}gh Lassen",
  title =        "The {IFAD VDM-SL} Toolbox: {A} Practical Approach to
                 Formal Specifications",
  journal =      j-SIGPLAN,
  volume =       "29",
  number =       "9",
  pages =        "77--80",
  month =        sep,
  year =         "1994",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
  ISSN-L =       "0362-1340",
  bibdate =      "Sun Dec 14 09:16:54 MST 2003",
  bibsource =    "http://portal.acm.org/",
  acknowledgement = ack-nhfb,
  classification = "C6110B (Software engineering techniques); C6115
                 (Programming support)",
  corpsource =   "IFAD, Inst. of Appl. Comput. Sci., Odense, Denmark",
  keywords =     "debugging; documentation support; formal
                 specification; formal specifications development; IFAD;
                 industrial settings; module-based specifications
                 development; module-based structuring; program
                 debugging; programming environments; real-life
                 specifications; semantics checking; software tools;
                 standards; test coverage analysis; VDM-SL standard;
                 VDM-SL Toolbox; Vienna Development Method; Vienna
                 development method",
  treatment =    "P Practical",
}

Related entries