Entry Ehrig:1992:IASb from compj.bib

Last update: Sun Nov 30 02:31:30 MST 2003                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{Ehrig:1992:IASb,
  author =       "H. Ehrig and B. Mahr and F. Orejas",
  title =        "Introduction to Algebraic Specification. Part 2: From
                 Classical View to Foundations of System
                 Specifications",
  journal =      j-COMP-J,
  volume =       "35",
  number =       "5",
  pages =        "468--477",
  month =        oct,
  year =         "1992",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 21 09:53:38 MDT 1999",
  bibsource =    "http://www3.oup.co.uk/computer_journal/Volume_35/Issue_05/Vol35_05.index.html",
  URL =          "http://www3.oup.co.uk/computer_journal/Volume_35/Issue_05/Vol35_05.body.html#AbstractEhrig2",
  acknowledgement = ack-nhfb,
  affiliation =  "Tech. Univ. of Berlin, Inst. fur Software und Theor.
                 Inf., Germany",
  author-1-adr = "Technical University of Berlin, Fachbereich 20
                 Informatik, Institut f{\"u}r Software und Theoretische
                 Informatik, Franklinstrasse 28/29, W-1000 Berlin 10,
                 Germany",
  author-2-adr = "Technical University of Berlin, Fachbereich 20
                 Informatik, Institut f{\"u}r Software und Theoretische
                 Informatik, Franklinstrasse 28/29, W-1000 Berlin 10,
                 Germany",
  author-3-adr = "Technical University of Berlin, Fachbereich 20
                 Informatik, Institut f{\"u}r Software und Theoretische
                 Informatik, Franklinstrasse 28/29, W-1000 Berlin 10,
                 Germany",
  author-4-adr = "Technical University of Catalunya",
  classcodes =   "C6110B (Software engineering techniques); C6120 (File
                 organisation); C4210 (Formal logic)",
  classification = "C4210 (Formal logic); C6110B (Software engineering
                 techniques); C6120 (File organisation)",
  corpsource =   "Tech. Univ. of Berlin, Inst. fur Software und Theor.
                 Inf., Germany",
  keywords =     "abstract data types; Algebraic data types; algebraic
                 data types; Algebraic specifications; algebraic
                 specifications; Classical field; classical field;
                 Equational axioms; equational axioms; Equational logic;
                 equational logic; formal logic; Formal methods; formal
                 methods; formal specification; General theory; general
                 theory; Research field; research field; System
                 specifications; system specifications",
  thesaurus =    "Abstract data types; Formal logic; Formal
                 specification",
  treatment =    "P Practical",
}

Related entries